Вступ до доказів через навчання на основі запитів (Ernst)
- Page ID
- 65455
Ця книга призначена для використання в один семестр/квартал введення в доказ курсу (іноді називають переходом до доказового курсу). Мета цієї книги - познайомити читача з процесом побудови і написання формальних і строгих математичних доказів. Передбачувана аудиторія - математичні спеціальності та неповнолітні. Однак ця книга також доречна для тих, хто цікавиться математикою та написанням доказів. Більшість користувачів цієї книги займуть принаймні один семестр обчислення, хоча крім деякого знайомства з декількома стандартними функціями в розділі 8, знання змісту обчислення не потрібно. Книга включає більше вмісту, ніж можна очікувати, щоб охопити за один семестр/квартал. Це дозволяє інструктору/читачеві вибрати і вибрати розділи, які відповідають їх потребам і бажанням. Кожна глава має цілеспрямований підхід до включених тем, але також включає в себе безліч щадних вправ, спрямованих на розвиток інтуїції.
Мініатюра: P. Oxy. 29, один із найдавніших збережених фрагментів Елементів Евкліда, підручник, який використовувався тисячоліттями для навчання технікам коректури. Діаграма супроводжує Книгу II, Пропозиція 5. (Громадське надбання).