Поиcк по сайту by Google


Рейтинг@Mail.ru
Rambler's Top100
Электронные книги » Математика » Теория формальных систем - Смальян Р.

Теория формальных систем - Смальян Р.

 
Название: Теория формальных систем
Автор: Смальян Р.
Категория: Математика
Тип: Книга
Дата: 19.01.2009 14:22:05
Скачано: 335
Оценка:
Описание: В этой книге в систематической форме и, фактиче^ ски, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. Фундаментальным теоретическим обобщением выработанных в процессе развития математической логики методов точного определения основных логико-математических языков и методов формально-дедуктивного (аксиоматического) построения математических теорий явилось введенное Э. Постом понятие канонического исчисления в данном алфавите. Им же было указано, что в рамках теории канонических исчислений можно определить понятие алгорифма, эквивалентное понятию машины А. Тьюринга. Порождающие системы, называемые в настоящее время порождающими грамматиками, по существу представляют собой канонические исчисления частных типов (при этом, некоторые типы порождающих грамматик имеют такой же «объем», как понятие канонического исчисления).* Понятие канонического исчисления сравнимо по «уровню фундаментальности» с понятием машины Тьюринга. В этой книге в основу изложения положена предложенная Р. М. Смальяном модификация понятия канонического исчисления Поста — понятие элементарной формальной системы. Эта модификация имеет определенные методические достоинства (однако по некоторым методическим «параметрам» она уступает понятию канонической системы). В главах III и V сущест-
Файл: 2.80 МБ
Скачать