Näita lihtsat nimetuse kirjet

dc.contributor.authorEintalu, Jüri
dc.date.accessioned2016-07-12T11:26:42Z
dc.date.available2016-07-12T11:26:42Z
dc.date.issued2007
dc.identifier.urihttp://hdl.handle.net/123456789/378
dc.description1.Mis on loogika ; 2.Loogika ajaloost ; 3.Lausearvutus ; 4.Predikaatarvutuse alged ; 5.Mitteklassikalisi loogikaid ; 6.Implikatsioon, järeldus, konditsionaal ja kontrafaktuaal ; 7.Loogika rakendusi ; Kirjandusviitedet_EE
dc.description.abstractHoiatuseks olgu öeldud, et käesolev raamat lähtub nn kaasaegsest ehk matemaatilisest loogikast, mis rajati üle saja aasta tagasi. Nn traditsioonilist loogikat siiski põgusalt tutvustatakse. Lisaks sellele esinevad mitmed traditsioonilise loogika teemad uuel kujul ka kaasaegses loogikas. Arvutustehnikaid on loogika õpikutes sageli esitatud algaja jaoks ebapiisava selguse ja detailsusega. Nende tehnikate õppimiseks tuleb viibida loengutes ja harjutustundides.et_EE
dc.language.isootheret_EE
dc.publisherSisekaitseakadeemiaet_EE
dc.subjectloogikaet_EE
dc.subjectmatemaatiline loogikaet_EE
dc.titleSissejuhatus loogikasseet_EE
dc.typeBooket_EE


Failid selles nimetuses

Thumbnail

Nimetus asub järgmis(t)es kollektsiooni(de)s:

Näita lihtsat nimetuse kirjet