Département:Informatique théorique
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?’).
[]
Leçons par thème
[]
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 |
|
|
|
[]
Participants[]
Voir aussi
Département d'optimisation combinatoire
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