Описание книги:
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, К-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык...
Aноним
Тема
алексейнабебин
дискретная математика
информатика
информатика и вычислительная техника
информационные системы и технологии
математика
сергей авдошин
учебник
формально-логические системы и языки