Normal view
MARC view
Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"] С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т
Material type: TextLanguage: Russian Series: Высшее образованиеPublication details: М. Новосибирск ИНФРА-М Изд-во НГТУ 2004Description: 223, [1] с. ил. 22 смISBN: 5160019758; 5778204582Subject(s): математическая логика | алгоритмы | учебные пособия для вузов | исчисление высказываний | исчисление предикатов | теория моделей | Пеано аксиомы арифметики | модели арифметики | тьюринга алгоритмы | рекурсивные функции | Райса теорема | Геделя теорема о неполноте | алгоритмы сортировки | конечные автоматы | пропозиционные логики | предикатные логики | алгоритмические логики | задачиOther classification: 22.12я73Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-938267к (Browse shelf(Opens below)) | Available | 13820000455334 | |||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 С892 (Browse shelf(Opens below)) | 1 | Available | 13820000455335 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 С892 (Browse shelf(Opens below)) | 2 | Available | 13820000455336 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 С892 (Browse shelf(Opens below)) | 3 | Available | 13820000540607 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Абонемент. Депозитарий Close shelf browser (Hides shelf browser)
Библиогр.: с. 212-214
Предм. указ.: с. 215-224
There are no comments on this title.
Log in to your account to post a comment.