Яворская Т.Л. - Математическая логика - 14. Временная логика

0:00:19 1. Язык с двумя модальностями необходимости 0:06:37 2. Пример 1 0:11:03 3. Пример 2 0:16:17 4. Минимальная временная логика 0:27:39 5. Формулы и свойства шкал 1:14:57 6. Логика since Ссылки плейлист: