[Udemy] Введение в компьютерную логику (2022)
File List
- Раздел 8 Оптимизация логических функций/41- Диаграмма Вейча.mp4 174.3 MB
- Раздел 8 Оптимизация логических функций/40- Карты Карно.mp4 173.5 MB
- Раздел 8 Оптимизация логических функций/43- Метод Куайна.mp4 156.3 MB
- Раздел 7 Логические функции/38- Практический пример использования булевых функций.mp4 151.8 MB
- Раздел 8 Оптимизация логических функций/42- Метод неопределённых коэффициентов.mp4 150.9 MB
- Раздел 7 Логические функции/31- Логическая функция.mp4 144.4 MB
- Раздел 5 Формальные системы/24- Теоремы Гёделя о неполноте.mp4 140.8 MB
- Раздел 5 Формальные системы/23- Формальные системы.mp4 139.4 MB
- Раздел 7 Логические функции/37- Для чего нужны СДНФ_СКНФ.mp4 136.4 MB
- Раздел 8 Оптимизация логических функций/44- Метод Куайна — МакКласки.mp4 134.1 MB
- Раздел 5 Формальные системы/25- Диагонализация Кантора.mp4 129.5 MB
- Раздел 6 Исчисление предикатов первого порядка/26- Исчисление предикатов первого порядка.mp4 119.1 MB
- Раздел 6 Исчисление предикатов первого порядка/30- Язык программирования ПРОЛОГ.mp4 108.1 MB
- Раздел 7 Логические функции/35- Преобразование функции в СДНФ.mp4 106.7 MB
- Раздел 8 Оптимизация логических функций/39- Обзор методов оптимизации булевых функций.mp4 101.6 MB
- Раздел 3 Троичные и многозначные логики/15- Импликация в троичной логике.mp4 98.5 MB
- Раздел 7 Логические функции/34- СДНФ и СКНФ.mp4 98.3 MB
- Раздел 7 Логические функции/36- Преобразование функции в СКНФ.mp4 96.7 MB
- Раздел 4 Логика и логический вывод/21- Правило резолюций.mp4 88.3 MB
- Раздел 3 Троичные и многозначные логики/16- Многозначные логики Лукасевича.mp4 85.9 MB
- Раздел 2 Логические операции и пропозициональные выражения/8- Важные логические операции.mp4 82.9 MB
- Раздел 3 Троичные и многозначные логики/14- Троичная логика.mp4 81.1 MB
- Раздел 4 Логика и логический вывод/20- Логический вывод.mp4 81.1 MB
- Раздел 9 Бонус о вычислительных системах/45- Логические вентили из людей.mp4 79.9 MB
- Раздел 3 Троичные и многозначные логики/17- Многозначная логика Поста.mp4 79.6 MB
- Раздел 6 Исчисление предикатов первого порядка/28- Законы отрицания кванторов.mp4 77.9 MB
- Раздел 1 Введение в формальную логику/6- Перевод чисел из двоичной системы в десятичную и обратно.mp4 77.2 MB
- Раздел 4 Логика и логический вывод/22- Автоматическое доказательство теорем.mp4 77.0 MB
- Раздел 6 Исчисление предикатов первого порядка/27- Кванторы всеобщности и существования.mp4 75.9 MB
- Раздел 6 Исчисление предикатов первого порядка/29- Связанные и свободные переменные.mp4 72.6 MB
- Раздел 7 Логические функции/32- Функциональный базис.mp4 71.4 MB
- Раздел 4 Логика и логический вывод/18- Что такое продукция.mp4 70.2 MB
- Раздел 2 Логические операции и пропозициональные выражения/12- Что такое тавтология.mp4 69.9 MB
- Раздел 1 Введение в формальную логику/5- Двоичная система счисления.mp4 64.0 MB
- Раздел 2 Логические операции и пропозициональные выражения/9- Некоторые свойства логических операций.mp4 57.8 MB
- Раздел 7 Логические функции/33- Конъюнктивная и дизъюнктивная нормальные формы.mp4 56.9 MB
- Раздел 1 Введение в формальную логику/2- Виды логик.mp4 56.6 MB
- Раздел 2 Логические операции и пропозициональные выражения/13- Правила де Моргана.mp4 54.6 MB
- Раздел 4 Логика и логический вывод/19- Хорновские выражения.mp4 53.9 MB
- Раздел 2 Логические операции и пропозициональные выражения/10- Диаграммы логических выражений.mp4 52.5 MB
- Раздел 2 Логические операции и пропозициональные выражения/7- Логические операции и их таблицы истинности.mp4 51.1 MB
- Раздел 2 Логические операции и пропозициональные выражения/11- Пропозициональные выражения.mp4 48.0 MB
- Раздел 1 Введение в формальную логику/4- Диаграммы Венна.mp4 43.9 MB
- Раздел 1 Введение в формальную логику/3- Наивная теория множеств.mp4 18.1 MB
- Раздел 1 Введение в формальную логику/1- Основание логического подхода к ИИ.mp4 15.4 MB
Download Torrent
Related Resources
- У Ч Е Н И К Ч А Р О Д Е Я 2.2 GB
- Мы наш, мы новый мир построим [Гуляева Н.И., Не... 34.0 MB
- Аллахвердов В.М., Агафонов А.Ю., Вишнякова Е.А.... 24.7 MB
- Поляхова Е.Н. - Небесная механика в трудах русс... 6.0 MB
- Бараненко А.В., Куцакова В.Е., Борзенко Е.И., Ф... 11.5 MB
- Майкова-Строганова В. С., Рохлин Д. Г. - Кости... 103.1 MB
- Козлов В.В., Трещев Д.В. - Биллиарды. Генетичес... 1.9 MB
- Море - Время Вечно… (2024) 130.7 MB
- Романова Н.И. Чекулаев П.Г., Дусев В.И., Лившиц... 3.0 MB
- А.В.Каплан, В.Е.Каплан, М.В.Мащенко, Е.В.Овечки... 20.2 MB
Copyright Infringement
If the content above is not authorized, please contact us via activebusinesscommunication[AT]gmail.com. Remember to include the full url in your complaint.