RUSSIAN

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

By Гамова А.Н.

Book information

Publisher
Изд-во СГУ
Year
1999
ISBN
5-292-02362-0
Language
russian
Format
PDF
Filesize
762 kB (780192 bytes)
Pages
70\70
Topic
Mathematics Logic
Library
http://window.edu.ru/
Time added
2011-04-06 12:16:06
Математика;Математическая логика

Description

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

Similar books