Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
От математики к обобщенному программированию
Глава 9. Организация математических знаний
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Благодарности
Об авторах
От авторов
Предисловие автора к русскому изданию
Глава 1. О чем эта книга
+
Глава 2. Первый алгоритм
+
Глава 3. Теория чисел в Древней Греции
+
Глава 4. Алгоритм Евклида
+
Глава 5. Зарождение современной теории чисел
+
Глава 6. Абстракция в математике
+
Глава 7. Вывод обобщенного алгоритма
+
Глава 8. Еще об алгебраических структурах
+
Глава 9. Организация математических знаний
-
9.1. Доказательства
9.2. Первая теорема
9.3. Евклид и аксиоматический метод
9.4. Альтернативы евклидовой геометрии
9.5. Формалистический подход Гильберта
9.6. Пеано и его аксиомы
9.7. Построение арифметики
9.8. Заключительные мысли
Глава 10. Основные понятия программирования
+
Глава 11. Алгоритмы перестановки
+
Глава 12. Обобщения НОД
+
Глава 13. Реальное приложение
+
Глава 14. Заключение
+
Приложение А. Обозначения
Приложение В. Стандартные приемы доказательства
+
Приложение С. Язык С++ для программистов на других языках
+
Библиография
Предметный указатель
Данный блок поддерживает скрол*