Concept
Logique d'ordre supérieur
Séances de cours associées (31)
Représentation des connaissances : Introduction
Couvre la représentation des connaissances dans l'IA, l'inférence logique et les applications dans divers domaines.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la logique de premier ordre, les preuves de résolution, les fonctions Skolem et la vérification de la satisfaction en mathématiques et la vérification de programme.
La logique des prédicats : les équivalences, les négations et les lois de De Morgan
Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.
Chiffres d'église et conditionnels
Explore les chiffres de l'église et encode les conditionnels en lambda calcul.
Modèles de termes pour la logique de la première commande
Explore les modèles de termes, les sous-structures, les théorèmes de petits modèles et le modèle Herbrand en logique de premier ordre.
Prédicat Logique: Traduire le langage naturel en logique
Couvre la traduction des phrases en langage naturel en logique de prédicat et l'importance de l'ordre des quantificateurs.
Systèmes de règles, simulations et mondes parallèles
Plongez dans les systèmes de règles, les simulations et les mondes parallèles, en explorant Prolog, les algorithmes de retour en arrière, la complexité logique, la simulation Game of Life et le concept de Simulats.
Hoare Logic: Postcondition la plus forte et précondition la plus faible
Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.
Logique du prédicat : Quantificateurs imbriqués
Explore les quantificateurs imbriqués dans la logique et leur traduction en langage naturel et en énoncés mathématiques.