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

Материалы по математике, 2018-19 учебный год
Перейти к: навигация, поиск
(Материалы по теме лекций)
(Материалы по теме лекций)
Строка 7: Строка 7:
  
  
== Материалы по теме лекций ==
+
== Темы лекций ==
 
{|class='wikitable'
 
{|class='wikitable'
 
!лекция
 
!лекция

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

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

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

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


Темы лекций

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

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

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