Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

By: Романович, Владимир АлександровичContributor(s): Томский государственный университетMaterial type: TextTextPublication details: Томск Том. гос. ун-т 2005Description: 408 с. илISBN: 594621165XSubject(s): учебные пособия для вузов | математическая логика | логика высказываний | Клини дедуктика | формулы логики высказываний | метод резолюций | логическое следствие | логика предикатов | предикаты | теорема о подстановке | формулы логики предикатов | Эрбрана теорема | Эрбрана-Скулема алгоритм | разрешимость класса формул | исчисление предикатов | логический вывод | теорема дедукции | Геделя теорема о полноте | множество рассогласований | алгоритм унификации | логическое программирование | логические программы | хорновские дизъюнкты | SLD-резолюции | дерево поиска | рекурсия | реляционные базы данных | анализ релейно-контактных схем | синтез релейно-контактных схем | логический анализ рассуждений | язык естественный (математическая логика)
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Copy number Status Date due Barcode
Выдается в читальный зал Отдел рукописей и книжных памятников В-26463 51 P694 (Browse shelf (Opens below)) Available 13820000511083
1 неделя Читальный зал 5 510 Р694 (Browse shelf (Opens below)) Available 13820000511087
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 1 Available 13820000511084
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 1 Available 13820000511088
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 1 Available 13820000520127
1 неделя Читальный зал 5 510 Р694 (Browse shelf (Opens below)) 2 Available 13820000511085
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 2 Available 13820000520128
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 2 Available 13820000511089
Выдается в читальный зал Книгохранилище 2-043575 (Browse shelf (Opens below)) 3 Available 13820000511086
6 месяцев Абонемент 51 P694 (Browse shelf (Opens below)) 3 Checked out 27/10/2024 13820000511090
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 3 Available 13820000520129
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 4 Available 13820000511091
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 4 Available 13820000520130
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 5 Available 13820000511092
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 5 Available 13820000520131
6 месяцев Абонемент 51 P694 (Browse shelf (Opens below)) 6 Checked out 27/10/2024 13820000511093
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 6 Available 13820000520132
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 7 Available 13820000520133
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 7 Available 13820000511094
6 месяцев Абонемент 51 Р694 (Browse shelf (Opens below)) 8 Checked out 22/10/2024 13820000511095
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 8 Available 13820000520134
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 9 Available 13820000511096
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 9 Available 13820000520135
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 10 Available 13820000511097
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 10 Available 13820000520136
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 11 Available 13820000511098
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 11 Available 13820000520137
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 12 Available 13820000511099
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 12 Available 13820000520138
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 13 Available 13820000511100
6 месяцев Абонемент 51 P694 (Browse shelf (Opens below)) 13 Checked out 25/10/2024 13820000520139
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 14 Available 13820000511101
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 14 Available 13820000520140
6 месяцев Абонемент 51 P694 (Browse shelf (Opens below)) 15 Checked out 14/09/2024 13820000511102
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 16 Available 13820000520142
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 17 Available 13820000520143
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 18 Available 13820000520144
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 19 Available 13820000520145
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 20 Available 13820000520146
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 21 Available 13820000520147
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 22 Available 13820000520148
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 23 Available 13820000520149
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 24 Available 13820000520150
6 месяцев Абонемент 51 Р694 (Browse shelf (Opens below)) 25 Checked out 12/09/2024 13820000520151
6 месяцев Абонемент 51 Р694 (Browse shelf (Opens below)) 26 Checked out 12/09/2024 13820000520152
6 месяцев Абонемент 51 P694 (Browse shelf (Opens below)) 27 Checked out 27/10/2024 13820000520153
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 28 Available 13820000520154
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 29 Available 13820000520155
6 месяцев Абонемент. Депозитарий 51 P694 (Browse shelf (Opens below)) 30 Available 13820000520156

Библиогр.: с. 401-402

Предм. указ.: с. 405-408

There are no comments on this title.

to post a comment.