Введення в комп'ютерну логіку

Курс "Введення в комп'ютерну логіку" допоможе студентам технічних вузів зануритися в світ формальної логіки в різних її аспектах, включаючи ісчислення предикатів першого порядку та його програмну реалізацію мову програмування Пролог. Основні теми курсу: основи логічного підходу до ШІ, види логік, логічні операції та їх таблиці істинності, наївна теорія множин, діаграми Венна, двійкова система числення, важливі логічні операції, діаграми логічних виразів, пропозиційні вирази, функціональний базис, кон'юнктивна та диз'юнктивна нормальні форми, тавтологія, логічний вивід, продукція, троїчна логіка, імплікація в троїчній логіці, многозначні логіки Лукасевича, правило резолюцій, автоматичне доведення теорем, формальні системи, теореми Геделя про неповноту, діагоналізація Кантора, ісчислення предикатів першого порядку, квантори всезагальності та існування, закони заперечення кванторів, зв'язані та вільні змінні, мова програмування ПРОЛОГ, логічні вентилі з людей, многозначна логіка Поста. Курс не вимагає навичок програмування, але бажано мати розуміння основ лінійної алгебри та основ двійкової логіки.

• Основи логічного підходу до ШІ
• Види логік
• Логічні операції та їх таблиці істинності
• Наївна теорія множин
• Діаграми Венна
• Двійкова система числення
• Важливі логічні операції
• Діаграми логічних виразів
• Пропозиційні вирази
• Функціональний базис
• Кон'юнктивна та диз'юнктивна нормальні форми
• Тавтологія
• Логічний вивід
• Продукція
• Троїчна логіка
• Імплікація в троїчній логіці
• Многозначні логіки Лукасевича
• Правило резолюцій
• Автоматичне доведення теорем
• Формальні системи
• Теореми Геделя про неповноту
• Діагоналізація Кантора
• Ісчислення предикатів першого порядку
• Квантори всезагальності та існування
• Закони заперечення кванторів
• Зв'язані та вільні змінні
• Мова програмування ПРОЛОГ
• Логічні вентилі з людей
• Многозначна логіка Поста

Курс призначений для студентів технічних вузів, а також для всіх, хто цікавиться комп'ютерною логікою та іскусственним інтелектом. Для успішного проходження курсу необхідно мати розуміння основ двійкової логіки та основ логік іншого типу, а також уміти оптимізувати двійкові функції.

Гарантия возврата денег — 30 дней

7,5 видео по запросу Полный пожизненный доступ Доступ через мобильные устройства и телевизор Сертификат об окончании

Мы делимся знаниями с миром

Улучшение жизни через обучение

Если вы хотите узнать или поделиться тем, что вы знаете, вы попали в нужное место. Являясь глобальным центром онлайн-обучения, мы объединяем людей с помощью знаний.

Мы помогаем организациям всех типов и размеров подготовиться к предстоящему пути — куда бы он ни привел. Наша подборка бизнес-курсов и технических курсов помогает компаниям, правительствам и некоммерческим организациям идти дальше, ставя обучение в центр своих стратегий.