Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
учебные издания
|
"Американский и сибирский фронтир", всероссийская научная конференция (Томск.)
|
Черча нумералы
|
2009
Add to Quick Collection
Description
Size
Format
Теория алгоритмов
1 MB
Adobe Acrobat PDF
View Details
Download
Title
Теория алгоритмов : [учебное пособие для студентов математических направлений и специальностей университетов]
Creator
Зюзьков, Валентин Михайлович
Contributor
Томский государственный университет Механико-математический факультет Кафедра вычислительной математики и компьютерного моделирования
Subject
учебные пособия для вузов
теория алгоритмов
функции вычислимые
функции частично рекурсивные
Тьюринга машины
лямбда-исчисление
Черча нумералы
функции рекурсивные
вычислимость
невычислимость
аксиоматика
исчисление высказываний
элементарная арифметика
Геделя теорема о неполноте
алгоритмы
NP-полнота
комбинаторы
операторы рекурсивные
куины
логика предикатов
логико-математические языки
аксиоматические теории формальные
сложность вычислений
Date
2009
Publisher
Томск : Издательство Томского университета
Relationships
Show Relationship Browser for this Object
collection(s)
Механико-математический факультет
Identifier
vtls:000396828
URN:ISBN:9785751119324
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828
Type
учебные издания
Language
rus
2258 Visitors
2282 Hits
15 Downloads
Preview
Механико-математический факультет
Теория алгоритмов : [учебное пособие для студентов математических направлений и специальностей университетов]
^ DIV >