Pidevad ehk analoog-asjad Komaga arvud, murrud jms Trigonomeetria Matemaatiline analüüs Klassikaline füüsika Mõõtmised, tugevus jms klassikaline insenerivärk Katkevad ehk diskreetsed asjad Täisarvud Loogika Hulkade struktuurid Tekstid Programmid Informaalne loogika: teatud vaidlusmeetodite analüüs. Formaalne loogika: reeglisüsteemid ja algoritmid nö mehaaniliseks järelduste tegemiseks reeglisüsteemide kui matemaatiliste objektide uurimine. 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
derivative of BCPL (Ken Thompson);C derivative of mõtlemise ehk õige mõtlemise ehk seda, mida ja B (Dennis & Ritchie). messengerid muutuvad populaarseks.Google muutub kuidas üldse mõelda saab. Informaalne loogika: domineerivaks otsimootoriks + võrguteenuste teatud vaidlusmeetodite analüüs. Formaalne 1952 - Nixdorf Computer Corp, liitus 1990 pakkujaks.XML-põhised veebiteenused loogika: reeglisüsteemid ja algoritmid nö mehaaniliseks järelduste tegemiseks. Siemensiga. ärirakendustes
1973 - Ethernet (arvutid traatidega yhenduses) Answer. seda, mida ja kuidas üldse mõelda saab. Eksamis olnud küsimused: (Metcafe). Begin. Informaalne loogika: teatud vaidlusmeetodite 1)Mis vahe on TCP-l ja IP-l? Mille jaoks 1974 - ALTO personaalarvuti(Xeroxilt) –suur mõju analüüs. Formaalne loogika: reeglisüsteemid ja PERFORM VARYING algoritmid nö mehaaniliseks järelduste tegemiseks. kasutatakse? Kirjuta TCP ja IP päis(detaile pole microsoftile ja macintoshile
Tartu Statistikud Arvutusmeetodite teoreetikud Muud matemaatikud ITK TTÜ Tartu Ettevõtted Loeng 2 Loogika on teadus mõtlemise alustest. Loogika uurib mõtlemise paratamatuid aspekte ehk seda, mis üldse teeb mõtlemisest mõtlemise ehk õige mõtlemise ehk seda, mida ja kuidas üldse mõelda saab. Informaalne loogika: teatud vaidlusmeetodite analüüs. Formaalne loogika: reeglisüsteemid ja algoritmid nö mehaaniliseks järelduste tegemiseks reeglisüsteemide kui matemaatiliste objektide uurimine. Arvutid on mõtlemise masinad. Loogika teke Parmenides (5 sajand e.m.a.) : kasutas pikki loogilisi põhjendusi. Zenon Eleast (5 sajand e.m.a.) - apooriad/paradoksid Sofistid - Sokrates (470-399 e.m.a) - Platon (428/427 - 348/347 e.m.a):
annaabi.ee 
