Aristoteles (470-399 e.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
1625 - Schickard väitis,et tegi I liitev, lahutav, korrutav, 1978 – VAX11/780 , inteli 8086 mikropr;Raamat ”C 4.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 masin – 1979 �
1625 - Schickard väitis,et tegi I liitev, lahutav, korrutav, juhitav), GNU(Stallman)tasuta op.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;inteli 80386.
I 625 S(hirl(rfll l6-lr) Bl;ilsc Pn$.il1-:lntltecliliilc illitslt ebmgqav: Fortran, C (portaabel assembler), ALslrgKse[-ia r Pakkudaprogrffimeedjalevalmisehtudstandardtiikke- 1616-11 I6
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 ultima; Leonardo da Vinci ca 15
tutvu lausearvutuse keskkonnaga: http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html Millistel muutuja väärtustel on lause (Av(B&A))v(-A&(Cv(B&-C))) väär? Panna tuleb results only, 0 on väär 1 on õige Tutvu ajalooga saidis kuni II maailmasõda: http://www.maxmon.com/history.htm Loe läbi jutt ja proovi andmetega mängida: http://math.hws.edu/TMCM/java/DataReps/index.html Kahend süsteemi arvu(101101001) ->kümnend süsteemiks. Nr sisse ja bianarile punkt, ja vaatan base ten integeri kümnendarvudest annab Ecki appletis juuresoleva graafilise kujutise, teen kujundi ja vaatan base integeri mis vastab kahendsüsteemi arvule 1110001 ASCII tabelis? Nr sisse ja punkt bianari, vaatan ...teksti Kümnendsüsteemi arv 33 on kahendsüsteemis? 33 kirjutan ja Base-ten integer, vaatan bianary Loe läbi jutud Atbashi ja Caesari šifri (Caesar cipher) kohta: http://www.wikipedia.org 2 Tutvu ajalooga kuni 1970ndad: http://www.islandnet.com/~kpolsson/comphist/ 47-68 ingli
193798 – matrikli number
1. Kontrolltöö
Meie kursus lõpeb ....
193798 – matrikli number
1. Kontrolltöö
Meie kursus lõpeb ....
Kõik kommentaarid