Математическая логика и теория алгоритмов: Учебное пособие/

Библиографическая информация
Главные авторы:	Шелупанов, А. А. Александр Александрович (Автор), Зюзьков, В. М. Валентин Михайлович (Автор)
Формат:	Книга
Публикация:	Томск: STT 2001
Предметы:	УЧЕБНЫЕ ПОСОБИЯ ТЕОРИЯ МНОЖЕСТВ ВЕННА ДИАГРАММЫ ЛОГИКА ВЫСКАЗЫВАНИЙ БУЛЕВЫ АЛГЕБРЫ ЛОГИКА ПРЕДИКАТОВ ИСЧИСЛЕНИЯ ЛОГИЧЕСКИЕ ПАРАДОКСЫ МНОГОЗНАЧНАЯ ЛОГИКА ТЬЮРИНГА МАШИНЫ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы