Sissejuhatus infotehnoloogiasse konspekt 2020
programm Eksam- Eksamformaalses üheselt mõistetavas keeles kirja pandud algoritm
Ajaloost:
Kreeka Eksamloogikud
Parmenides (5 sajand e.m.a.) : kasutas pikki loogilisi põhjendusi.
Zenon EksamEleast (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, loogika teke
Süllogismid Eksam= Eksamloogilised Eksamjäreldused
induktsioon Eksam– Eksamtõenäolisusel Eksampõhinev Eksamjäreldus Eksamehk Eksamarutlemise viis, asjadel omadus, järeldatakse et
sama omadus ka teistel või kõigil sellistel asjadel,
deduktsioon Eksam– Eksameelduste Eksamtõesus Eksamtagab Eksamjärelduse Eksamtõesuse
lausearvutus (pead Eksammh Eksamoskama Eksamtõeväärtustabelit Eksamkoostada),