Bases de l'informatique

Ce cours est une introduction à la science informatique via certaines grandes thématiques comme la logique, les types récursifs ou les automates.

Calendrier

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

• 8 séances de cours
• 16 séances de TD (2 par semaine)
• deux partiels

Cours

Le cours a pour objectif de introduire les concepts fondamentaux de l’informatique: la logique, la modélisation, les opérators 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