Normal view
MARC view
Математическая логика и теория алгоритмов [учебное пособие] А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та
Material type:
TextLanguage: Russian Publication details: Комсомольск-на-Амуре КНАГТУ 2005Description: 96 с. 29 смISBN: 5776505496Subject(s): аксиоматическая теория множеств | алгебра логики | теорема о полноте | исчисление высказываний | исчисление предикатов | теория моделей языка первого порядка | теория нечетких множеств | модальная логика | темпоральная логика | алгоритмическая логика | теория алгоритмов | теория рекурсии | задачи по математической логике | математическая логика | учебные пособия для вузовOther classification: 22.12я73
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-953571к (Browse shelf (Opens below)) | Available | 13820000586743 |
Библиогр.: с. 95
Предм. указ.: с. 91-94
There are no comments on this title.