Logique 1 - UE FLIN406

Programme :

bulletInitiation aux raisonnements logiques
bulletSyntaxe de la logique des propositions
bulletSémantique de la logique des propositions
bulletModélisation en logique des propositions
bulletMéthodes de preuve
bulletIntroduction à la logique de prédicats d'ordre 1 sans symbole de fonctions

Cours :

bulletIntroduction
bulletInduction structurelle
bulletSyntaxe
bulletSémantique
bulletSubstitution, équivalence et conséquence logiques
bulletModélisation
bulletFormes normales et clausales
bulletRésolution
bulletTableaux sémantiques
bulletPassage à la logique des prédicats
bulletSyntaxe et sémantique de la logique des prédicats
bulletPropriétés et relations entre fbf en logique des prédicats
bulletExtension de la méthode des tableaux semantiques en logique des prédicats

TD :

bulletTD 1 : initiation à la Logique
bulletTD 2 : syntaxe de la logique des propositions
bulletTD 3 : sémantique de la logique des propositions
bulletTD 4 : modélisation
bulletTD 5 : méthodes de preuve
bulletTD 6 : logique des prédicats

TP :

bulletSujet du TP (orienté Maple)
bulletFichier Maple à récupérer
bulletFichier Lisp à récupérer
bulletTransparents cours algo L1 pour syntaxe Maple
bulletCours Prolégomènes M1  pour syntaxe Common Lisp
bulletExercices Lisp
bulletExercices Lisp (suite)

Annales Examen :

bulletAnnée 2006-2007
bulletAnnée 2007-2008
bulletAnnée 2008-2009
bulletAnnée 2009-2010
bulletAnnée 2010-2011

Contrôle Continu :

bulletEpreuve Amphi + Suivi des TPs
bulletAccès aux notes

Notes et Résultats

bulletNotes CC en amphi du 14 mars 2011