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