C. Di Giusto

Bases de l'informatique 2

Modèles formels et logique

Ce cours est une introduction à la science informatique via certaines grandes thématiques comme la logique, les types récursifs ou les automates. Ces concepts seront illustrés dans des TP en Python.

L1 6 ECTS 20h CM, 20h TD et 10h TP S2 C. Di Giusto

Calendrier

Le cours se déroule sur 10 semaines (sans compter la semaine d’examen terminal), et comprend:

  • 9 séances de cours
  • 10 séances de TD
  • 10 séances de TP
  • deux partiels

Cours

Le cour a pour objectif de introduire les concepts fondamentaux de l’informatique: la logique, la modélisation, les operators de bases de la programmation ainsi que quelque structure de donnés.

Plus précisément on parlera de:

  • Histoire de l’informatique : Panorama des personnes marquantes et leurs contributions
  • L’informatique et la logique :
    • Bases de l’algorithmique (séquence d’instructions, tests),
    • Introduction au principe de recurrence
    • Logique propositionnelle: tables de vérité, formes normales, méthode de résolution

Modalités de contrôle des connaissances

  • 1 contrôle à mi parcours 50%
  • 1 contrôle final 50%
  • 1 examen terminal qui peut remplacer les 2 contrôles (100%)

Ressources

  • Pages Moodle
  • Logique pour l’informatique : introduction à la déduction automatique : cours et exercices, licence d’informatique. Serenella Cerrito. Vuibert 2008