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

3 months ago 03:22:31 20

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

3 months ago 03:09:14 2

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

3 months ago 03:12:05 3

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

3 months ago 02:14:10 1

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

3 months ago 01:55:03 1

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

3 months ago 03:06:05 1

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

3 months ago 01:51:25 1

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

3 months ago 02:02:41 2

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

3 months ago 02:29:20 1

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

3 months ago 01:48:29 1

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

3 months ago 02:01:04 1

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

3 months ago 01:26:44 1

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

3 months ago 01:11:15 1

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

3 months ago 02:06:39 1

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

3 months ago 02:10:29 1

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