Orientation Glossaire	Atlas / Nombres / Utilisation Algorithme
Débutant DicoMot DicoNombre	INFORMATIQUE

Approche	Chacun connaît l'informatique pas le biais, au moins, de la bureautique: l'ordinateur, les logiciels de traitement de texte, l'explorateur Internet …
Définition	Informatique Science du traitement automatique et rationnel de l'information en tant que support des connaissances et des communications. Ensemble des applications de cette science, mettant en œuvre des matériels (ordinateurs), et des logiciels (programmes). Larousse

Nomenclature

Informatique théorique Vision abstraite, mathématique logique, modélisation. Analyse numérique, théorie de l'information, langages et grammaires, automates, etc. >>> Informatique des systèmes Organisation concrète, fonctionnement d'ensemble, type de machines. Architecture des ordinateurs et des systèmes d'exploitation, réseaux, etc. Informatique technologique Comment construire tout cela? Avec quel matériel, quelle technologie. Qui se rapporte aux matériels: composants électroniques, semi-conducteurs, mémoires, enregistrements sur supports magnétiques, organes périphériques d'entrée-sortie, etc. Informatique méthodologique Comment commander ces machines? Les piloter, les instruire … Qui a trait surtout aux logiciels: compilation, langages, techniques.

Anglais

Informatique L'ère informatique

Computer science, computing, data processing, information system. The computer age.

Voir	Algorithmes Automates CPU / GPU / TPU GAFAM-A… Gravure des puces Histoire de l'informatique Informatique et programmation – Index Internet Logique – Index Loi de Moore Multimédia – Index Ordinateur Programmation – Index Puissance des ordinateurs Quantique – Ordinateurs – Techniques de calcul des ordinateurs modernes
Sites	Lexique informatique pour débutants – Jean Boulanger – pdf 52 pages Le RÉTIF: termes informatiques français – Philippe Deschamp – Ambition: permettre la diffusion et la promotion d'un vocabulaire français pour l'informatique
Cette page	http://villemin.gerard.free.fr/Referenc/Vocabula/GlosI/Informat.htm

Informatique théorique

Bertrand Russel Alfred North Whitehead	Naissance de l'informatique moderne au début du XX^e siècle Théorie de la démonstration Recherche pour établir les mathématiques en un système formel où toute proposition pourrait être démontrée par un calcul logique
David Hilbert Kurt Gödel	Poursuite des recherches et pas décisifs Notamment, en 1931, Gödel démontre que: - Inconsistance Il se peut que dans certains cas, nous puissions démontrer une chose et son contraire - Incomplétude Dans tout système mathématique formel, il existe des vérités mathématiques qu'il est impossible à de démontrer Fin du rêve de réunir les mathématiques en un système déductif parfaitement cohérent
Alan Turing	En 1936, il entreprend des recherches sur la décidabilité Il développe son automate, machine à raisonner dite machine de Turing Il démontre que toutes les machines de Turing sont équivalentes, universelles Il fait l'hypothèse que tout algorithme est calculable par une machine de Turing Toutes ces idées sont la base de la programmation des ordinateurs Décidabilité? Question qui cherche à savoir s'il existe un moyen, une procédure, un algorithme qui permette de distinguer les propositions démontrables de celles qui ne le sont pas
Von Neumann	En 1945, il propose une réalisation concrète de la machine de Turing Nos ordinateurs sont encore construits selon ce principe (l'auteur de ce site a lui-même été impliqué dans la construction de telles machines en fin des années 60)