Outils Logiques et Algorithmiques

Vous trouverez sur ce site des notes de cours et autres informations à propos du module de Outils Logiques et Algorithmiques du premier semestre de la licence d'informatique de la Faculté des Sciences d'Orsay, Université Paris Saclay.

Objectifs pédagogiques

Algorithmes, structures de données, et techniques de raisonnement. On veut pouvoir justifier qu'un algorithme répond correctement à un problème posé, ou prédire le temps d'exécution d'un programme.

Notes de cours

Planning 2026

Une partie de ces TD a été développée par Thibaut Balabonski.

Première période.
Semaine Chapitre TD/TP
19/01-23/01 1. Chercher TD. Invariants [ énoncé ]
26/01-30/01 2. Trier TD. Complexité [ énoncé ]
02/02-06/02 4. Répartir TD. Graphes [ énoncé ]

Informations pratiques

À propos des documents

Les documents de ce cours sont distribuées sous licence libre Creative Commons Paternité – Partage dans les mêmes conditions 3.0 France (CC BY-SA 3.0 FR). L'auteur principal en Thibaut Balabonski avec des révisions par Florent Hivert. Les chargés de TD ont contribué fortement aux sujets de TD, TP, et projet.

Si vous souhaitez accéder aux sources LaTeX, contactez moi.