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