RUSSIAN

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

By Марков А.А. , Нагорный Н.М.

Book information

Publisher
Наука
Year
1984
Language
russian
Format
DJVU
Filesize
4 MB (4107549 bytes)
Series
Математическая логика и основания математики, 25
Pages
433\433
Topic
Mathematics Logic
Library
kolxoz
DPI
300
Time added
2015-12-12 14:00:00

Description

В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.

Similar books