Sissejuhatus infotehnoloogiasse konspekt 2020
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),
Blaise EksamPascal Eksam– Eksam1640 aritmeetiline masin(50tk): liitis ja lahutas
Leibniz Eksam– EksamSaksa filosoof 1646 – 1716, Leibnizi Eksamarvuti(1671) Eksamliitis, Eksamlahutas, Eksamkorrutas, Eksamjagas
lõi Boole’ga sarnaneva loogikasüsteemi (deprecated)
püüdis luua universaalset sümbolkeelt “arutlemise aritmeetika” jaoks