МАЛЫЙ МЕХМАТ МГУ

Аннотации ближайших лекций

С середины сентября по апрель в аудитории П12 гумкорпуса (ранее в аудитории 16-10 главного здания МГУ) по субботам с 16 часов 45 минут до 18 часов 50 минут лучшие московские преподаватели и учёные читают научно-популярные лекции по математике. Лекторий для школьников 9–11 классов был организован в октябре 1999 года по инициативе Малого мехмата, поддержанной Московским математическим обществом и Московским центром непрерывного математического образования. Лекции весьма разнообразны по содержанию и уровню трудности, каждая посвящена отдельной теме, чаще всего не связанной с темами предыдущих лекций. Приглашаем всех желающих.

Лекция 6 (451) 20.10.2018

Валерий Егорович ПЛИСКО,

кандидат физико-математических наук, доцент мехмата МГУ, автор учебных пособий «Вводный курс математической логики», «Теория алгоритмов», «Интуиционистская логика», «Математическая логика и теория алгоритмов».

Конструктивная логика

Математики давно различают конструктивные и неконструктивные доказательства. Конструктивное доказательство теоремы существования даёт конкретный пример объекта, существование которого утверждается. Идея конструктивности лежит в основе так называемой интуиционистской математики и логики. В докладе проводится сравнительный анализ основных понятий классической и интуиционистской логик и методов их исследования. Излагаются начальные представления о конструктивной математике и логике, в которых идеи интуиционизма уточняются в терминах теории алгоритмов.

Предлагаем видеозаписи некоторых лекций на рутрекере и для непосредственного просмотра на vimeo.com и на YouTube.com.

Обработки некоторых лекций уже опубликованы издательством МЦНМО, в основном в виде брошюр серии «Библиотека „Математическое просвещение”» (вышло уже более 30 брошюр). Записи некоторых лекций готовятся к печати.

Дополнительную информацию о лекциях можно получить по электронной почте.

 



наверх!
Вы видите ошибку? Выделите её и нажмите Ctrl+Enter! Rambler's Top100
liveinternet.ru
Apache
PHP
HTML 4.01
CSS