City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лекция 1. О доказательствах в теоретической информатике
Introduction to Theoretical Computer Science

What: Lecture
When: Monday, 14 September 2020, 18:30–19:50
Where: Конференция в zoom, Онлайн

Description

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

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

Video

Other materials

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