У вас уже есть заявка на текущий период.
Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия".
Или создайте заявку на другой период.
24.02.2016 - 15.06.2016 Уточните расписание у организатора. Возможно он не успел обновить расписание.
Форма обучения:
Online
Вид мероприятия:
Видеокурс
Целевая аудитория
Студенты младших курсов.
Преподаватель
Александр Шень
Анонс программы
Теоретическая информатика - раздел математики, связанный с логикой, алгоритмами, сложностью: там много несложных, но важных результатов, о некоторых мы попробуем рассказать.
Описание программы
Разрешающие деревья
Схемы из функциональных элементов
Пропозициональная логика
Вычислимость
Программы и универсальные функции
Машины Тьюринга
Ассоциативные исчисления
Переборные задачи и их сложность
Ускорение перебора
Конечные автоматы
Контекстно-свободные языки
Игры
Коды
Коммуникационная сложность
Ликбез по арифметике: числа, остатки, алгоритм Евклида
Криптография
Интерактивные доказательства
Правила Хоара
Продолжительность: 18 модулей
Сертификат: Computer science центр
Разрешающие деревья
Схемы из функциональных элементов
Пропозициональная логика
Вычислимость
Программы и универсальные функции
Машины Тьюринга
Ассоциативные исчисления
Переборные задачи и их сложность
Ускорение перебора
Конечные автоматы
Контекстно-свободные языки
Игры
Коды
Коммуникационная сложность
Ликбез по арифметике: числа, остатки, алгоритм Евклида