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

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

Show other versions (3)
Bibliographic Details
Main Authors: Шелупанов, А. А. Александр Александрович (Author), Зюзьков, В. М. Валентин Михайлович (Author)
Format: Book
Published: Томск: STT 2001
Subjects:
УЧЕБНЫЕ ПОСОБИЯ
ТЕОРИЯ МНОЖЕСТВ
ВЕННА ДИАГРАММЫ
ЛОГИКА ВЫСКАЗЫВАНИЙ
БУЛЕВЫ АЛГЕБРЫ
ЛОГИКА ПРЕДИКАТОВ
ИСЧИСЛЕНИЯ
ЛОГИЧЕСКИЕ ПАРАДОКСЫ
МНОГОЗНАЧНАЯ ЛОГИКА
ТЬЮРИНГА МАШИНЫ
Online Access:Перейти в каталог Библиотеки ТУСУР
Show all versions (4)

Similar Items