Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Лекции по математической логике и теории алгоритмов Электронный ресурс учебно-методический комплекс Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования

By: Агибалов, Геннадий Петрович, 1939-2020Contributor(s): Томский государственный университет Институт дистанционного образованияMaterial type: Computer fileComputer filePublication details: Томск ИДО ТГУ 2007Subject(s): учебные пособия для вузов | электронные учебники | исчисление высказываний | исчисление предикатов | теория алгоритмов | математическая логика | тестовые задания | рекурсивные функции | Тьюринга машины | Маркова алгоритмы нормальные | формулы исчисления предикатов | формулы исчисления высказыванийGenre/Form: учебные издания Online resources: Click here to access online Summary: Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Загл. с экрана

Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.

Систем. требования: Internet Explorer 5.0 или выше.

There are no comments on this title.

to post a comment.
Share