Название: Теория формальных систем
Автор: Смальян Р.
Издательство: М.: Наука
Год: 1981
Формат: PDF
Страниц: 209
Размер: 25.6 MB
Язык: Русский
В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма.
Скачать Смальян Р. - Теория формальных систем [1981, PDF]
[related-news] [/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!