Линейная темпоральная логика. Синтаксис
8:01
ВременнАя логика
14:28
Формальная логика — школьный курс
6:05
CTL - логика ветвящегося времени
8:32
Andrew Wiles - What does it feel like to do maths?
1:20:50
Алгоритмы на Python 3. Лекция №1
7:43
Самый короткий тест на интеллект Задача Массачусетского профессора
27:32
How to Read Logic
15:41