Normal view
MARC view
Математическая логика и теория алгоритмов Электронный ресурс учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"] В. М. Зюзьков ; ТУСУР
Material type: TextPublication details: Томск Эль Контент 2015Description: 1 онлайн-ресурс (235 с.) ил., таблISBN: 9785433201972Subject(s): математическая логика | алгоритмов теория | множеств теория | пропозициональная логика | предикаты | кванторы | аксиоматические теории | математическое доказательство | алгоритмы | вычислимые функции | сложность вычисленийOnline resources: Click here to access onlineNo physical items for this record
Библиогр.: с. 226 и в конце глав.
Предм. и персон. указ.: с 231-235
There are no comments on this title.
Log in to your account to post a comment.