Informadiko: Malsamoj inter versioj
[nekontrolita versio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Kani (diskuto | kontribuoj) |
DidCORN (diskuto | kontribuoj) e Referenco de lia artikolo |
||
Linio 1:
[[
'''Informadiko''' estas la “scienco pri la kolektado, taksado, organizado kaj diskonigo de [[informo]]j, ofte helpe de [[komputilo]]j.“<ref> PIV Plena illustrita vortaro 2002</ref>
Historie la informadiko evoluis unuflanke kiel [[formalaj sciencoj|formala scienco]] el la [[matematiko]], kaj aliflanke kiel [[inĝenierarto]] pro la praktika bezono de rapidaj kaj aŭtomataj kalkuladoj.
Linio 6:
Dum jarmiloj, homoj kreis kaj uzis ilojn por faciligi kalkuladojn ([[Abako (meĥanika kalkulilo)|abako]], [[glitkalkulilo]] ...). Por realigi kompleksajn kalkulojn, ili ankaŭ evoluigis [[algoritmo]]jn. Inter la plej malnovaj algoritmoj troviĝas la tabloj de la tempo de [[Hamurabi]] (ĉirkaŭ -1750).
[[Kalkulilo]]j konstante evoluis ekde antikvaj tempoj, sed ili ne permesis
[[Leibniz]] okupiĝis ankaŭ pri [[duuma kodo]], kiu kune kun la [[bulea algebro]], estas la plej gravaj matematikaj bazoj de informadiko. La difino de la koncepto de [[programado]], montrita unue de Joseph Marie Jacquard en siaj duon-aŭtomataj [[teksilo|teksmaŝino]]j kun [[trukarto]]j, sekvita de [[George Boole]] kaj [[Ada Lovelace]] en terminoj de teorio de programado de matematikaj operacioj, formis la bazon por aŭtomate kunĉeni elementajn operaciojn.
En 1937 [[Alan Turing]] publikigis sian verkon ''On Computable Numbers with an application to the Entscheidungsproblem''<ref>{{Citaĵo el ĵurnalo | aŭtoro=A.M. Turing | jaro = 1937 | titolo = On Computable Numbers, with an Application to the Entscheidungsproblem (Pri komputeblaj nombroj)| monato = Delivered to the Society November 1936 | gazeto = Proceedings of the London Mathematical Society | serieo = 2 | volumo = 42 | paĝoj=p. 230–65 | doi= 10.1112/plms/s2-42.1.230 | url = http://www.comlab.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf | lingvo= angle}}</ref>, en kiu li prezentis la tiel nomatan [[Maŝino de Turing|Turing maŝino]]n, matematika modelo de maŝino, kiu ĝis nun estas baza por la teorio de informadiko.
==Teknikoj==
|