• О Физтехе
  

  МФТИ является одним из ведущих технических вузов России. Институт по праву занимает лидирующее место по качественному приему абитуриентов и квалифицированной подготовке выпускников. Студенты и выпускники МФТИ являются представителями узкого круга лиц, которые, благодаря окружающим их возможностям междисциплинарного научного образования, могут в полной мере реализовать свой потенциал.

  • Общая информация
  • Руководство
  • Физтех-школы
  • Подразделения
  • Публикации в СМИ
  • МФТИ в рейтингах
  • Вклад МФТИ в устойчивое развитие
  • История Физтеха
  • Сведения об образовательной организации
  • Партнеры
  • Абитуриенту
  • Профилактика коронавируса
• Образование
  

  Уникальная ­­«Система обучения Физтеха» является одним из лучших подходов к образованию, что доказывает ее существование почти в неизменном виде уже более 60 лет. Получение фундаментального образования в области математики и физики, предварительное знакомство с избранной специализацией наряду с приобретением навыков самостоятельной работы уже на 4м курсе обеспечивают каждого студента объемом знаний и опыта полноценного ученого. Таким образом, к окончанию обучения студенты уже имеют значительные достижения в избранном ими направлении деятельности.

  • Дистанционное обучение
  • Институтские кафедры и департаменты
  • Преподаватели
  • Базовые и факультетские кафедры
  • Абитуриентам и школьникам
  • Иностранным гражданам
  • Повышение квалификации
  • Диссертационные советы
  • Совместные программы
  • Аспирантура
• Наука и инновации
  

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

  • Лаборатории и научные центры
  • Центр коллективного пользования
  • Сопровождение научной деятельности
  • Визит-профессора МФТИ
  • Проект 5—100
  • Гранты и конкурсы
  • Программы развития
  • ФИП
  • Отдел по интеллектуальной собственности
  • Научно-технический совет
  • Конференции
  • Научные журналы МФТИ
  • База научных статей
  • Результаты интеллектуальной деятельности
  • Всероссийский конкурс научно-популярной журналистики «Импульс»
  • Экспертно-консультационная поддержка по вопросам внедрения программ развития
• Новости науки

Математическая логика и теория алгоритмов (осень 2018)

• Новости курса в Телеграме (канал)
• Обсуждение курса в Телеграме (чат)
• Видеолекции (осень 2014)

Конспекты лекций (выкладываются по мере написания)

1. Формальные языки
2. Пропозициональные формулы и булевы функции
3. Исчисление высказываний
4. Метод резолюций

Задачи с семинаров и для самостоятельного решения, избранные решения

1. Формальные языки: условия, условия и решения
2. Пропозициональные формулы: условия, условия и решения
3. Булевы функции: условия, условия и решения
4. Исчисление высказываний: условия, условия и решения
5. Теорема о компактности: условия, условия и решения
6. Метод резолюций: условия, условия и решения

Контрольные работы

Таблица с результатами контрольных работ

1. К/р 26.09: тренировочный вариант, основной вариант
2. К/р 10.10: тренировочный вариант, основной вариант, дополнительные задачи
3. К/р 24.10: тренировочный вариант