Main Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов

5.0 / 5.0
0 comments
Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года . Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математических наук. В разделе теории алгоритмов представлены два направления уточнения алгоритма и вычислимости - машины Тьюринга и частично рекурсивные функции С.Клини
Request Code : ZLIBIO378334
Categories:
Year:
1999
Publisher:
Изд-во СГУ
Language:
Russian
Pages:
70
ISBN 13:
5-292-02362-0
ISBN:
5-292-02362-0

Comments of this book

There are no comments yet.