Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Лекция 1. О доказательствах в теоретической информатике
Обзорный курс по теоретической информатике

Что: Лекция
Когда: Понедельник, 14 сентября 2020, 18:30–19:50
Где: Конференция в zoom, Онлайн

Описание

Первая часть лекции соответствовала этой статье: https://habr.com/ru/company/JetBrains-education/blog/217215/.

Во второй части лекции мы рассмотрели понятия разрешимых языков, и обсудили эквивалентные определения перечислимых языков: полуразрешимые языки и языки для которых есть системы доказательств. Доказали теорему Поста. Построили пример неразрешимого перечислимого языка.

Видео

Другие материалы

Текущая версия конспекта.