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
Агибалов, Геннадий Петрович
|
тестовые задания
Add to Quick Collection
Description
Size
Format
Лекции по математической логике и теории алгоритмов
—
HTML Document
View Details
Download
Title
Лекции по математической логике и теории алгоритмов : учебно-методический комплекс
Creator
Агибалов, Геннадий Петрович
Contributor
Томский государственный университет Институт дистанционного образования
Subject
учебные пособия для вузов
электронные учебники
исчисление высказываний
исчисление предикатов
теория алгоритмов
математическая логика
тестовые задания
рекурсивные функции
Тьюринга машины
Маркова алгоритмы нормальные
формулы исчисления предикатов
формулы исчисления высказываний
Date
2007
Publisher
Томск : ИДО ТГУ
Description
Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.
-
Загл. с экрана
Relationships
Show Relationship Browser for this Object
collection(s)
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Identifier
vtls:000243895
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895
Type
учебные издания
Language
rus
929 Visitors
951 Hits
4 Downloads
Preview
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Лекции по математической логике и теории алгоритмов : учебно-методический комплекс
^ DIV >