tailieunhanh - Terminologie

Lunité est disponible dans votre langue. De la plus petite unité, stabilité de la structure, ce qui signifie complet, utilisé pour composer des phrases. De son nom peut faire des choses (noms), seulement la participation active (passive), de lhumeur, de la nature (à partir) . Loutil montre le concept de lêtre humain à la réalité | Cours de Spécialité Terminologie . Phan Huy Khánh khanhph@, phk@ Introduction à l’informatique Emploi du temps Le cours a lieu : Tous les ., à partir du ., . /32 Introduction à l’informatique /32 Utilisez le programme “CommentCaMarche” à : Utilisez ce page web: Pour envoyer les gros fichiers /32 Une brève histoire de l’informatique La préhistoire : de 3000 AD (Anno Domini ) à 1900 Abaques, machine pour prédire le mouvement des astres (80 AD) Formalisation du calcul : Al Khawarizmi (IXème) XVIIème siècle : Pascal : machine à additionner Leibniz : système binaire pour le calcul XVIIIème siècle : Jacquard : métier à tisser Babbage : machine différentielle XIXème siècle : Boole : calcul binaire et calcul logique Peirce – Hilbert : Trois Grandes Questions Correction formelle Complétude Décidabilité d ’un système formel /32 Une brève histoire de l’informatique De 1900 à 1940 Gödel et Turing Tout système formel suffisamment puissant est soit incohérent, soit incomplet Problème de l’arrêt indécidable Les années 40 Travaux en cryptographie (décodage : Machine Enigma, Colossus) Parallèlement, en Angleterre, en Allemagne et aux USA, construction des premiers ordinateurs Calculateur électro-mécanique Mark 1 (Aiken, 44) 1946 : ENIAC Calculs balistiques (Atanasoff, Mauchly Eckert, 46) 44 : EDVAC, Mauchly Eckert et Von Neumann 48 : EDSAC, Invention du transistor (Baarden, Brattain et Shockley 47) /32 Une brève histoire de l’informatique Les années 50 Compilateurs (FORTRAN en 57) LISP en 58 Circuits intégrés en 59 Test de Turing en 50, premier pas au domain « Intelligence Artificielle » (AI en anglais) Les années 60 Systèmes d’exploitation Basic en 64 Automates – Langages formels - Correction de programmes Knuth : The Art of Computer Programming Micro-processeurs /32 Une brève histoire de l’informatique Les années 70 Base de Données Relationnelles Unix . | Cours de Spécialité Terminologie . Phan Huy Khánh khanhph@, phk@ Introduction à l’informatique Emploi du temps Le cours a lieu : Tous les ., à partir du ., . /32 Introduction à l’informatique /32 Utilisez le programme “CommentCaMarche” à : Utilisez ce page web: Pour envoyer les gros fichiers /32 Une brève histoire de l’informatique La préhistoire : de 3000 AD (Anno Domini ) à 1900 Abaques, machine pour prédire le mouvement des astres (80 AD) Formalisation du calcul : Al Khawarizmi (IXème) XVIIème siècle : Pascal : machine à additionner Leibniz : système binaire pour le calcul XVIIIème siècle : Jacquard : métier à tisser Babbage : machine différentielle XIXème siècle : Boole : calcul binaire et calcul logique Peirce – Hilbert : Trois Grandes Questions Correction formelle Complétude Décidabilité d ’un système formel /32 Une brève histoire de l’informatique De 1900 à .