Dějiny informatiky

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Informatika
Obory informatiky
Programování
Matematická informatika
Teoretická informatika
Teorie složitosti
Umělá inteligence
Teorie grafů
Teorie informace
Informační technologie
Bioinformatika
Chemoinformatika
Geoinformatika
Lékařská informatika
Neuroinformatika
Sociální informatika
Informatici
Charles Babbage
Alan Turing
Donald Knuth
další...
Dějiny informatiky

Dějiny informatiky se datují od prvních úvah nad obecnými algoritmy pro práci s čísly nebo jinými daty. Nástup elektronických počítačů informatice umožnil široké aplikace a dostal ji do popředí pozornosti vědy.

Rané dějiny[editovat | editovat zdroj]

Diferenciální stroj[editovat | editovat zdroj]

Počátky moderní informatiky[editovat | editovat zdroj]

Matematické základy moderní Informatiky byly položeny již Kurtem Gödelem formulací jeho věty o neúplnosti v roce 1931. Gödel v této větě představil limity dokazatelnosti vět v rámci jejich vlastního formálního systému, což vedlo ke snaze řady matematiků definovat a popsat takový formální systém, který by toto umožňoval. Tak vznikly pojmy jako částečně rekurzivní funkce, nebo lambda-definovatelné funkce.

Pro Informatiku byl klíčový rok 1936, kdy Alan Turing a Alonzo Church představili, nezávisle na sobě, jak formalizaci samotného algoritmu, včetně hranic toho co jím může být spočítáno, tak čistě mechanistický výpočetní model počítače. Společně pak definovali tzv. Church-Turingovu tezi - hypotézu o vlastnostech mechanických výpočetních zařízení, jakými jsou elektronické počítače, která říká, že jakýkoli výpočet, který je možný, je realizovatelný jako algoritmus běžící v počítači, pokud tento má k dispozici dostatek času a paměťového úložného prostoru.

Padesátá léta[editovat | editovat zdroj]

Šedesátá léta[editovat | editovat zdroj]

Sedmdesátá léta[editovat | editovat zdroj]

Osmdesátá léta[editovat | editovat zdroj]

Související články[editovat | editovat zdroj]

Literatura[editovat | editovat zdroj]

  • NAUMANN, Friedrich. Dějiny informatiky: od abaku k internetu. Praha : Academia, 2009. ISBN 978-80-200-1730-7. S. 422.