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

preview_player
Показать описание
Дата семинара: 15.09.2024
Семинарист: Савельев Егор

Монтажер: Андреев Я.

  1. Лекторий ФПМИ
Рекомендации по теме
[Допсем] Матлогика 1. 1:36:15

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

[Допсем] Матлогика 1. 3:22:32

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

[Допсем] Матлогика 2. 3:09:15

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

[Допсем] Матлогика 4. 2:14:11

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

Матлогика 14.02 - 1:31:12

Матлогика 14.02 - ВУМы

Матлогика [дополнительный семинар] 0:36:35

Матлогика [дополнительный семинар] Разбор задач тестового варианта...

Доп. семинары по 2:23:07

Доп. семинары по матлогике. Подготовка к первой контрольной...

Математическая логика и 1:26:33

Математическая логика и теория алгоритмов 6. Исчисление высказываний...

[Допсем] Матлогика 8. 2:02:42

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

Математическая логика и 1:16:34

Математическая логика и теория алгоритмов 8. Теорема о компактности...

Исчисление высказываний (ИВ) 0:35:26

Исчисление высказываний (ИВ)

Матлогика 26. Теоремы 1:16:56

Матлогика 26. Теоремы о корректности, полноте и компактности...

Доп. семинар по 1:53:54

Доп. семинар по ОКТЧ

Доп. семинар по 2:25:24

Доп. семинар по матлогу. 24.11.2019

Доп. семинар по 1:25:58

Доп. семинар по матлогике, 24.04

Математическая логика и 1:18:10

Математическая логика и теория алгоритмов 7. Теорема о полноте исчисления высказываний...

ОКТЧ 1. Пары, 1:14:40

ОКТЧ 1. Пары, кортежи. Отображения.

2. Исчисление высказываний 0:37:42

2. Исчисление высказываний

[Допсем] ОКТЧ 2. 3:33:35

[Допсем] ОКТЧ 2. Бинарные отношения. Мощности множеств.

Математическая логика и 1:14:18

Математическая логика и теория алгоритмов 4. Замыкание. Замкнутые классы...

АиСД 3 семестр 2:48:31

АиСД 3 семестр (семинары) 9

ОКТЧ 5. Отношения 1:16:36

ОКТЧ 5. Отношения порядка.

ОКТЧ 2. Мощности 1:10:44

ОКТЧ 2. Мощности множеств, теорема Кантора-Бернштейна.

22. Умножение ординалов 0:50:26

22. Умножение ординалов

Комментарии
Автор

егор савельев самый лучший преподаватель в

полинка-ць