Книга представляет собой пособие по изучению математического языка так, как принято изучать иностранный язык.
Целью книги является научить читателя правильно и легко воспринимать математический текст, понимать его закономерности, структуру, возможности и ограничения. Ориентированная на изучение математического текста как такового, книга в основном апеллирует к формальным системам, которые изучаются в математической логике и примерам классических формальных теорий. В то же время в ней постоянно подчеркивается многоуровневый взгляд на математический язык, включающий метатеорию и семантику формальных конструкций.
Формат pdf
Цена 990 руб.
Скачать:
Для просмотра содержимого вам необходимо авторизоваться