Принципы математического доказательства — различия между версиями

Материалы по математике, 2018-19 учебный год
Перейти к: навигация, поиск
(Темы лекций)
(Задания на семинары)
Строка 44: Строка 44:
 
|19.04
 
|19.04
 
|[https://docviewer.yandex.ru/view/22496587/?*=Do5bVo4Whq1P8fey2GXarqtAO6d7InVybCI6InlhLWRpc2stcHVibGljOi8vM0tMZG5sRW9aeVEyUkJ3dlR3Q3gyRWpQbXlrUExTVzJxMk92bE82NmJ0bVlKZ2QvbXpHblg0NVYrMFZIQXJhOHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMi5wZGYiLCJ1aWQiOiIyMjQ5NjU4NyIsInl1IjoiNzYxNDc5NzM4MTQ0NTI5NzMwOCIsIm5vaWZyYW1lIjpmYWxzZSwidHMiOjE1NTU1MDEwNTQyMTR9 Семинар 2]
 
|[https://docviewer.yandex.ru/view/22496587/?*=Do5bVo4Whq1P8fey2GXarqtAO6d7InVybCI6InlhLWRpc2stcHVibGljOi8vM0tMZG5sRW9aeVEyUkJ3dlR3Q3gyRWpQbXlrUExTVzJxMk92bE82NmJ0bVlKZ2QvbXpHblg0NVYrMFZIQXJhOHEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMi5wZGYiLCJ1aWQiOiIyMjQ5NjU4NyIsInl1IjoiNzYxNDc5NzM4MTQ0NTI5NzMwOCIsIm5vaWZyYW1lIjpmYWxzZSwidHMiOjE1NTU1MDEwNTQyMTR9 Семинар 2]
 +
 +
|-
 +
|26.04
 +
|[https://docviewer.yandex.ru/view/22496587/?*=0UI5UcKFSHRKbgLTJd33Claz0tt7InVybCI6InlhLWRpc2stcHVibGljOi8vcnJhd082eUh1T09NK0Mya1RDdmU3WDF2dmZhemdzdEI3OXNGMGxFQWlWVnFKdUN4SFgwQnZzYVRaeFJIYzFhY3EvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMy5wZGYiLCJ1aWQiOiIyMjQ5NjU4NyIsInl1IjoiNzYxNDc5NzM4MTQ0NTI5NzMwOCIsIm5vaWZyYW1lIjpmYWxzZSwidHMiOjE1NTYxMDY3OTI5NDF9 Семинар 3]
 +
 
|-
 
|-

Версия 14:50, 24 апреля 2019

Дорогие второкурсники!

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Принципы математического доказательства», читаемого для студентов департамента политической науки факультета социальных наук в 2018/2019 учебном году.

  • Читает лекции и ведет семинары: Сысоева Любовь Николаевна (lsysoeva@hse.ru)
  • Ассистенты: Журова Любовь (lszhurova@edu.hse.ru) и Ваньков Тимур (tvvankov@edu.hse.ru)


Темы лекций

лекция тема
1 Определения и аксиомы в математике. Логические функции: отрицание, дизъюнкция, исключающее или, конъюнкция, эквивалентность, импликация. Таблицы истинности, как способ задания логических функций.
2 Различные методы доказательств утверждений: закон силлогизма, доказательство от противного, правило контрапозиции. Кванторы всеобщности и существования. Построение отрицания высказываний с кванторами.
3 Аксиома индукции. Доказательство различных утверждений с помощью математической индукции.
4 Построение отрицаний к логическим высказываниям. Связь между логическими высказываниями с импликацией и утверждениями с кванторами всеобщности. Свойства импликации. Примеры неверных доказательств.

Задания на семинары

Дата семинара файл
05.04 Семинар 1
19.04 Семинар 2
26.04 Семинар 3