Normal view
MARC view
Математическая логика и теория алгоритмов [учебное пособие] А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та
Material type: TextLanguage: Russian Publication details: Комсомольск-на-Амуре КНАГТУ 2005Description: 96 с. 29 смISBN: 5776505496Subject(s): аксиоматическая теория множеств | алгебра логики | теорема о полноте | исчисление высказываний | исчисление предикатов | теория моделей языка первого порядка | теория нечетких множеств | модальная логика | темпоральная логика | алгоритмическая логика | теория алгоритмов | теория рекурсии | задачи по математической логике | математическая логика | учебные пособия для вузовOther classification: 22.12я73Item 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)
Библиогр.: с. 95
Предм. указ.: с. 91-94
There are no comments on this title.
Log in to your account to post a comment.