Université de Lille

Chapters

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

    Creative Commons license L2 Logique_Exemple dialogue predicats.mp4

    March 30, 2023
    00:11:03
    Number of views 15
    Addition in a playlist 0
    Number of favorites 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.

    Tags: logique

    • Added by: Zoe Mcconaughey (zoe.mc-conaughey)
    • Speaker(s):
    • Updated on: March 30, 2023, 5:01 p.m.
    • Type: Exercice
    • Main language: French
    • Audience: Bachelor’s Degree
    • Discipline(s):

    Comment(s)