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

Uploaded By: Myvideo

Published on

23 Oct 2024

1 view

0

0 votes

0

About Share Download Add to

Дата семинара: Семинарист: Савельев Егор Монтажер: Кобзев А. Таймкоды: 00:00 начало 17:00 теорема о корректности и полноте 19:00 лемма о дедукции 23:30 задача 25 33:20 задача 26 39:05 возращаемся к 25.д 40:00 возвращаемся к 26 46:30 задача 27 01:11:30 задача 32 01:21:00 задача 33

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/V0dEa0hya0puSnFLZHMzaFNlblFyRWNnQTBWTGR1STZjOUhZN2NYWGhVUT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

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

3 hours ago

01:37:40

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

1 73%

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

2 months ago

03:22:31

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

66 17%

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

2 months ago

03:09:14

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

90 75%

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

2 months ago

03:12:05

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

86 24%

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

2 months ago

01:55:03

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

5 91%

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

2 months ago

03:06:05

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

6 91%

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

2 months ago

01:51:25

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

1 27%

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

2 months ago

02:02:41

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

6 33%

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

2 months ago

02:29:20

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

10 79%

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

2 months ago

01:48:29

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

3 42%

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

2 months ago

02:01:04

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

2 90%

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

2 months ago

01:26:44

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

11 39%

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

2 months ago

01:11:15

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

1 25%

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

2 months ago

02:06:39

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

2 52%

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

2 months ago

02:10:29

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

4 27%

0 Comments

Guest