Département:Informatique théorique

Département : Informatique théorique
Logo représentatif du département

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]

Image indiquant les ressources Leçons par thème


Culture de base

Mathématique

Méthodologie

Algorithmique

Système

Logique

Théorie des graphes

Théorie des langages

Arbres

[Modifier]

Image indiquant les ressources Documents par niveau


Niveau 0 Niveau 1 Niveau 2
Niveau 3 Niveau 4 Niveau 5
Niveau 6 Niveau 7 Niveau 8
Niveau 9 Niveau 10 Niveau 11
Niveau 12 Niveau 13 Niveau 14
Niveau 15 Niveau 16 Niveau 17
Niveau 18 Niveau 19 Niveau 20

[Modifier]

Image indiquant les ressources Participants

[Modifier]

Image indiquant les ressources Voir aussi

Sur les autres projets Wikimedia :

Bibliographie complète du département :

Andrew Tanembaum, Architecture de l'Ordinateur, Interéditions, 4e éd. (ISBN 978-2729601331) 

Andrew Tanenbaum, Réseaux, Pearson Education (ISBN 978-2744070013) 

Anthony J. Field, Peter G. Harrisson, Functional Programming, 616 p. (ISBN 978-0201192490) 

Barthélemy P., Rolland R., Véron P., Cryptographie : Principe et mises en oeuvre, Hermès, 2005 (ISBN 978-2746238169) 

Bergé C., Théorie des Graphes et Applications, Dunod, 1958, 277 p. 

CHATY G., VICARD J., Algorithmique, Nathan Université 

Childs L., A Concrete Introduction to Higher Algebra, Springer, 1979 

D.A. Patterson, J.L. Hennessy, Architecture des ordinateurs, une approche quantitative, McGraw-Hill Company 

D.A. Patterson, J.L. Hennessy, Architecture des ordinateurs, une approche quantitative, McGraw-Hill Company 

DELANNOY C., Programmer en langage C, Eyrolles. 

DUBOIS C., MENISSIER-MORAIN V., Apprentissage de la programmation avec O Camel, ed. Hermès Sciences, Paris, 2004 

FAURE R., Précis de Recherche Opérationnelle, Dunod, 1992 

FIEUX L., Le langage C, Campus Press 

G. Gardarin, Bases de données, Ed. Eyrolles 2003 

GONDRAN M., MINOUX M., Graphes et Algorithmes, Eyrolles, 1979 

Gruber, W. Benoît, Mécanique Générale, Presses polytechniques et universitaires romandes 

J.-L. Hainaut, Bases de données et modèles de calcul, Ed. Dunod 2005 

Joseph O'Rourke, Computational Geometry in C, Cambridge Press, 1994. 

J.P. Delahaye, Outils logiques pour l'intelligence artificielle, 3e édition, Eyrolles, 1988 

J. P. Pérez, Mécanique, Fondements et applications, Dunod C 

LEVY G., Algorithmique combinatoire, Dunod, 1994 

Liret-Martinais, Analyse 1ère année, Dunod 

Mignotte M., Algèbre appliquée à l'informatique, Presses Universitaires de France, 1987 

Graphes, Dunod, 1986 

MINOUX M., BARTNIK G., Algorithmes logiciels 

Nicholas P. Carter, Architecture de l'ordinateur, Ediscience, Schaum's 

OLSEN D.R., Developing user Interfaces, Morgan Kaufmann Publilshers 

Peter Henderson, Functional Programming Application and Implementation 

PREECE J., Uman Computer Interaction, Addison-Wesley-Longman 

ROY B., Algèbre Moderne et Théorie des Graphes, Dunod, 1962. 

SCHNEIDERMAN B., Designing the User Interface, 3rd edition, Addison-Wesley-Longman. 

S.C. Kleene, Logique mathématique, Ed. Jacques Gabay 

S.L. Peyton Jones, Mise en œuvre des langages fonctionnels de programmation 

VEIGNEAU S., Approches impérative et fonctionnelle de l'algorithmique, Springer 

WEISS P., LEROY X., Le langage Caml, Dunod, 1999