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

Première partie : techniques de base [ .pdf ]
Deuxième partie : graphes [ .pdf ]

Planning 2026

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

Semaine	Chapitre	TD/TP
Première période.
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

Responsable du module: Florent Hivert
Chargés de TD:

Lundi 10h30-12h30 G1 Salle 125 Florent Hivert
Lundi 10h30-12h30 G2 Salle 126 Gerald Forhan
Jeudi 10h30-12h30 G3 Salle 140 Izumi Watanabe

À 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.