Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Изменчивая природа математического доказательства. Доказать нельзя поверить
Глава 7. Доказательства, построенные компьютером
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Благодарности
Глава 1. Что такое доказательство и с чем его едят?
+
Глава 2. Античность
+
Глава 3. Средние века и акцент на вычислениях
+
Глава 4. Заря нового времени
+
Глава 5. Гильберт и двадцатый век
+
Глава 6. Испытание четырьмя красками
+
Глава 7. Доказательства, построенные компьютером
-
7.1. Краткая история вычислителей
7.2. В чем разница между математикой и компьютерными дисциплинами
7.3. Доказательство теорем и проверка программ
7.4. Как компьютер может исследовать набор аксиом для получения утверждений и доказательств новых теорем
7.5. Как компьютер порождает доказательство нового результата
Глава 8. Компьютер помогает преподавать и доказывать
+
Глава 9. Современная математическая жизнь
+
Глава 10. За пределами компьютеров: социология математического доказательства
+
Глава 11. Доказательства, ускользающие из рук
+
Глава 12. Джон Хорган и "Смерть доказательства?"
+
Глава 13. На посошок
+
Алфавитный список авторов с краткими биографиями
Список литературы
Предметный указатель
Данный блок поддерживает скрол*