Теория сложности доказательств. Лекция 1
Введение
На первой лекции будут даны основные определения и рассмотрены примеры систем доказательств. Для понимания курса полезно (но не обязательно!) знание базовых определений теории вычислимости и сложности: машина Тьюринга, (не)вычислимость, класс NP, сводимости между вычислительными задачами: если Вы с ними когда-то познакомились, освежите свои знания перед первой лекцией.
Страница лекции на сайте Computer Science клуба
АвторЭдуард Гирш
ОрганизаторComputer Science клуб при ПОМИ РАН
Лекции курса
7Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный