m.a) : väidete struktuur kui iseseisev uurimisobjekt 1967- IBM builds the first floppy disk Süllogism (Aristoteles): 1967 - Seymour Papert designed LOGO as a computer language for children. 1. eeldus: iga x on y. 1968 - Robert Noyce and Gordon Moore found Intel Corporation 2. eeldus: mõni z on x. 1968 - Douglas C. Engelbart, of the Stanford Research Institute, demonstrates järeldus: mõni z on y. his system of keyboard, keypad, mouse, and windows at the Joint Computer Iga b on a Conference in San Francisco's Civic Center. He demonstrates use of a word Mitte ükski b pole a...
1847-1854 George Boole, de Morgan. 1857 perfolint(Wheatstone).1867 "Type writer" sholes,glidden,soule.1879 Kaasaegse loogika alus: Gottlob Frege(öloob kaasaegse predikaatarvutuse). 1890 - Hollerith'i perfokaardid->sellest firmast tekkis IBM.1845-1918 elas, Hulgateooria: Georg Cantor.1920...Enigma kodeerimiseks Saksa lennu-,merevägi.1935-1937 Turingi masin1936: Churchi lambda-arvutus.1930-1935-1937 Vannevar Bush MIT:dif. Võrrandite lahendamiseks(100t,tuhanded releed,150 mootorit,2000lampi). 1889-1951Ludwig Wittgenstein. 1938, Shannon'i magistritöö sidus: Boole algebra. Elektrilülitid ja -skeemid. Bitid ja info kodeerimise. Info otsimise algoritmid.1939-1942 Atanasoff. esimene elektronarvuti?1939-44 Mark I (Aiken) IBMi elektriline(releed)digitaalne arvuti(5t).1941-1944:Konrad Zuse. Z3, Z4. Releedega digitaalarvuti.1948 I transistor(Shockley)- müüma hakkas Bell Corp.1949 - Maurice Wilkes koostas EDSAC, the...
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. Aristotelese puhul alati kaks kategoorilist eeldust, üks kategooriline järeldus Stoikud uurisid, kuidas saab loogiliste sidesõnade (ja, ei, või, kui ...siis)abil lihtsamatest lausetest keerulisemaid kokku panna ja kuidas näidata selliselt moodustatud lausete õigsust. Ramon Llull 1235- 1315 müstik Peateos Ars magna, generalis et ultim...
s, windows 1.0. (if (fn (car lst)) käsurida (CLI), graafika (GUI);Olemasolevad jagav masin. (every? fn (cdr lst)) rakendused, teenused,Vajalik riistvara, 1986 NNTP uudised liiguvad TCP/IP (interneti) Haldusvahendid, #f)#t)) kaughaldus,Stabiilsus,Skaleeruvus,Tugi,Hind). 1640 - Blaise Pascal-aritmeetiline masin kaudu...
I 625 S(hirl(rfll l6-lr) Bl;ilsc Pn$.il1-:lntltecliliilc illitslt ebmgqav: Fortran, C (portaabel assembler), ALslrgKse[-ia r Pakkudaprogrffimeedjalevalmisehtudstandardtiikke-...
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...
sumto ja c näited:1. eeldus: iga koer on imetaja.2. eeldus: jagav masin. programming language”. C (ja C++ ja Java ja C#) mõned neljajalgsed on koerad.järeldus: mõned neljajalgsed on imetajad. 1. eeldus: iga anarhist on int sumto(int n) { süsteemi vastane.2. eeldus: mõned poliitikud on 1640 - Blaise Pascal-aritmeetiline...