SISSEJUHATUS ITSSE
Perfokaarte kasutasid esimest korda Basile Bouchon ja Jean-Baptiste Falcon umbes 1725.
aastal kangastelgede juhtimiseks. Joseph Marie Jacquard täiustas märgatavalt seda
töötamisviisi oma Jaquard'i kangasteljega.
CHARLES BABBAGE 1822
1822: Difference Engine, jäi pooleli
Idee: Analytical Engine
Esimene programmeerija: Ada Lovelace
Inglise matemaatik, filosoof, leiutaja ja mehaanikainsener, kellelt pärineb
programmeeritava arvuti mõiste.
On esimese mehaanilise automaatkalkulaatori (arvuti) loojaks ja seega pani ta aluse arvutite
arenguloole.
GEORGE BOOL DE MORGAN
Loogika (lausearvutuse) alused 1847-1854
Matemaatilise algebra ideede kasutamine loogika jaoks:
Loogika algebra: 1A = A, 0A = 0, A+0 = A, A+1 = 1 A+B = B+A, AB = BA, AA = A
Enimkasutatud tehted on
& (ja e. konjunktsioon)
V (või e. disjunktsioon)
- (ei e. eitus)
=> (järeldus e. implikatsioon)
== (samasus e. ekvivalents)
GOTTLOB FREGE
1879 loob kaasaegse predikaatarvutuse
Näide: Isa(Jaan,Mihkel)