Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика предикатов<.>)
Общее количество найденных документов : 38
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-38 
1.
   512
   Г 490

    Гиндикин, Семен Григорьевич.
    Алгебра логики в задачах / С. Г. Гиндикин. - Москва : Наука, 1972. - 288 с. : ил. - 00.76 р., 00.76 р.
ГРНТИ
27.03
УДК
510.6(075)
Рубрики: Математическая логика--Учебно-методические пособия
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ (ФУНКЦИИ) -- ФУНКЦИОНАЛЬНО ЗАМКНУТЫЕ КЛАССЫ -- ЭЛЕМЕНТЫ ВЕРОЯТНОСТНОЙ ЛОГИКИ -- МНОГОЗНАЧНЫЕ ЛОГИКИ -- ЛОГИКА ПРЕДИКАТОВ

Экземпляры всего: 6
Х (1), АБУ (5)
Свободны: Х (1), АБУ (5)
Найти похожие
2.
   16
   Н 512

    Ненашев, Михаил Иванович.
    Введение в логику : учебное пособие по философии для студентов социально-гуманитарных и экономических специальностей и направлений подготовки / М. И. Ненашев. - Москва : Гардарики, 2004. - 352 с. - (disciplinae). - Библиогр.: с. 352. - ISBN 5-8297-0173-1 : 66.90 р., 62.80 р., 66.90 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ПОНЯТИЕС -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЯ ДЕДУКТИВНЫЕ -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) -- ОПРОВЕРЖЕНИЕ (ЛОГИКА) -- ЛОГИКА ПРЕДИКАТОВ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ

Экземпляры всего: 11
Х (1), АБЗ (10)
Свободны: Х (1), АБЗ (10)
Найти похожие
3.
   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Введение в логику : учебник для студентов вузов, изучающих философские дисциплины / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М : ФОРУМ, 2008. - 560 с. - (Высшее образование). - ISBN 978-5-8199-0365-0 : 264.90 р., 264.90 р., 289.85 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логический анализ языка -- Логика высказываний -- Логика предикатов -- Силлогистика -- Модальная логика -- Логика времени -- Интуиционистская логика -- Понятие (логика)


Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 17
Х (1), АБУ (15), ЧЗГ (1)
Свободны: Х (1), АБУ (15), ЧЗГ (1)
Найти похожие
4.
   16
   Г 522

    Гладкий, Алексей Всеволодович.
    Введение в современную логику : [Учебное пособие] / А. В. Гладкий. - 2-е изд., испр. - Москва : URSS, 2009. - 240 с. - Предм. указ.: с. 229-233. - Библиогр.: с. 225-226. - ISBN 978-5-397-00507-4 : 60 р.
ГРНТИ
02.21.05
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЗАКОНЫ -- ПОНЯТИЕ (ЛОГИКА) -- ЛОГИКА ПРЕДИКАТОВ -- РАССУЖДЕНИЯ (ЛОГИКА) -- ЛОГИКА НАУЧНОГО ПОЗНАНИЯ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
10661

    Балюкевич, Э. Л.
    Дискретная математика [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 173 с. - ISBN 5-7764-0252-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
519.1
ББК 22.176

Кл.слова (ненормированные):
дискретная математика -- логика предикатов -- теория графов -- теория систем -- учебное пособие
Аннотация: «Дискретная математика» является математической основой курсов, изучающих современные прикладные экономико-математические методы. Целью изучения данной дисциплины является прочное усвоение студентами теоретических основ дискретной математики, составляющих фундамент ряда математических дисциплин и дисциплин прикладного характера. Содержание курса «Дискретной математики» используется в курсах: «Теория систем и системный анализ», «Информатика и программирование», «Теория вероятностей и математическая статистика», «Исследование операций и методы оптимизации», «Математическое и имитационное моделирование», «Управление проектом».

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Ковалева, Л. Ф.; Романников, А. Н.
Свободных экз. нет
Найти похожие
6.
10660

    Ковалёва, Л. Ф.
    Дискретная математика в задачах [Электронный ресурс] : учебное пособие / Ковалёва Л. Ф. - Москва : Евразийский открытый институт, 2011. - 142 с. - ISBN 978-5-374-00514-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
218
ББК 22.176

Кл.слова (ненормированные):
дискретная математика в задачах -- логика предикатов -- математика -- математическая логика -- множества -- теория графов -- учебное пособие
Аннотация: Данная работа содержит сведения по трем разделам курса «Дискретная математика» – множества, математическая логика, графы, составлена в соответствии с программой курса и представляет собой сборник задач, значительная часть которых носит экономический характер. Каждый раздел содержит разбор типовых задач, ссылки на используемую автором литературу. Задачи снабжены ответами. Работа предназначена для освоения прикладных методов математики в экономике студентами экономических специальностей как дневной, так и заочной формы обучения.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
7.
   519
   А 603

    Аляев, Юрий Александрович.
    Дискретная математика и математическая логика : учебник для студентов вузов / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7 : 116.80 р., 116.80 р.
ГРНТИ
27.01.33
УДК
519.1
510.6](075.8)
Рубрики: Математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОМБИНАТОРИКА -- ГРАФОВ ТЕОРИЯ (МАТЕМАТИКА) -- БУЛЕВЫ АЛГЕБРЫ -- КОДИРОВАНИЯ ТЕОРИЯ -- АЛГОРИТМЫ -- УМОЗАКЛЮЧЕНИЕ -- ЛОГИКА ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА)


Доп.точки доступа:
Тюрин, Сергей Феофентович
Экземпляры всего: 33
Х (1), ЧЗЕ (1), АБУ (31)
Свободны: Х (1), ЧЗЕ (1), АБУ (31)
Найти похожие
8.
   517
   И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
27.03
УДК
510.6
510.51](076.1)
Рубрики: Математика--Математическая логика--Алгоритмы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ

Экземпляры всего: 30
Х (1), ЧЗЕ (1), АБУ (28)
Свободны: Х (1), ЧЗЕ (1), АБУ (28)
Найти похожие
9.
   517
   Н 731

    Новиков, Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика

Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие
10.
62815

    Дехтярь, М. И.
    Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
51
ББК 22.12

Кл.слова (ненормированные):
алгоритм -- алгоритмическая процедура -- булева функция -- граф -- дискретная математика -- конечный автомат -- логика предикатов -- учебное пособие -- экономика
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
 1-10    11-20   21-30   31-38 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 13.07.2024
Число запросов 11951
Число посетителей 401
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)