Вычислимость

Список источников >Компьютерные науки >Вычислимость >

Теория алгорифмов

Автор: Марков А.А., Нагорный Н.М.
Год: 1984
Издание:

Страниц: [не указано]
ISBN: [не указан]
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Добавлено: 2009-08-09 01:26:35

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2020, Список Литературы