0 09:19 Введение в компьютерную логику (2022). Раздел 4 Логика и логический вывод. 22- Автоматическое доказательство теорем darkspectre 26.08.2022 6 0
0 10:09 Введение в компьютерную логику (2022). Раздел 4 Логика и логический вывод. 21- Правило резолюций darkspectre 26.08.2022 7 0
0 09:03 Введение в компьютерную логику (2022). Раздел 4 Логика и логический вывод. 20- Логический вывод darkspectre 26.08.2022 7 0
0 07:21 Введение в компьютерную логику (2022). Раздел 4 Логика и логический вывод. 19- Хорновские выражения darkspectre 26.08.2022 8 0
0 08:29 Введение в компьютерную логику (2022). Раздел 4 Логика и логический вывод. 18- Что такое продукция darkspectre 26.08.2022 7 0
0 07:58 Введение в компьютерную логику (2022). Раздел 3 Троичные и многозначные логики. 17- Многозначная логика Поста darkspectre 26.08.2022 8 0
0 09:12 Введение в компьютерную логику (2022). Раздел 3 Троичные и многозначные логики. 16- Многозначные логики Лукасевича darkspectre 26.08.2022 10 0
0 12:36 Введение в компьютерную логику (2022). Раздел 3 Троичные и многозначные логики. 15- Импликация в троичной логике darkspectre 26.08.2022 10 0
0 11:53 Введение в компьютерную логику (2022). Раздел 3 Троичные и многозначные логики. 14- Троичная логика darkspectre 26.08.2022 11 0
0 06:56 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 13- Правила де Моргана darkspectre 26.08.2022 12 0
0 07:40 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 12- Что такое тавтология darkspectre 26.08.2022 10 0
0 06:15 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 11- Пропозициональные выражения darkspectre 26.08.2022 11 0
0 06:32 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 10- Диаграммы логических выражений darkspectre 26.08.2022 9 0
0 07:09 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 9- Некоторые свойства логических операций darkspectre 26.08.2022 9 0
0 10:09 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 8- Важные логические операции darkspectre 26.08.2022 18 0
0 06:36 Введение в компьютерную логику (2022). Раздел 2 Логические операции и пропозициональные выражения. 7- Логические операции и их таблицы истинности darkspectre 26.08.2022 16 0
0 09:43 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 6- Перевод чисел из двоичной системы в десятичную и обратно darkspectre 26.08.2022 17 0
0 08:10 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 5- Двоичная система счисления darkspectre 26.08.2022 14 0
0 04:54 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 4- Диаграммы Венна darkspectre 26.08.2022 12 0
0 04:56 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 3- Наивная теория множеств darkspectre 26.08.2022 14 0
0 07:44 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 2- Виды логик darkspectre 26.08.2022 15 0
0 06:21 Введение в компьютерную логику (2022). Раздел 1 Введение в формальную логику. 1- Основание логического подхода к ИИ darkspectre 26.08.2022 17 0
