Se connecter Anglais Français
Logo

Fiche Module

FISA

STI

Sécurité et Technologies Informatiques


Unité d'Enseignement :


Semestre : 5
Crédits ECTS : 6

Principes de la programmation


Code UE :

Elément Constitutif :


Coefficient : 1

Logique


Code EC :

Tronc Commun



L'UE Principes de la programmation : 7


Algorithmique et Complexité
Initiation au Génie Logiciel
Logique
Mise à niveau Informatique
Mise à niveau Mathématique
Programmation C
Projet en programmation


Volume horaire : 21:20

Type Nombre Durée
Cours 8 01:20
TD 8 01:20


Evaluations : 1

Type Coefficient
Examen Final 0.5
Contrôle Continu 0.5


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