- Добавил: umkaS
- Дата: 26-03-2023, 07:11
- Комментариев: 0

Автор: Авдошин С.М., Набебин А.А.
Издательство: Москва
Год: 2018
Cтраниц: 390
Формат: pdf (ocr)
Размер: 17 мб
Язык: русский
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.