Log in English French

Module Sheet

FISE FISA

STI

Sécurité et Technologies Informatiques

Unité d'Enseignement :

Semestre : 5
Crédits ECTS : 12

Principes de la programmation

Code UE : S05T_INF1

Elément Constitutif :

Coefficient : 1

Logique

Code EC :

Tronc Commun

L'UE Principes de la programmation : 9

Algorithmique et Complexité
Initiation au Génie Logiciel
Logique
Modélisation du logiciel
Programmation C
Programmation Orientée Objet
Projet en programmation
Statistiques
Théorie des Langages

Volume horaire : 21:20

Type	Nombre	Durée
Cours	6	01:20
TD	8	01:20
TP	2	01:20

Evaluations : 1

Type	Coefficient
Contrôle Continu	1

Enseignants : 2

Enseignant	Type
Frittella Sabine	Responsable
Frittella Sabine	Intervenant

Learning Objectives :

Acquérir les connaissances de bases en logique classique propositionnelle, logique du premier ordre et logique modale.
Formaliser un problème en utilisant un langage formel

Additional Prerequisites :

Des connaissances de bases en électronique numérique sont souhaitables

Program :

Logique classique propositionnelle : axiomatisation, système de preuve à la Hilbert et calcul des séquents
Logique du premier ordre : axiomatisation et sémantique
Logique modale normale : axiomatisation et sémantique

Evaluation Methods :

Projet en groupe : choisir un problème et le formaliser à l’aide d’une logique étudiée en cours
Contrôle

Bibliographic References :

Cours de logique en anglais, THE OPEN LOGIC TEXT : http://builds.openlogicproject.org/open-logic-complete.pdf
Logique propositionnelle et logique du premier ordre : Logique Mathématique, Tome 1, de Cori et Lascar
Logique propositionnelle et logique du premier ordre : Logic as a Tool, Goranko
Logique modale : Modal Logic, Blackburn, de Rijke, Venema
Logique Epistémique : Reasoning About Knowledge, Fagin, Halpern, Moses, Vardi

Compétences :

Ref.	Verbe	Description	Niveau
C1_4	décrire	un problème en utilisant un langage formel	3