• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2022/2023

Теория вычислений

Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»
Направление: 01.03.02. Прикладная математика и информатика
Когда читается: 3-й курс, 1, 2 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для своего кампуса
Преподаватели: Баувенс Бруно Фредерик Л., Захаров Павел Александрович, Таламбуца Алексей Леонидович
Язык: английский
Кредиты: 5
Контактные часы: 60

Course Syllabus

Abstract

This course teaches a mathematical theory that helps to invent better algorithms. With “better” we mean that the algorithms use fewer resources such as time or memory. We also consider parallel computation, distributed systems and learning problems. In these settings we might also optimize other types of resources. For example, in distributed systems we might want to minimize the amount of communication. We focuss on worst case guarantees. A large part of our time is devoted to the study of what is not possible. In other words, we study fundamental barriers for the existence of programs that use fewer resources than a given bound.
Learning Objectives

Learning Objectives

  • understand the concepts of the complexity classes P, NP, coNP, #P, EXP, NEXP, L, NL, PSPACE, EXPSPACE, BPP, RP
  • be able to critically analyse resources used by a program (and optimize them at a high level)
  • be able to recognize intractable problems and categorize their difficulty
  • be able to recognize intractable problems and categorize their difficulty
  • have deeper understanding and trained problem solving skills of known materials in: algebra, probability theory, discrete math, algorithms
Expected Learning Outcomes

Expected Learning Outcomes

  • Understand Turing machines, multitape Turing machines, connection between them
  • Work properly with examples of NP-complete problems
  • Recognize space complexity, classes L, NL, PSPACE and NPSPACE and inclusions between P, NP, and PSPACE.
Assessment Elements

Assessment Elements

  • non-blocking HW
  • non-blocking Colloquium
  • non-blocking Exam
Interim Assessment

Interim Assessment

  • 2022/2023 2nd module
    0.3 * Exam + 0.35 * Colloquium + 0.35 * HW