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я73
| Item 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 |
Библиогр.: с. 212-214
Предм. указ.: с. 215-224
There are no comments on this title.