-
1
Authors: Романович, Владимир Александрович
Contributors: Томский государственный университет
Subject Terms: учебные пособия для вузов, математическая логика, логика высказываний, Клини дедуктика, формулы логики высказываний, метод резолюций, логическое следствие, логика предикатов, предикаты, теорема о подстановке, формулы логики предикатов, Эрбрана теорема, Эрбрана-Скулема алгоритм, разрешимость класса формул, исчисление предикатов, логический вывод, теорема дедукции, Геделя теорема о полноте, множество рассогласований, алгоритм унификации, логическое программирование, логические программы, хорновские дизъюнкты, SLD-резолюции, дерево поиска, рекурсия, реляционные базы данных, анализ релейно-контактных схем, синтез релейно-контактных схем, логический анализ рассуждений
File Description: application/pdf
Relation: vtls:000213588; URN:ISBN:594621165X; https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000213588