on matemaatilise loogika lihtsaim osa. Tema ülesanne on jagada liitlaused lihtlauseteks ja välja selgitada, kuidas liitlause tõeväärtus sõltub komponentlausete tõeväärtustest.
Lausearvutust kasutatakse väga paljudes valdkondades. Erinevad rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises.
Käesolev kursus käsitleb lausearvutust teoreetilisest
ja praktilisest seisukohtast. Põhilised mõisted,
mis vaatluse alla tulevad, on lausearvutusvalem, loogiliselt
tõene ja loogiliselt väär valem, samaväärsed
valemid, normaalkujud. Teoreetiliste teemade kõrval tuuakse
näiteid lausearvutuse kasutamise kohta. Tegemist on pilootkursusega,
mille põhjal kujundatakse välja päriskursus.
Mahult on käesolev kursus ligikaudu võrdne ühe neljandikuga ülikoolis loetavast sissejuhatusest matemaatilisse loogikasse. Arvestuslik maht on1 ainepunkt, mis vastab umbes 40 tunnile iseseisvale tööle. Kursus kestab 4 nädalat. Eeldused osavõtjatele: elementaarne arvutikasutamisoskus, vähemalt 10 tundi nädalas vaba aega, juurdepääs Internetile.
Reimo Palm, reimo_p@ut.ee
1. Sissejuhatus