14:28

Формальная логика — школьный курс

54:54

Формальная Верификация кода

8:01

ВременнАя логика

8:22

EXEMPLOS NÃO SÃO DEMONSTRAÇÕES - Ledo Vaccaro

22:21

Why do prime numbers make these spirals? | Dirichlet’s theorem and pi approximations

6:05

CTL - логика ветвящегося времени

7:43

Самый короткий тест на интеллект Задача Массачусетского профессора

3:25:28

50 obras-primas da música clássica para relaxamento e alma | Beethoven, Mozart, Chopin, Bach, Vivald