[Допсем] Матлогика 1. Основы формальных языков

(3:22:32)

[Допсем] Матлогика 5. Метод резолюций

(1:41:40)

[Допсем] Матлогика 4. Исчисление высказываний

(1:37:40)

[Допсем] Матлогика 1. Основы формальных языков

(1:36:15)

[Допсем] Матлогика 3. Булевы функции. Критерий Поста

(1:49:34)

Топ задач на логику. Решаем вместе с математиком

(13:29)

Топ задач на логику. Решаем вместе с математиком!

(15:28)

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

(7:43)

30+ простых загадок для любителей математики

(15:11)

Логика — Принципы математического мышления — уровень 2 из 5

(20:34)

Математика и интуиция - Алексей Семихатов

(12:28)

Логика. Основы Логики. Логическое Мышление

(18:42)

Теория множеств: логика, формализм и кризис

(47:36)

Матан за час. Шпаргалка для первокурсника. Высшая математика

(55:20)

Простые Математические Игры, или Насколько вы Хороши в Математике?

(11:4)

[Допсем] Матлогика 4. Исчисление высказываний

(2:14:11)

[Допсем] Матлогика 2. Пропозициональные формулы

(2:15:23)

[Допсем] Матлогика 2. Пропозициональные формулы

(3:9:15)

[Допсем] Матлогика 9. Порядки

(2:29:20)

[Допсем] Матлогика 14. Вычислимые функции. Арифметическая иерархия.

(2:6:40)

[Допсем] Матлогика 15. Лямбда исчисление.

(2:10:30)

[Допсем] Матлогика 12. Машины Тьюринга

(1:26:45)

[Допсем] Матлогика 3. Булевы функции

(3:12:6)

[Допсем] Матлогика 6. Языки первого порядка

(3:6:6)

Артем Пиманов//Семантика переходов как подход к проблеме детерминизма в логике ветвящегося времени

(1:28:1econd)

[Допсем] Матлогика 10. Ординалы

(1:48:30)