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): Aristoteles: väidete struktuur kui iseseisev uurimisobjekt süllogism on väitlus, kus mingitest etteantud väidetest (eeldustest) 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 Elas: 1235-1315 Müstik
communication) - NFC võimaldab ka krüptosuhtlust arvutiga, saab teha turvalisemaid lahendusi Biomeetrilised tõendid · Anatoomilised Sõrmejälg Sõrme kuju Nahapoorid Käelaba Käe veenid Silma võrkkest Silma vikerkest Nägu - piisab fotost · Käitumuslikud Allkiri - surve, kiirus, lõpptulemus Kõne - hääl, tämber, tempo, kõnevead, salvestis Tippimisrütm · Muud Lõhn DNA struktuur Arvestama peab valede ja valepositiivsete võimalikku hulka (sõrmejälg võib ajas muutuda), kasutusmugavust (laseriga silma skännimine), psühholoogilisi probleeme (mille jaoks DNA-d veel kasutatakse) jpm Paroolkaitse näide -- Unix · Parooli seadmisel genereeritakse juhuarv ("sool", 2 tähte) - et identsed paroolid saaksid erinevad räsid, võimalikud hulgad 2 tähe puhul 210-212 · Parool koos soolaga räsitakse, meelde jäetakse sool ja räsi
* Ütle kasutajale "Osta elevant ära!". Senikaua korda küsimust, kuni kasutaja lõpuks ise kirjutab "elevant". Korrutustabel ... ehk näide, kuidas eelnevalt vaadatud tarkused ühe programmi sisse kokku panna ning mis selle peale ka midagi tarvilikku teeb. Algul on näha, kuidas otse programmi käivitamise juures ka mõned andmed sinna kätte anda. Et kui kirjutan Korrutustabel 4 5 siis saadakse sellest aru, et soovin korrutustabelit nelja rea ja viie veeruga. Nende käsurea parameetrite püüdmiseks on alamprogramm Main-i ümarsulgudes koht string[] argumendid. Kõik käsureale kirjutatud sõnad (ka üksik number on arvuti jaoks sõna) pannakse sinna argumentide massiivi ehk jadasse, kust neid järjekorranumbri järgi kätte saab. Andmetüüp string[] tähendabki, et tegemist on stringide ehk sõnede ehk tekstide massiiviga. Kirjutades massiivi järgi .Length, saab teada, mitu elementi selles massiivis on - mis praegusel juhul on
bar(0) = 1 bar(x) = 2*bar(x1) map0([],g) = [0] map0([h|t],g) = [g(h) | map(t,g)] Mis on avaldise map0([2,3,2],bar) arvutamise tulemuseks? Mis tüüpi keeles on programm kirjutatud? 10 Millist tarkvaraüs teemi soovitab Joel Spolsky projektiplaani koostamiseks kasutada? Sissejuhatus Iga nformaatikasse Loeng 1 Van Neuman'i arvuti: mälu – programmid vajalik info e. Data Esimesed arvutid 17 sajandil. Loeng 2 Deduktsioon Induktsioon Aristoteles: väidete struktuur kui iseseisev uurimisobjekt Süllogismide näited: 1. eeldus: iga koer on imetaja. 2. eeldus: mõned neljajalgsed on koerad. järeldus: mõned neljajalgsed on imetajad. Süllogism on väitlus, kus mingitest etteantud väidetest (eeldustest) järeldub paratamatult uus väide. Stoikud: lausearvutus 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.
Kõik kommentaarid