|
Licence |
Sciences, Technologie, Santé
|
|
Mentions : |
Statut dans la mention |
Parcours |
Statut dans le parcours |
|||
|
Informatique |
Optionnel |
|
|
|||
|
Intitulé : STS.INFO.2.5 : Informatique Théorique I
|
Semestre : 2
|
|||||
|
Volume horaire par
étudiant : 48 |
CM : 20 |
TD : 28 |
TP : |
|||
|
ECTS : 5 |
Coefficient : 1 |
Description rapide : Ecrire des
programmes exacts qui s'exécutent en un temps raisonnable :
Quelques pistes...
Objectif : Familiariser l'étudiant avec la logique, ses méthodes déductives et regarder les liens entre la logique et l'informatique
Pré-requis : Aucun
Programme :
Logique des propositions
Logique des prédicats
Raisonnements (par récurrence, par l'absurde, ...)
Résolution d'équations de récurrence
Ordre de grandeur des fonctions
Applications à l'informatique
Invariants
Preuves de Programmes
Complexité asymptotique.
Bibliographie :
A. Aho et J. Ulman, Concepts fondamentaux de l'informatique, Dunod.
P. Bellot et J. Sakarovitch, Logique et Automates.
Faculté de Mathématique et
d’Informatique