Введение в математическую логику и теорию алгоритмов

Механико-математический факультет

Лекции читаются на 2-м курсе (осенний семестр):

• Курс для группы первокурсников второго семестра 2023/2024
• Осенью 2023 года (лектор — академик РАН А. Л. Семёнов)
• Курс для группы первокурсников второго семестра 2022/2023
• Осенью 2022 года (лектор — академик РАН А. Л. Семёнов)
• Курс для группы первокурсников второго семестра 2021/2022
• Осенью 2021 года (лектор — академик РАН А. Л. Семёнов)
• Осенью 2020 года (лекторы — акад. РАН Л. Д. Беклемишев, проф. М. Р. Пентус) | видео лекций (YouTube)
• Осенью 2019 года (лектор — акад. РАН Л. Д. Беклемишев) | видео лекций (YouTube)
• Осенью 2018 года (лектор — проф. В. Б. Шехтман) | видео лекций (YouTube)
• Осенью 2017 года (лектор — проф. В. Б. Шехтман)
• Осенью 2016 года (лектор — проф. В. Б. Шехтман)
• Осенью 2015 года (лектор — академик РАН А. Л. Семёнов)
• Осенью 2014 года (лектор — академик РАН А. Л. Семёнов) | видео лекций (YouTube)
• Осенью 2013 года (лектор — академик РАН А. Л. Семёнов) | видео лекций (YouTube)
• Осенью 2012 года (лектор — академик РАН А. Л. Семёнов) | видео лекций (YouTube)

Ранее курс назывался «Введение в математическую логику» и читался на 1-м курсе (весенний семестр):

• Весной 2011 года (лектор — чл.-корр. РАН А. Л. Семёнов)
• Весной 2010 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
• Весной 2009 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
• Весной 2008 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
• Весной 2006 года (лектор — проф. М. Р. Пентус)
• Весной 2005 года (лектор — проф. М. Р. Пентус)
• Весной 2003 года (лектор — проф. В. А. Успенский) | программа