Département:Informatique théorique

Aller à : Navigation, Rechercher

Département : Informatique théorique

Faculté d'Informatique

L'informatique est une science théorique à finalité pratique. Elle concerne la définition, le classement, la recherche et le traitement automatiques des informations, d'où son nom : information - automatique.

Bien qu'il soit difficile de déterminer sa date de naissance on s'accorde à penser qu'elle a émergé dans les années 1930. C'est donc une science très jeune qu'il est encore difficile de classer : certains l'incluent dans les mathématiques appliquées, voire dans la théorie des nombres ; d'autres disent qu'il s'agit d'une mathématique, incluse dans les mathématiques. Même si les frontières entre l'informatique et certains domaines des mathématiques sont floues de nos jours certains théoriciens sont d'accord pour affirmer que, par l'axiome du choix, l'informatique est un sous-ensemble des mathématiques.

Abelson et Sussman ont noté que si les mathématiques partent de définitions (question "what is?"), l'informatique part toujours d'un but à atteindre (question "how to?").

[modifier]

• Introduction à l'informatique (?)
• Algèbre relationnelle (?)
• Algorithmique (?)
• Complexité algorithmique (?)
• Logique (?)
• Sémantique (?)
• Théorie des graphes (15)
• Théorie des langages (?)
• Théorie des Modèles (?)
• Vérification et Preuve (?)

Débutant Niveau 0 à 5

Intermédiaire Niveau 6 à 9

Avancé Niveau 10 à 12

Expert Niveau 13 à 15

• Théorie des graphes (15)

Perfectionnement Niveau 16 à 18