filmov
tv
МатЛог #1 | Исчисление высказываний
Показать описание
Содержание:
1. Немного об истории вопроса
2. Язык исчисления высказываний
3. Оценка высказываний
4. Общезначимость, следование, выполнимость
5. Доказательство высказываний, выводимость
6. Теорема о дедукции
1:30:10
0:29:00
1:29:50
1:30:55
1:46:08
0:37:42
1:14:41
0:29:21
1:20:45
1:14:57
1:26:33
1:21:52
1:18:51
0:37:26
0:52:21
1:09:50
1:01:19
0:15:56
1:11:04
1:08:26
0:42:03
1:21:12
1:07:57
1:18:37