...........................................................................................................4 Ajalugu.................................................................................................................................5 Mehaaniline ajastu (14501840)......................................................................................6 Telekommunikatsioon..........................................................................................................8 Perfokaartidega töötajad.......................................................................................................9 Brittide Mark I (prototüüp)...............................................................................................9 Andmete kogumine........................................................................................................10 Andmete töötlemine.......................................................................................................11
Logic, MAC-OS Microsoft – 1976 - MS-Dos, Windows 3.11, 95, 98, NT, ME, XP, Visual Studio, Office, MS Basic IBM – 1890 –Winchester, floppydrive, laptop Sun – 1982 Sun Microsystems – UNIX, Sun OS ja Solaris Intel – 1968 – Pentium, 2, 3, 4, microschemes, microprocessors 1971 - 4 bit protsessor Intel 4004 Wayne Pickette ja Dr. Ted Hoff, computer-on-a-chip. Kaks bitti liidakse kokku: Tim Berners-Lee - 1991 World Wide Web, 1990-1991 HTML Herman Hollerith – 1890 perfokaartidega masin USA rahvaloenduse andmete töötlemiseks. Hollerith’i firmast tekkis IBM. Winchester, floppydrive, laptop Larry Ellison, Bob Miner, Ed Oates – 1977 Oracle. Oracle Database. GNU: GNU Hurd, Linux,FreeBSD, NetBSD, OpenBSD GNU-tasuta, UNIX-tasuline, kommertsiline. Rekursia – funktsioon viidab iseendale. Intelligentne agent – programm, mis otsib nettis huvipakkuvaid materjale arvutikasutajale. Internet Eestis – 1990 Commodore PET – 1977, 8bit
Dvoraki klaviatuur ca 1936(ei kasuta) Ca 1800, Jacquard Perfokaardid 1822: Difference Engine Charles Babbage esimene programeeritav arvuti 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.
Süllogism on väitlus, kus mingitest väidetest järeldub uus väide. Induktsioon, deduktsioon: Fundamentaalsed mõtlemismeetodid Lausearvutus: ∧ = ja(korrutis), V = või(liitmine) Pascal: filosoof, 17. Saj(1640), masin mis liitis ja lahutas Leibniz: filosoof, 17.saj (1671), masin mis liitis lahutas korrutas jagas Perfokaardid: 1800, Jacquard, programmeeritavad kangasteljed Babbage: 1800, üritas teha esimest arvutit. Hollerith: 1890, perfokaartidega masin, rahvaloendus, ta firmast tekkis IBM Colossus: 1943 enigma dekrüpteerimiseks Turing: 1936, Turingi masinm Shannon: 1938, ta magistritöö sidus Boole algebra, Elektrilülitid ja -skeemid,Bitid ja info kodeerimine, Info otsimise algoritmid Zuse: 1940, programmeeritavad arvutid Turvateater: näiliselt millegi turvaliseks tegemine kuid tegelikult ei aita see midagi
Leibniz Eksam– EksamSaksa filosoof 1646 – 1716, Leibnizi Eksamarvuti(1671) Eksamliitis, Eksamlahutas, Eksamkorrutas, Eksamjagas lõi Boole’ga sarnaneva loogikasüsteemi (deprecated) püüdis luua universaalset sümbolkeelt “arutlemise aritmeetika” jaoks perfokaardid Eksam– Eksamkartongist kaardid mis kandsid digitaalset informatsiooni, 1d ja 0d = aukude olemasolu kangasteljed Eksam– Eksamsuur perfokaartidega töötav kangakudumismasin Babbage Eksam– Eksamehitas difference engine mis jäi pooleli Hollerith Eksam– Eksam ehitas perfokaartidega masina USA rahvaloenduse andmete töötlemiseks Hollerith’i Eksamfirmast Eksam=>IBM colossus Eksam – kolmas digitaalne arvuti (1943/44), osaliselt programmeeritav saksa krüptomasinad Eksam- EksamEnigma machine is a cipher device developed and used in the early- to mid-
1847-1854 Loogika (lausearvutuse) alused G. BOOLE, de MORGAN 1974 Xerox Alto, personal computer to be used for research, first serious 1879: Kontseptuaalne notatsioon ("Begriffsschrift"), loob kaasaegse machine to feature a modern user interface: windows, mouse, etc invented predikaatarvutuse - GOTTLOB FREGE by Engelbart in 1964 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete 1969-1973 C development, 1978 " The C Programming Language" töötlemiseks (Thompson, Ritchie, Kernighan) Vacuum Tube 1906 1975 - Bill Gates and Paul Allen license their newly written BASIC to MITS, George CANTOR 1845-1918 Hulgateooria rajaja found Micro-Soft!
1 879 : Kiltseplua alre notafsioon ("8egriff6schrift"), loob kaasaeqse machire to tature a hodern usea intelface: wihdows, mouse, etc invented lt)76 - Applc Conrputcr(Jobs. Woznirk). vi predikaatarvutuse - GOTTLOB FREGE by Engelbart in 1964 1890: Hermah Hollerith: perfokaartidega masin USA rahvaloendu3e andmete 1969-1973 c development, 1978 " The C Programming Language" 1977 - Comnrrxlorc PET, Apple lI, VisiCalc(1979) tb,iitlemiseks {Thompson, Ritchie, Krnighan)
Aritmeetiline masin- 1640, ainult liitis ja lahutas, Kristlik filosoof Blaise Pascal Leibnizi arvuti 1671, Saksa filosoof Leibniz, arvuti: liitis, lahutas, korrutas, jagas Elektritelegraaf - Morse 1837 Loogika (lausearvutuse) alused 1847-1854 Perfolint - Wheatstone 1857 Frege loob kaasaegse predikaatarvutuse - 1879 Herman Hollerith perfokaartidega masin USA rahvaloenduse andmete töötlemiseks 1890, sellest firmast tekkis IBM Vaakumtoru - 1906, Lee Deforest Artikkel Turingi masinast: universaalsus, mittelahenduvus 1935-1937 Churchi lambda-arvutus, Churchi tees. - 1936,universaalsus, mittelahenduvus Z1 1936 , Konrad Zuse mehhaaniline arvuti MARK I 1939-1944, Harvardi elektriline(releedega) digitaalne arvuti ABC computer 1939-1942 , Atanasoff-Berry esimene elektronarvuti Esimene transistor - 1947
TVV TTV TV TVV VVT VTT VTT VVV VVV VTV Kaasaegse loogika alus: Gottlob Frege 1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse predikaatarvutuse; Isa (Jaan,Mihkel). Isa(Jaan,Ants).Isa(Ants,Peeter).Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z).Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Hollerith'i firmast tekkis IBM Vaakumtoru 1906 Le e Deforest Georg Cantor (1845-1918) hulgateooria rajaja, matemaatika alused lõid kõikuma, avastas paradokse matemaatikas 1935-1937: artikkel Turingi masinast: universaalsus, mittelahenduvus 1936: Churchi lambda-arvutus, Churchi tees.universaalsus, mittelahenduvus Konrad Zuse Programmeeritavate arvutite pioneer saksamaalt 1936-38: Z1: puhtmehaaniline 1938: Z2:
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). Isa(Jaan,Ants). Isa(Ants,Peeter). Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z). Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). 3 HERMAN HOLLERITH 1890 perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Hollerith'i firmast tekkis IBM VAAKUMTORUD 1906, Lee Deforest GEORG CANTOR 1845-1918 Hulgateooria rajaja, Paradokside avastamine matemaatikas, Matemaatika alused korraga ebakindlad RUSSELL & WHITEHEAD 1910-1913 massiivne loogikatraktaat Principia Mathematica Paradoksid -> tüüpide teeoria Filosoofilised vaated: logitsism HILBERT 1862-1943 ( LOOGIK JA MATEMAATIK) Filosoofilistelt vaadetelt formalist
hakkama(diferentsiaalvõrrandite lahendamine). Esimene programmeerija oli Ada Lovelace, tema nimest on ka tulnud proge keel Ada. LAUSEARVUTUS George Boole, de Morgan Loogikatehted on funktsioonid tõeväärtustel T ja V. T = Tõde ja V = Vale Enimkasutatud tehted on & (ja e. konjunktsioon), V (või e. disjunktsioon), - (ei e. eitus), => (järeldus e. implikatsioon), == (samasus e. ekvivalents) 1890 ehitas (tegi oma firma) Herman Hollerith perfokaartidega masina USA rahvaloenduse andmete töötlemiseks. Tema firmast tekkis IBM. Turing mõtles 1937 välja Turingi masina (masin (idee), mis peaks suutma kõike lahendada, tegelikult polnud võimalik kõike arvutada) Claude Shannon mõtles välja info kodeerimise tehnoloogia (kuidas saada arvud bittideks 0 ja 1). MIT, 1938, Shannon’i magistritöö sidus: Boole algebra, Elektrilülitid ja -skeemid, Bitid ja info kodeerimine, Info otsimise algoritmid.
- (ei e. eitus) => (järeldus e. implikatsioon) == (samasus e. ekvivalents) Kaasaegse loogika alus: Gottlob Frege 1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse 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). Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). Hollerith’i perfokaardid 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Firmast tekkis IBM Vaakumtorud Vacuum Tube (1906, Lee Deforest) Three elements device used as electronic switch and amplifier: two electrodes separated by a grid in a vacuum glass enclosure. Principle Cathode - emits electrons; Plate (anode) - receives the electrons; Grid - with negative bias voltage repels some of the electrons and prevents
VVT VTT VTT VVV VVV VTV Kaasaegse loogika alus: Gottlob Frege 1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse 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). Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). Frege filosoofina: logitsist Hollerith’i perfokaardid 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Hollerith’i firmast tekkis IBM. Vaakumtorud- 1900: vaakumdiood, Lee de Forest: 1906: vaakumtriood. Hulgateooria: Georg Cantor Elas 1845-1918. Hulgateooria rajaja. Paradokside avastamine matemaatikas. Matemaatika alused korraga ebakindlad. Russell & Whitehead 1910-1913: massiivne loogikatraktaat. Principia Mathematica: Paradoksid -> tüüpide teeoria. Filosoofilised vaated: logitsism. Formalism; Hilbert Loogik ja matemaatik: 1862-1943
annaabi.ee 
