"vakuumne" - 1 õppematerjal

Esimesed 3 loengut sissejuhatus infotehnoloogiasse

Esimene programmeerija: Ada Lovelace Morse 1837: elektritelegraaf Wheatstone 1857: perfolint George Boole, de Morgan- Loogika (lausearvutuse) alused 1847-1854 Gottlob Frege 1879 predikaatarvutuse.Näide: Isa(Jaan,Mihkel). Isa(Jaan,Ants). Isa(Ants,Peeter). Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z). 1890 Herman Hollerith- perfokaartidega masin USA rahvaloenduse andmete töötlemiseks. Hollerith’i firmast tekkis IBM. 1906 Lee Deforest- vakuumne triood Hulgateooria Georg Cantor 1910-1913 Russell & Whitehead: massiivne loogikatraktaat Formalism:Hilbert “Hilberti programm” matemaatikale kindlate aluste rajamiseks:  Matemaatika alused tuleb esitada loogika keeles, range aksiomaatikana.  Tuleb tõestada, et nimetatud aksiomaatika ei ole vastuoluline, st temast ei ole võimalik tuletada korraga mingit väidet A ja sellesama väite eitust –A Intuitsionism: Brouwer & Heyting.Ei aktsepteeri näiteks:  A v -A