Normal view
MARC view
Лекции по математике Т. 6 В. Босс
Material type: TextLanguage: Russian Publication details: Москва ЛИБРОКОМ 2013Edition: Изд. 3-е, испр. и допDescription: 207 с. илISBN: 9785397034128Other title: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя [Distinctive title]Subject(s): учебные издания для вузов | алгоритмы, теория | математическая логика | вычислимость | Тьюринга машины | диофантовы множества | Геделя теоремы | неполнота арифметики | функции универсальные (мат.) | множества универсальные | Геделя теорема вторая, доказательство | точка неподвижная, теорема | Гильберта десятая проблема | математика конструктивная | аксиоматические теории | теория моделей | степени неразрешимости | доказуемостьOther classification: В1,07Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 2-012398 (Browse shelf(Opens below)) | Available | 13820000851159 |
Библиогр.: с. 202-203
Предм. указ.: с. 204-207
There are no comments on this title.
Log in to your account to post a comment.