TY  - BOOK
AU  - Гуц,Александр Константинович
TI  - Математическая логика и теория алгоритмов: [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"]
SN  - 9785971026297
PY  - 2016///
CY  - Москва
PB  - Ленанд
KW  - Колмогоров, Андрей Николаевич
KW  - Пост, Эмиль Леон
KW  - Тьюринг, Алан Мэтисон
KW  - Васильев, Николай Александрович
KW  - Хоар, Чарльз
KW  - Вригт, Георг фон
KW  - Крипке, Сол
KW  - учебные пособия для вузов
KW  - логика высказываний
KW  - логика предикатов
KW  - метод резолюций
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - арифметика формальная
KW  - логическое программирование
KW  - математическая логика
KW  - теория алгоритмов
KW  - исчисления формальные
KW  - логика нечеткая
KW  - арифметика нечеткая
KW  - логики модальные
KW  - логики временные
KW  - логики алгоритмические
KW  - Крипке семантика
KW  - Хоара логика алгоритмическая, аксиомы
KW  - Васильева логика
KW  - Лукасевича логика трехзначная
KW  - функции рекурсивные
KW  - Тьюринга-Поста машина
KW  - Маркова алгорифмы нормальные
KW  - сложность алгоритмов
KW  - виртуальная реальность, генератор
KW  - логики неклассические
KW  - логика интуиционистская
KW  - алгоритмы эффективные
KW  - алгоритмические проблемы неразрешимые
KW  - Кантгоуту логически возможные среды
KW  - алгоритмы реальности
N1  - Библиогр.: с. 114-117 и в подстроч. примеч
ER  -