Modélisation

Objectives

To discover, understand and know how to use the mathematical tools necessary for formal modeling of programming: logic and language theory. The subject covers both theoretical and practical aspects through the exploitation of state-of-the-art tools for formalization and proof of programs, and the use of formal description of languages for the exploitation of structural information.

Description

Theoretical and practical study of :

    Propositional logic
    Predicate logic
    Set theory and structural induction
    Hoare logic and program proofs
    Language theory
    Regular expressions
    Grammars

Targeted skills

Modeling requirements using logic.

Modeling of programs and their correction with respect to requirements using logic.

Modeling languages based on regular expressions and grammars.

Use of language models to exploit structured information.

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances