1. nädal • Eksamiks: pead teadma suuruse-numbreid ja mida nad tähendavad: bitt, bait, kilobait, megabait jne; oskad selgitada, kuidas tähti kodeeritakse, mis on algoritm ja mis programm. Ajaloost: Kreeka loogikud, induktsioon, deduktsioon, süllogismid, lausearvutus (pead mh oskama tõeväärtustabelit koostada), Pascal, Leibniz, perfokaardid, kangasteljed, Babbage, Hollerith, colossus ja saksa krüptomasinad, Turing, Shannon, Zuse, esimesed programmeeritavad arvutid. Algoritm – täpne samm-sammuline, kuid mitte tingimata formaalne juhend millegi tegemiseks. Nt toiduretsept, juhend ruutvõrrandi lahendamiseks. Programm – formaalses, üheselt mõistetavas keeles kirja pandud algoritm. Arvutid suudavad täita ainult programme. Bitt – info mõõtmise ühik, tuleb mõistest binary digit – nö kahendarv kahe võimaliku väärtusega 0 ja 1
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- 20th century to protect commercial, diplomatic, and military communication. It was employed
Turingi masin 1937 Universaalne masin suudab arvutada/järeldada kõike Turingi tees: kõike mida saab üldse mingi masinaga järeldada/arvutada, saab ka Turingi masinaga arvutada Parmenides (5 saj. e.m.a) kasutas pikki loogilisi põhjendusi. Zenon Elast (5 saj e.ma) paradoksid Sofistid-Sokrates (470-399 e.m.a), Platon (428/427 - 348/347e.m.a) Aristoteles: väidete struktuur kui iseseisev uurimisobjekt Süllogismi näited:1eeldus:iga koer on imetaja, 2eeldus mõned neljajalgsed on koerad, järeldus: mõned neljajalgsed on imetajad. Süllogism on väitlus, kus mingitest etteantud väidetest järeldub paratamatult uus väide
1890 - Hollerith'i perfokaardid->sellest firmast tekkis IBM BCPL derivative of ALGOL (Strachey) B simplified derivative of BCPL (Ken Thompson) 1845-1918 elas, Hulgateooria: Georg Cantor. C derivative of B (Dennis & Ritchie) 1935-1937 Turingi masin1936: Churchi lambda-arvutus 1975 Micro-Soft(Gates ja Allen), IBM 5100 (esimene "läpakas"), 1930-1935-1937 Vannevar Bush MIT:dif. võrrandite lahendamiseks. 1976 - Apple Computer(Jobs, Wozniak), vi 1889-1951Ludwig Wittgenstein
"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 KURT GÖDEL 1906-1978 1930: loogika baaskeel predikaatarvutus on täielik 1931: formaalne aritmeetika ei ole täielik, seda ei saagi lõpliku formaalse süsteemiga kirjeldada TURINGI MASIN 1935-1937: artikkel Turingi masinast: universaalsus, mittelahenduvus Lihtne abstraktne arvuti, mida kasutatakse arvutatavuse ja selle piiride uurimiseks. Kuna masina seisundite ja lindil olevate tähiste arv on lõplik, siis on ka tabel lõpliku suurusega ja seda saab hoida lindil. LAMBDA ARVUTUS 1936: Churchi tees universaalsus, mittelahenduvus Lambda-arvutus (-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises. CLAUDE SHANNON
canadas.1960 COBOL(Pentagonis arendas Hopper)-muutujad jades ja kirjetes;LISP(McCarthy)-programm koosn loendite hulgast.1963 hiire patent(Engelbart).1964 - CDC's 6600 supercomputer(Cray),Basic progekeel(Kurtz,Kemeny).1965 Moores law(integrated circuits double iga aasta);PDP8 I kommerts miniarvuti(tutvustas DEC).1967 I floppy disk (IBM);LOGO arvutikeel lastele(Papert).1968 - Intel Corp(Moore, Noyce lahkusid Fairchild Semiconductorsst).1969 UNIX op.sys(Belli labor - ritchie,Thompson);4004 mikropr loomise algus (intel Hoff);XEROX laserkiire domonstr(starkweather),avab PARCi;AMD(Sanders);C keele areng kuni 1973. 1970 4004 I 4bit mikroprotsessor valmis(Intel Faggin)1971a kommerts. 1971 - Arpanet arvuti-arvutis ühendus(interneti eelkäija). 1972 - Nolan loob Atari,mis teeb Pongi(I-si video mange) ja colossal cave;HP progev kalkulaator magnetribaga;first logic programming language
Mõni b on a colleagues. Mõni b ei ole a 1969 - AT&T Bell Laboratories programmers Kenneth Thompson and Dennis süllogism on väitlus, kus mingitest etteantud väidetest (eeldustest) järeldub Ritchie developed the UNIX operating system on a spare DEC minicomputer. paratamatult uus väide 1970 - Intel creates the first 4004 microprocessor. Schickard 1625: väitis ehitanud olema liitva, lahutava, korrutava, jagava masina 1971 - Computer-to-computer Communication expanded when the Department Kristlik filosoof Blaise Pascal 1640: aritmeetiline masin: ainult liitis ja lahutas of Defense established four nodes on the ARPANET
1845-1918 elas, Hulgateooria: Georg Cantor. 1989 – inteli 80486, AOL(America online) Applile 7.smto,python Pea silmas, et: arvuti suudab täita ainult masinkoodis programme. On olemas kaks ja MACile. Python!! Python põhivarianti keeles X programmi 1920…Enigma kodeerimiseks – Saksa täitmiseks.Kompileerimine: masinkoodis
Hulgateooria: Gcorg Cilntor. r coBoL Rakendused: DNS, NFS, TFTP. PROCEDURE SUMTO USING N, Answer. TCP - Uhendusorisieeritud, Usaldatav 1935-1937 Turingi rlasinl g36: Clurchi laurbda-amtus 8egin. HTTP on omaetle protokoll. mida kasutalakse veebilehtede, piltide, tekstifailide, zip failide jne jne saatmiseks veebiseryeri
Sissejuhatus infotehnoloogiasse 1. Loeng Algoritm on täpne samm-sammuline, kuid mitte tingimata formaalne juhend millegi tegemiseks. Näited: a. Toiduretsept. b. Juhend ruutvõrrandi lahendamiseks Algoritmiline probleem - probleem, mille lahenduse saab kirja panna täidetavate juhendite loeteluna. Programm on formaalses, üheselt mõistetavas keeles kirja pandud algoritm. Arvutid suudavad täita ainult programme. Analoogsüsteem andmeid salvestatakse (peegeldatakse) proportsionaalselt Näit: termomeeter, vinüülplaat, foto Digitaalsüsteem (pidevad) andmed lõhutakse üksikuteks tükkideks, mis salvestatakse eraldi Näit: CD, arvutiprogramm, kiri tähtede ja bittidena Ühelt teisele: digitaliseerimine The three major comparisons of computers are: Electronic computers versus Mechanical computers
3.Seostab kõik protsessid, pandud algoritm. Arvutid suudavad täita ainult failid jm omanikuga ja piirab protsesside 1837 Morse elektritelegraaf. 1990 TBL browser NeXTil,HTML ja www, programme..Analoogsüsteem - andmeid pöördumise failide/ressursside poole vastavalt salvestatakse (peegeldatakse) proportsionaalselt pääsu- ja kasutusõigustele. (berners-lee) avalikuks 1991, Windows 3
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 EDSAC 1949, esimene praktiline stored-program arvuti, programmid olid aukudega peberiribadel ERA 1101 1950 ESIMENE KOMMERTS-TOOTMISES ARVUTI, hoidis bitte
Induktsioon on filosoofias arutlemise viis, mille puhul sellest, et ühtedel asjadel on teatav omadus, järeldatakse, et see omadus on ka mõnel teisel asjal või isegi kõikidel samalaadsetel asjadel Deduktsiooni on tavaks määratleda arutlusena üldiselt üksikule. Kogutust infost teha konkreetsele probleemile järeldusi. Süllogism(Aristoteles): 1. eeldus: iga x on y. 2. eeldus: mõni z on x. järeldus: mõni z on y. 1939.a. Alan Turingi idee, milline võiks olla lihtne universaalne arvuti: suudaks arvutada/järeldada kõike. Turingi tees: kõike, mida üldse saab mingi masinaga arvutada/järeldada, saab ka Turingi masinaga arvutada.Тест Тюринга - заключается в том, что если хотя бы 50% общавшихся с компьютером в чатоподобной программе скажут, что это был человек, а
Kas JavaScript on W3C standard?---- EI Milline allolevatest tagidest defineerib tabeli välja?---
A... AA Auto Answer AAA Authentication, Authorization and Accounting AAB All-to-All Broadcast AAC Advanced Audio Coding AACS Advanced Access Control System AAL Asynchronous Transfer Mode Adaption Layer AAM Automatic Acoustic Management AAP Applications Access Point [DEC] AARP AppleTalk Address Resolution Protocol AAS All-to-All Scatter AASP ASCII Asynchronous Support Package AAT Average Access Time AATP Authorized Academic Training Program [Microsoft] .ABA Address Book Archive (file name extension) [Palm] ABAP Advanced Business Application Programming [SAP] ABC * Atanasoff-Berry Computer (First digital calculating machine that used vacuum tubes) ABEND Abnormal End ABI Application Binary Interface ABIOS Advanced BIOS ABIST Automatic Built-In Self-Test [IBM] ABLE Adaptive Battery Life Extender + Agent Building and Learning Environment [IBM] ABM Asynchronous Balanced Mode ABR Available Bit Rate