Математическая логика и теория алгоритмов 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
Лектор: Мусатов Даниил Владимирович

Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван

Плейлист:    • Математическая логика и теория алгоритмов ...