Correction proofs
Asymptotic analysis
Devide and conquer
Greedy algorithms
Dynamic Programming
Branch and Bound
Problems tractability
Advanced algorithmics
Description
Objectifs
The objective of this course is to introduce the foundations of computational thinking, including complexity theory, proofs of correctness, advanced algorithmic design, and more. Throughout the course, students will learn to analyze the tractability of problems as well as the correctness and complexity of algorithms. They will be taught advanced algorithmic design techniques, such as divide and conquer, greedy algorithms, dynamic programming, and branch and bound.
Pré-requis
Algorithms and Programming (1st and 2nd year )
Évaluation
L’évaluation des acquis d’apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs…
En bref
Crédits ECTS :
Nombre d’heures :
EN 1 Clic
Annuaire
ENT
Rejoindre
les équipes
Marchés publics
INSA Toulouse
135 avenue de Rangueil
31077 Toulouse cedex 4
Tél : 05 61 55 95 13
Fax : 05 61 55 95 00
Dans un souci d'alléger le texte et sans aucune discrimination de genre, l'emploi du genre masculin est utilisé à titre épicène.