Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks. Kokkulepped sulgude kohta: 1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->. 2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsu...
Arvuti riistvara 1. Arvutustehnika ajalugu a. Kes on nende kuulsate sõnade autor(id)? “640K mälu peaks olema piisav kõikidele.” ■ Vastus: Bill Gates b. Milline oli esimene kommertsmikroprotsessor? ■ Vastus: 4004 c. Milline oli esimene tabelarvutusprogramm? ■ Vastus: VisiCalc d. Milline nendest firmadest esitles esimesena WYSIWYG konsteptsiooni? ■ Xerox e. Milline nendest firmadest valmistas esimese 32bitise protsessori? ■ National Semiconductor f. Milli(ne/sed) arvuti(d) aitasi(d) briti valitusel II maailmasõja ajal murda koode? ■ Colossus g. Milline organisatsioon lõi WWW esialgse spetsifikatsiooni? ■ CERN 2. Arvuti, mis see on? 3. Protsessorid 1 4. Protsessorid 2 a. vahemälu Smart Cache b. tr...