Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года . Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математических наук. В разделе теории алгоритмов представлены два направления уточнения алгоритма и вычислимости - машины Тьюринга и частично рекурсивные функции С.Клини

Скачать книгу бесплатно (pdf, 762 Kb)

---

Читать «Математическая логика и теория алгоритмов»