Bases de l'informatique 2

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.

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