Module : Théorie de la programmation

D.E ZEGOUR & W.K HIDOUCI

Sommaire:  (Sur 30 heures )

  

                                                                Présentation du cours

Séances (1H)

Cours

TD/TP

1

Concepts préliminaires (1) :

Notation de Landau

Parcours de graphes

O-notation

Graphes

3

Réduction de complexité

Méthode descendante (Diviser pour résoudre)

Méthode ascendante (Programmation dynamique)

Exemples et TP

6

Résolution de problèmes

Backtracking

Hill-Climbing

Best First Search

Branch and Bound

Algorithme A*

Exemples et TP

4

Théorie de la complexité ( Cours détaillé )

Problèmes de décision et langages

Modèles de calcul

Classes de complexité

NP-Complétude

Machine de Turing

Réduction

Np-Complétude

 

1

Concepts préliminaires (2) :

Théorie du point fixe

Système Formel

5

Programmation impérative

Schémas de programmes

Transformations de programmes

Preuves formelles

Transformation- Preuve

5

Programmation applicative

Lambda-calcul

Lisp et fonctions d'ordre supérieur

Preuves par induction

Interprétation des langages fonctionnels

Lambda-calcul et programmation Lisp

5

Programmation déclarative

Démonstration automatique de théorèmes

Prolog et manipulations symboliques

Interprétation des langages logiques

Résolution et programmation Prolog

 

Sujets d'examens corrigés depuis 2013

 

 Examen 2012-2013

 Corrigé

 Examen 2013-2014

 Corrigé

 Examen 2014-2015

 Corrigé

 Examen 2015-2016

 Corrigé

 Examen 2016-2017

 Corrigé

 Examen 2017-2018

 Corrigé

 Examen 2018-2019

 Corrigé

 Examen 2019-2020

 Corrigé

 

Livre en ligne : Conception de programmes

Livre en ligne : Construction de programmes

 

Module antérieur:  Cours MCCP : Méthodes de Conception et Construction de programmes

Autre:  GRAPHE-Z : Développement d'algorithmes sur les graphes

Exemples de programmes avec Graphe-Z :

            Hill Climbing     Best First Search    Branch and Bound      A*

Programmation :

            Problème des N reines   (Programmé avec Khawarizm)