Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Математическая логика и теория алгоритмов [учебное пособие] А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та

By: Хусаинов, Ахмет АксановичContributor(s): Михайлова, Наталья НиколаевнаMaterial type: TextTextLanguage: Russian Publication details: Комсомольск-на-Амуре КНАГТУ 2005Description: 96 с. 29 смISBN: 5776505496Subject(s): аксиоматическая теория множеств | алгебра логики | теорема о полноте | исчисление высказываний | исчисление предикатов | теория моделей языка первого порядка | теория нечетких множеств | модальная логика | темпоральная логика | алгоритмическая логика | теория алгоритмов | теория рекурсии | задачи по математической логике | математическая логика | учебные пособия для вузовOther classification: 22.12я73
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Выдается в читальный зал Научная библиотека ТГУ Книгохранилище 1-953571к (Browse shelf(Opens below)) Available 13820000586743
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
No cover image available
No cover image available
1-953568к Ботанические исследования Сибири и Казахстана возобновление сосны после пожаров : [сборник научных трудов Вып. 12 1-953569к Измерения, моделирование и информационные системы для изучения окружающей среды [сборник] 1-953570 Измерения, моделирование и информационные системы для изучения окружающей среды [сборник] 1-953571к Математическая логика и теория алгоритмов [учебное пособие] 1-953572к Эмоционально-исторический очерк: аэрокосмические методы в гидрологии 1-953573 Физико-химические процессы в неорганических материалах (ФХП-9) международная конференция : посвящается 50-летию Кемеровского государственного университета, 22-25 сентября 2004 года : доклады : [в 2 т.] Т. 2 1-953574 Физико-химические процессы в неорганических материалах (ФХП-9) международная конференция : посвящается 50-летию Кемеровского государственного университета, 22-25 сентября 2004 года: доклады : [в 2 т.] Т. 1

Библиогр.: с. 95

Предм. указ.: с. 91-94

There are no comments on this title.

to post a comment.