Université de Lille

Chapitres

    • Exemple
    • Stratégie de victoire
    • Règle intuitionniste

    Licence Creative Commons L2 Logique_Exemple dialogue predicats.mp4

    30 mars 2023
    00:11:03
    Nombre de vues 16
    Nombre d’ajouts dans une liste de lecture 0
    Nombre de favoris 0

    Un exercice commenté de résolution de dialogue en logique des prédicats, avec détermination d'une stratégie de victoire, avec et sans la règle intuitionniste.

    Mots clés : logique

    • Ajouté par : Zoe Mcconaughey (zoe.mc-conaughey)
    • Intervenant(s) :
    • Mis à jour le : 30 mars 2023 17:01
    • Type : Exercice
    • Langue principale : Français
    • Public : Licence
    • Discipline(s) :

    Commentaire(s)