Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]

Show other versions (1)
Bibliographic Details
Main Author: Зюзьков, Валентин Михайлович
Corporate Author: Томский государственный университет Механико-математический факультет Кафедра вычислительной математики и компьютерного моделирования
Format: eBook
Language:Russian
Published: Томск Издательство Томского университета 2009
Edition:2-е изд., испр. и доп.
Subjects:
учебные пособия для вузов
теория алгоритмов
функции вычислимые
функции частично рекурсивные
Тьюринга машины
лямбда-исчисление
Черча нумералы
функции рекурсивные
вычислимость
невычислимость
аксиоматика
исчисление высказываний
элементарная арифметика
Геделя теорема о неполноте
алгоритмы
NP-полнота
комбинаторы
операторы рекурсивные
куины
логика предикатов
логико-математические языки
аксиоматические теории формальные
сложность вычислений
учебные издания
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828
Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number: 1-991967к
Available  Place a Hold

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number: 510 З-981
Available  Place a Hold
Available  Place a Hold

Научная библиотека ТГУ: Абонемент

Holdings details from Научная библиотека ТГУ: Абонемент
Call Number: 51 З-981
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold

Similar Items