| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Документ
Скорубский, В. И.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Юрайт, 2025. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный.
Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Юрайт, 2025. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный.
Внешний ресурс:
ЭБС ЮРАЙТ. Электронная версия. Доступ по логину и паролю. Доступ до 25.03.2027
Подробнее
Авторы: Скорубский В. И., Поляков В. И., Зыков А. Г.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: алгебра логики, булева алгебра, верификация, вероятностная логика, высказывания, интервальная логика Аллена, исчисление высказываний, Квайна метод, логика, логика высказываний, логика предикатов, логический вывод, логическое программирование, неклассическая логика, нечеткая логика, предикаты, Пролог, темпоральная логика
Индексы ББК: 22.12я73
Представления: Формат MARC21