Лекции по математической логике и теории алгоритмов Электронный ресурс учебно-методический комплекс Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования
Material type: Computer filePublication details: Томск ИДО ТГУ 2007Subject(s): учебные пособия для вузов | электронные учебники | исчисление высказываний | исчисление предикатов | теория алгоритмов | математическая логика | тестовые задания | рекурсивные функции | Тьюринга машины | Маркова алгоритмы нормальные | формулы исчисления предикатов | формулы исчисления высказыванийGenre/Form: учебные издания Online resources: Click here to access online Summary: Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.Загл. с экрана
Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.
Систем. требования: Internet Explorer 5.0 или выше.
There are no comments on this title.