Книга: А. А. Марков, Н. М. Нагорный «Теория алгорифмов»
Серия: "Математическая логика и основания математики" В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов. Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1984) Формат: 84x108/32, 432 стр.
Купить за 1000 руб на Озоне |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|
См. также в других словарях:
Теория алгоритмов — Теория алгоритмов наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… … Википедия
АЛГОРИТМОВ ТЕОРИЯ — раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия алгоритм , прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. и … Математическая энциклопедия
Алгоритмов теория — раздел математики, изучающий общие свойства Алгоритмов. Содержательные явления, приведшие к образованию понятия «алгоритм», прослеживаются в математике в течение всего времени её существования. Однако само это понятие сформировалось лишь… … Большая советская энциклопедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
МАРКОВ — Андрей Андреевич [р. 9(22).9.1903, Петербург, 11.10.1979, Москва], сов. математик и логик, чл. корр. АН СССР (1953). Чл. КПСС с 1953. Осн. тру ды по топологии, топологич. алгебре, теории динамич систем, теории алгорифмов и конструктивной… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия