|
Please note that this page does not hosts or makes available any of the listed filenames. You
cannot download any of those files from here.
|
| 10- Диаграммы логических выражений.mp4 |
52.51MB |
| 11- Пропозициональные выражения.mp4 |
47.96MB |
| 12- Что такое тавтология.mp4 |
69.87MB |
| 13- Правила де Моргана.mp4 |
54.62MB |
| 14- Троичная логика.mp4 |
81.11MB |
| 15- Импликация в троичной логике.mp4 |
98.50MB |
| 16- Многозначные логики Лукасевича.mp4 |
85.88MB |
| 17- Многозначная логика Поста.mp4 |
79.62MB |
| 18- Что такое продукция.mp4 |
70.24MB |
| 19- Хорновские выражения.mp4 |
53.91MB |
| 1- Основание логического подхода к ИИ.mp4 |
15.43MB |
| 20- Логический вывод.mp4 |
81.11MB |
| 21- Правило резолюций.mp4 |
88.31MB |
| 22- Автоматическое доказательство теорем.mp4 |
76.98MB |
| 23- Формальные системы.mp4 |
139.43MB |
| 24- Теоремы Гёделя о неполноте.mp4 |
140.82MB |
| 25- Диагонализация Кантора.mp4 |
129.55MB |
| 26- Исчисление предикатов первого порядка.mp4 |
119.13MB |
| 27- Кванторы всеобщности и существования.mp4 |
75.88MB |
| 28- Законы отрицания кванторов.mp4 |
77.86MB |
| 29- Связанные и свободные переменные.mp4 |
72.57MB |
| 2- Виды логик.mp4 |
56.60MB |
| 30- Язык программирования ПРОЛОГ.mp4 |
108.06MB |
| 31- Логическая функция.mp4 |
144.36MB |
| 32- Функциональный базис.mp4 |
71.41MB |
| 33- Конъюнктивная и дизъюнктивная нормальные формы.mp4 |
56.94MB |
| 34- СДНФ и СКНФ.mp4 |
98.27MB |
| 35- Преобразование функции в СДНФ.mp4 |
106.69MB |
| 36- Преобразование функции в СКНФ.mp4 |
96.73MB |
| 37- Для чего нужны СДНФ_СКНФ.mp4 |
136.37MB |
| 38- Практический пример использования булевых функций.mp4 |
151.81MB |
| 39- Обзор методов оптимизации булевых функций.mp4 |
101.63MB |
| 3- Наивная теория множеств.mp4 |
18.05MB |
| 40- Карты Карно.mp4 |
173.48MB |
| 41- Диаграмма Вейча.mp4 |
174.32MB |
| 42- Метод неопределённых коэффициентов.mp4 |
150.89MB |
| 43- Метод Куайна.mp4 |
156.32MB |
| 44- Метод Куайна — МакКласки.mp4 |
134.11MB |
| 45- Логические вентили из людей.mp4 |
79.92MB |
| 4- Диаграммы Венна.mp4 |
43.88MB |
| 5- Двоичная система счисления.mp4 |
63.97MB |
| 6- Перевод чисел из двоичной системы в десятичную и обратно.mp4 |
77.15MB |
| 7- Логические операции и их таблицы истинности.mp4 |
51.07MB |
| 8- Важные логические операции.mp4 |
82.89MB |
| 9- Некоторые свойства логических операций.mp4 |
57.77MB |