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