Diplômes intégrant cet élément pédagogique :
Descriptif
Propositional logic:
Syntax and semantics
Boolean algebra: underlying mathematical structure
Transformation of formulas
Algorithmic methods for deciding the validity of a proposition
Towards first-order logic:
Deductive methods for deciding the validity of a proposition
First-order logic semantics:
Domain, interpretation
Search for a model
Quantifiers manipulation
First-order resolution
Compétences visées
Validity of a reasoning
Notions of consistency and completeness
Theoretical bases of automated deduction
Modelization of statements in formal logic
Use of formal systems
Symbolic manipulations: formal rules, unification
Proof techniques
Informations complémentaires
Lieu(x) : GrenobleLangue(s) : Anglais
En bref
Période : Semestre 4Crédits : 6
Volume horaire
- CM : 18h
- TD : 36h
Contact(s)
Benjamin WACK
Cécile Argentier
Etudiants internationaux
Crédits : 6.0