Матлогика 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
(там будут лекции) = неглубокое изучение. Лекции Дашкова (Мат. логика пмф). Авторы: Клини, Чёрн, Мендельсон.