Логика

Логика

4.2

14 недель, от 4 до 6 часов в неделю,

начало 26 апреля

Сложность

Начинающий

Тип обучения

Курс

Формат обучения

Записанные лекции

Зач. единицы

Сертификат

1 800 ₽ для получения

Стоимость курса

бесплатно

нет рассрочки

Курс знакомит слушателей с математической логикой, её методами, теоремами, приложениями. В процессе изучения курса слушатели смогут узнать о различных логических системах – о классической логике, интуиционистской логике, различных модальных логиках, а также о классической логике предикатов и теориях, построенных на её основе.

Будут затронуты вопросы, связанные с формальными языками, вопросами выразимости различных условий в них, аксиоматическими системами, доказательствами и доказуемостью, истинностью и опровержимостью. Будут показаны взаимосвязи между этими понятиями, а также взаимосвязи между различными логическими системами. Попутно будут рассмотрены свойства теорий, в том числе алгоритмические.

Курс содержит как теоретический материал, представленный в лекциях, так и практические задачи, предлагаемые слушателям в качестве упражнений. Слушатели смогут научиться строить формальные доказательства теорем, модели теорий, контрмодели для недоказуемых в теориях утверждений, а также строго аргументировать свои выводы.

Что вы получите после обучения

Приобретаемые навыки

Математическая логика

Теория множеств

Методы преобразования логических выражений

Методы доказательства теорем

Модели формул и теорий первого порядка

Вас будут обучать

Рыбаков Михаил Николаевич

курс

Кандидат физико-математических наук: Ярославский государственный университет им. П.Г. Демидова, PhD: Университет Витватерсранда, Доцент Должность: доцент, Факультет математики

Образование, учёные степени и учёные звания 2019, PhD: Университет Витватерсранда 2017, Ученое звание: Доцент 2005, Кандидат физико-математических наук: Ярославский государственный университет им. П.Г. Демидова 1999, Магистратура: Тверской государственный университет, специальность «Математика, прикладная математика», квалификация «Магистр» 1997, Бакалавриат: Тверской государственный университет, специальность «Математика», квалификация «Бакалавр»

Награды и достижения Благодарность факультета математики НИУ ВШЭ (октябрь 2021) Лучший преподаватель – 2021 Надбавка за публикацию в международном рецензируемом научном издании (2022-2023, 2021-2022, 2020-2021) Победитель Конкурса лучших русскоязычных научных и научно-популярных работ работников НИУ ВШЭ – 2022

Образовательная организация

Национальный исследовательский университет "Высшая школа экономики"

0 отзывов

Национальный исследовательский университет «Высшая школа экономики» — исследовательский университет, осуществляющий свою миссию через научно-образовательную, проектную, экспертно-аналитическую и социокультурную деятельности на основе международных научных и организационных стандартов.

Мы осознаем себя частью мирового академического сообщества, считаем международное партнерство, вовлеченность в глобальное университетское взаимодействие ключевыми элементами нашего движения вперед. Будучи российским университетом, мы работаем на благо России и ее граждан.

Наш университет — это коллектив ученых, сотрудников, аспирантов и студентов, которых отличает внутренняя приверженность к поддержанию высоких академических стандартов своей деятельности. Мы стремимся обеспечить наиболее благоприятные условия для развития каждого члена нашего коллектива.

Наши ценности:

Стремление к истине
Сотрудничество и заинтересованность друг в друге
Честность и открытость
Академическая свобода и политический нейтралитет
Профессионализм, требовательность к себе и ответственность
Активная общественная позиция

Сегодня Высшая школа экономики — это:

4 КАМПУСА: МОСКВА, САНКТ-ПЕТЕРБУРГ, НИЖНИЙ НОВГОРОД, ПЕРМЬ
~7000ПРЕПОДАВАТЕЛЕЙ И ИССЛЕДОВАТЕЛЕЙ
50 400+СТУДЕНТОВ
100 800ВЫПУСКНИКОВ

Открытое образование

3.7

31 отзыв

Новый элемент системы российского образования — открытые онлайн-курсы — cможет перезачесть любой университет. Мы делаем это реальной практикой, расширяя границы образования для каждого студента. Полный набор курсов от ведущих университетов. Мы ведём системную работу по созданию курсов для базовой части всех направлений подготовки, обеспечивая удобное и выгодное для любого университета встраивание курса в свои образовательные программы
«Открытое образование» – это образовательная платформа, предлагающая массовые онлайн-курсы ведущих российских вузов, которые объединили свои усилия, чтобы предоставить возможность каждому получить качественное высшее образование.

Любой пользователь может совершенно бесплатно и в любое время проходить курсы от ведущих университетов России, а студенты российских вузов смогут засчитать результаты обучения в своем университете.