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

Материалы по математике, 2018-19 учебный год
Перейти к: навигация, поиск
(Новая страница: «'''Дорогие второкурсники!''' На этой странице будут появляться различные материалы и объя…»)
 
Строка 4: Строка 4:
  
 
* Читает лекции и ведет семинары: Сысоева Любовь Николаевна lsysoeva@hse.ru
 
* Читает лекции и ведет семинары: Сысоева Любовь Николаевна lsysoeva@hse.ru
* Ассистенты: Журова Любовь и Ваньков Тимур tvvankov@edu.hse.ru
+
* Ассистенты: Журова Любовь и Ваньков Тимур (tvvankov@edu.hse.ru)
 +
 
 +
 
 +
== Материалы по теме лекций ==
 +
{|class='wikitable'
 +
!лекция
 +
!тема
 +
 
 +
|-
 +
|1
 +
|Определения и аксиомы в математике. Логические функции: отрицание, дизъюнкция, конъюнкция, эквивалентность, импликация. Таблицы истинности, как способ задания логических функций.
 +
 
 +
|2
 +
|Различные методы доказательств утверждений: закон силлогизма, доказательство от противного, правило контрапозиции. Кванторы всеобщности и существования. Построение отрицания высказываний с кванторами.
 +
 
 +
|}
 +
 
 +
== Задания на семинары ==
 +
{|class='wikitable'
 +
!Дата семинара
 +
!файл
 +
|-
 +
|05.04
 +
|[https://docviewer.yandex.ru/view/22496587/?*=WVyydZRqKooUHseZJbixINBQQkZ7InVybCI6InlhLWRpc2stcHVibGljOi8vQVB2L3B3Y0hYQXNBck4ycGEyQ3duTlpERHJVVVBMRFVjVmd5UkNyVlhuN3BpdDIrSitHdGJFWXR5eTR5ZllKQnEvSjZicG1SeU9Kb25UM1ZvWG5EYWc9PSIsInRpdGxlIjoic2VtMS5wZGYiLCJ1aWQiOiIyMjQ5NjU4NyIsInl1IjoiNzYxNDc5NzM4MTQ0NTI5NzMwOCIsIm5vaWZyYW1lIjpmYWxzZSwidHMiOjE1NTQzMTcxNDAzMDZ9 Семинар 1]
 +
|-

Версия 21:43, 3 апреля 2019

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

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

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


Материалы по теме лекций

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

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

Дата семинара файл
05.04 Семинар 1