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

*    Histoire de l'informatique

*    Algorithme

En savoir plus

*    Automates

*    MultimédiaIndex

*    Logique - Index

 

 

 

 

Bellydancing Bellydance Bellydancers

 

 

Informatique théorique

 

Bertrand Russel

Alfred North Whitehead

Naissance de l'informatique moderne au début du XXe 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)