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

00:00:00 - Введение + зачем изучать матлогику 00:07:00 - Синтаксис и семантика 00:11:18 - Синтаксис формальных языков 00:17:24 - Конкатенация слов 00:26:49 - Отношения на словах 00:48:57 - Операции над языками 00:57:34 - Замыкание/плюс Клини 01:03:59 - ПСП (правильные скобочные последовательности) Дата лекции: 06.09.23 Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvap4WZdKoNvmJYxDZgGmkhc