Se connecter Anglais Français
Logo

Fiche Module

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


  • 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

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

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

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

  • 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