Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
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.Вычислимые функции.) + (там будут лекции) = неглубокое изучение. Лекции Дашкова (Мат. логика пмф). Авторы: Клини, Чёрн, Мендельсон.
