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

звук в некоторых моментах оставляет желать лучшего, простите Таймкоды: 00:00:00 - книги и органзационные моменты по мат.логике 00:03:43 - зачем нужно учить матлогику 00:09:40 - семантика и синтаксис 00:15:01 - алфавит, язык, слова 00:20:30 - операции над словами 00:24:55 - отношения на словах 00:30:55 - операции над языками 00:40:35 - итерация (звезда Клини) и плюс Клини 00:44:20 - множества слов 00:52:30 - правильные скобочные последовательности, определения 00:59:20 - пример разбора ПСП 01:01:01 - определение скобочного баланса Дата лекции: 04.09.24 Лектор: Мусатов Даниил Владимирович Оператор: Давид Чайлахян Монтажёр: Екатерина Мелешко