TY  - BOOK
AU  - Крупский,Владимир Николаевич
AU  - Плиско,Валерий Егорович
TI  - Математическая логика и теория алгоритмов: [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
T2  - Бакалавриат
SN  - 9785769595592
PY  - 2013///
CY  - Москва
PB  - Академия
KW  - математическая логика
KW  - nlr_sh
KW  - алгоритмов теория
KW  - множеств теория
KW  - логика высказываний
KW  - исчисление высказываний
KW  - логика предикатов
KW  - исчисление предикатов
KW  - логико-математические языки первого порядка
KW  - аксиоматические теории
KW  - моделей теория
KW  - множеств теория алгоритмическая
KW  - Тьюринга машины
KW  - формализации вычислимости
KW  - алгоритмические проблемы неразрешимые
KW  - арифметика формальная
KW  - метор резолюций
KW  - интуиционистская логика
KW  - сложность вычислений, теория
KW  - задачи труднорешаемые, примеры
N1  - Библиогр.: с. 412-413
ER  -