| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Документ
Игошин, В. И.
Математическая логика / В. И. Игошин. — Москва : ИНФРА-М, 2023. — 399 с. — (Высшее образование: Бакалавриат). — Список лит.: с. 307. — ISBN 978-5-16-011691-4. — Текст : электронный.
Математическая логика / В. И. Игошин. — Москва : ИНФРА-М, 2023. — 399 с. — (Высшее образование: Бакалавриат). — Список лит.: с. 307. — ISBN 978-5-16-011691-4. — Текст : электронный.
Внешний ресурс:
ЭБС ZNANIUM. Электронная версия. Доступ по логину и паролю. Доступ до 31.12.2025
Дисциплина из КО: Математическая логика и теория алгоритмов
Подробнее
Авторы: Игошин В. И.
Отраслевые рубрики: логика, математика, математическая логика, философские науки
Ключевые слова: аксиоматические теории, алгебра высказываний, булевы функции, высказывания, дедукция, кванторные операции, логика предикатов, логическая равносильность, логические операции, логическое программирование, логическое следование, метод резолюции, мощность множеств, нормальные формы, полнота, предикаты, проблема разрешения выполнимости, проблема разрешения общезначимости, Пролог, равносильные преобразования формул, система аксиом, тавтология, теория формального вывода, формализованные исчисления высказываний, формальные аксиоматические теории
Индексы ББК: 22.12я73, 87.45я73
Представления: Формат MARC21