Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
Preview
Add to "Quick Collection"
Description
Size
Format
Лекции по математической логике
1 MB
Adobe Acrobat PDF
Read
Download
#учебные пособия для вузов
#математическая логика
#логика высказываний
#Клини дедуктика
#формулы логики высказываний
#метод резолюций
#логическое следствие
#логика предикатов
#предикаты
#теорема о подстановке
#формулы логики предикатов
#Эрбрана теорема
#Эрбрана-Скулема алгоритм
#разрешимость класса формул
#исчисление предикатов
#логический вывод
#теорема дедукции
#Геделя теорема о полноте
#множество рассогласований
#алгоритм унификации
#логическое программирование
#логические программы
#хорновские дизъюнкты
#SLD-резолюции
#дерево поиска
#рекурсия
#реляционные базы данных
#анализ релейно-контактных схем
#синтез релейно-контактных схем
#логический анализ рассуждений
#язык естественный (математическая логика)
Title
Лекции по математической логике : [учебное пособие для математических направлений и специальностей университетов]. Ч. 1
Creator
Романович, Владимир Александрович
Contributor
Томский государственный университет
Date
2005
Publisher
Томск : Том. гос. ун-т
Relationships
Show Relationship Browser for this Object
collection(s)
Публикации ТГУ
Identifier
смотреть в электронном каталоге НБ ТГУ
-
ISBN:594621165X
Type
учебные издания
Language
rus
Created: 29-11-2024
324 Visitors
302 Hits
87 Downloads
Публикации ТГУ
Лекции по математической логике : [учебное пособие для математических направлений и специальностей университетов]. Ч. 1
^
324 Visitors
302 Hits
87 Downloads
