EMBER_CLI_FASTBOOT_BODY

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

The course meets the formal recommendations of Stepik
Video Player is loading.
Current Time 0:00
/
Duration 0:00
Loaded: 0%
Progress: 0%
Stream Type LIVE
Remaining Time -0:00
 
1x
Play
To watch this video please visit https://stepik.org/lesson//step/

About the course

Слова «теоретическая информатика», а особенно их английский вариант (“theoretical computer science”), звучат странно — как «сухое плавание». Но в них есть смысл, причём не только для теоретиков: абстрактные конструкции и математические результаты, если они хорошо поняты, в нужный момент могут натолкнуть на решение вполне практической задачи.

Мы попытались отобрать простые и одновременно важные понятия и результаты, которые могут вам пригодиться. Некоторые из них совсем практические (скажем, инварианты циклов, коды с исправлением ошибок или криптографические протоколы), другие скорее указывают границы возможностей (скажем, результаты об алгоритмической неразрешимости или NP-полноте). Разделы достаточно независимы, так что если что-то не понравилось или показалось непонятным, можно идти дальше.

По большей части мы не используем сложной математики (а базовые результаты про целые числа мы напоминаем) и каких-то конкретных программистских навыков, но, конечно, некоторая математическая грамотность и программистский опыт не повредят.

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

Instructors

  1. User picture
    Александр Шень
    ЦССМШ -- Вторая школа -- мехмат МГУ -- аспирантура кафедры логики (В.А.Успенский) -- ИППИ РАН, LIF Marseille, LIRMM Montpellier (CNRS)
    www.lirmm.fr/~ashen

Reviews

Прекрасный курс и отличный преподаватель. Единственное, от чего досадно - малое число слушателей. Для оценки своего решения иногда надо ждать год и более.
Anonymous 15023239 October 30, 2017 link
4
Познавательный курс, помогает, например, готовиться к кандидатскому минимуму по спец. 01.01.09 (не заменяет, конечно, классические учебники, но дополняет и облегчает вхождение в сложные темы). Рассказан интересно и понятным языком, без зубодробительных формализмов. Из минусов: во-первых, некоторые темы раскрыты ну очень кратко, а то и почти никак - например, теория игр; во-вторых, слишком много заданий с рецензией, которые никто не проверяет из-за малого на данный момент числа слушателей. Надеюсь, минусы будут устранены в новом, переделанном варианте курса - авторы обещают разбить его на несколько более маленьких курсов и дополнить новой информацией и задачами. Удачи авторам!
Достаточно интересно, профессиональный курс. Но Показалось очень много интерактива (сдача решения на проверку другим ученикам и преподавателю): проверка затягивается, рецензии идут по месяцу - баллов не хватает на получение сертификата (про "с отличием" молчу вообще). Темы интересны, с точки зрения подачи материала - неплохо, информативно
Video Player is loading.
Current Time 0:00
/
Duration 0:00
Loaded: 0%
Progress: 0%
Stream Type LIVE
Remaining Time -0:00
 
1x
Play
To watch this video please visit https://stepik.org/lesson//step/
4.5 All reviews

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

Expected time to complete:
36 hours
Language:
Русский
Certificate:
Computer Science центр
Certificate details
Certificate condition: 100 points
With distinction: 200 points

About the course

Слова «теоретическая информатика», а особенно их английский вариант (“theoretical computer science”), звучат странно — как «сухое плавание». Но в них есть смысл, причём не только для теоретиков: абстрактные конструкции и математические результаты, если они хорошо поняты, в нужный момент могут натолкнуть на решение вполне практической задачи.

Мы попытались отобрать простые и одновременно важные понятия и результаты, которые могут вам пригодиться. Некоторые из них совсем практические (скажем, инварианты циклов, коды с исправлением ошибок или криптографические протоколы), другие скорее указывают границы возможностей (скажем, результаты об алгоритмической неразрешимости или NP-полноте). Разделы достаточно независимы, так что если что-то не понравилось или показалось непонятным, можно идти дальше.

По большей части мы не используем сложной математики (а базовые результаты про целые числа мы напоминаем) и каких-то конкретных программистских навыков, но, конечно, некоторая математическая грамотность и программистский опыт не повредят.

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

Requirements

По большей части мы не используем сложной математики (а базовые результаты про целые числа мы напоминаем) и каких-то конкретных программистских навыков, но, конечно, некоторая математическая грамотность и программистский опыт не повредят.

Target audience

студенты младших курсов

This course is entirely free. All content is available now.