RUSSIAN

Проблемы разрешимости и конструктивные модели

By Ершов Ю.Л.

Book information

Publisher
Наука
Year
1980
Language
russian
Format
DJVU
Filesize
5 MB (5446168 bytes)
Series
Математическая логика и основания математики, 20
Pages
416\416
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).

Similar books