UE Introduction to logics - INF432 -

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) : Grenoble
Langue(s) : Anglais