-
1Academic Journal
Συγγραφείς: Скулимовская, Дарья
Θεματικοί όροι: ИМПЛИКАТУРА, ПРЕСУППОЗИЦИЯ, ЛОГИЧЕСКОЕ СЛЕДСТВИЕ, ПРОПОЗИЦИЯ, ПРЕДУПРЕЖДЕНИЕ
Περιγραφή αρχείου: text/html
-
2Academic Journal
Πηγή: Вестник Иркутского государственного лингвистического университета.
Περιγραφή αρχείου: text/html
-
3
Συγγραφείς: Романович, Владимир Александрович
Συνεισφορές: Томский государственный университет
Θεματικοί όροι: учебные пособия для вузов, математическая логика, логика высказываний, Клини дедуктика, формулы логики высказываний, метод резолюций, логическое следствие, логика предикатов, предикаты, теорема о подстановке, формулы логики предикатов, Эрбрана теорема, Эрбрана-Скулема алгоритм, разрешимость класса формул, исчисление предикатов, логический вывод, теорема дедукции, Геделя теорема о полноте, множество рассогласований, алгоритм унификации, логическое программирование, логические программы, хорновские дизъюнкты, SLD-резолюции, дерево поиска, рекурсия, реляционные базы данных, анализ релейно-контактных схем, синтез релейно-контактных схем, логический анализ рассуждений
Περιγραφή αρχείου: application/pdf
Relation: vtls:000213588; URN:ISBN:594621165X; https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000213588