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

2 months ago 03:22:31 20

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

2 months ago 03:09:14 2

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

2 months ago 03:12:05 3

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

2 months ago 02:14:10 1

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

2 months ago 01:55:03 1

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

2 months ago 03:06:05 1

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

2 months ago 01:51:25 1

[Допсем] Матлогика 7. Выразимость предикатов

2 months ago 02:02:41 2

[Допсем] Матлогика 8. Исчисление предикатов

2 months ago 02:29:20 1

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

2 months ago 01:48:29 1

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

2 months ago 02:01:04 1

[Допсем] Матлогика 11. Мощность. Лемма Цорна

2 months ago 01:26:44 1

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

2 months ago 01:11:15 1

[Допсем] Матлогика 13. Разрешимость и перечеслимость множеств

2 months ago 02:06:39 1

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

2 months ago 02:10:29 1

[Допсем] Матлогика 15. Финал