Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Марков А.А., Нагорный Н.М. — Теория алгорифмов
Марков А.А., Нагорный Н.М. — Теория алгорифмов



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Теория алгорифмов

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

Аннотация:

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


Язык: ru

Рубрика: Computer science/Вычислимость/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 432

Добавлена в каталог: 19.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Формула подстановки, активная на данном слове      117
Формула подстановки, ее действие      117
Формула подстановки, ее левая часть      117
Формула подстановки, ее правая часть      117
Характеристический оператор разрешимого предиката      90
Хаусдорф      19
Хомич, В.И.      20
Цейтин, Г.С.      163 334 369 412 415 417 426
Целое число      26
Цермело      304
Чёрч      10 143 144 312 426
Число шагов работы алгорифма      130—131
Шанин, Н.А.      7 11 19 20 399 401 413 423 425 426
Шёнхаге      144 426
Шпеккер      402 426
Эквивалентность алгорифмов      137—138
Эрбран      10
Ядро элемента системы слов      116
Язык, его высказывания, синтаксис и семантика      32—33
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте