TY  - BOOK
AU  - Романович,Владимир Александрович
ED  - Томский государственный университет.
TI  - Лекции по математической логике: [учебное пособие для математических направлений и специальностей университетов]
SN  - 594621165X
PY  - 2005///
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  - SLD-резолюции
KW  - дерево поиска
KW  - рекурсия
KW  - реляционные базы данных
KW  - анализ релейно-контактных схем
KW  - синтез релейно-контактных схем
KW  - логический анализ рассуждений
KW  - язык естественный (математическая логика)
N1  - Библиогр.: с. 401-402; Предм. указ.: с. 405-408
ER  -