Матлогика 1. Теория формальных языков.

Описание к видео Матлогика 1. Теория формальных языков.

00:07 начало вводной части
13:32 теорема о корректности
28:07 конец вводной части
28:51 начало лекции
31:32 цепочка определений (символ, алфавит, слово, язык)
42:12 отношения
50:42 операции над языками
01:09:46 правильные алгебраические выражения
01:11:47 теорема
01:12:53 лемма

Почитать:
Трилогия Шень
Верещагин "Лекции по мат логике и теории алгоритмов" (1.Начала теории множеств; 2.Языки и исчисления; 3.Вычислимые функции.) + https://t.me/diht_logic (там будут лекции) = неглубокое изучение.
Лекции Дашкова (Мат. логика пмф).

Авторы: Клини, Чёрн, Мендельсон.

Комментарии

Информация по комментариям в разработке

Похожие видео