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
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: • Математическая логика ...