Рекурсивные функции Российская государственная библиотека (РГБ)
Функциональные системы с операцией суперпозиции Российская государственная библиотека (РГБ)
Конечные автоматы Российская государственная библиотека (РГБ)
Булевы функции Российская государственная библиотека (РГБ)
Функциональные уравнения дискретной математики Российская государственная библиотека (РГБ)
Основы теории булевых функций : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии" Российская государственная библиотека (РГБ)
Классы элементарных рекурсивных функций Российская государственная библиотека (РГБ)
Булева сводимость и булевы степени Российская государственная библиотека (РГБ)
Машины в теории вычислимых функций : учебное пособие Российская государственная библиотека (РГБ)
Сильные операторы замыкания : учебное пособие Российская государственная библиотека (РГБ)
Посмотреть все произведения автора
Математика > Математическая логика > Логические исчисления. Исчисление высказываний. Исчисление предикатов > Пособие для специалистов