Loogika
Mõtlemisest tõestamiseni

Kirjastaja: Tartu Ülikooli Kirjastus
2002412 lehekülge
Keel: eesti
Raamat annab ülevaate tänapäeva loogikast. Käsitletakse järgmisi teemasid:
- Loogika ajalugu alates Aristotelesest kuni analüütilise filosoofiani
- Klassikaline loogika kui teadusliku mõtlemise töövahend
- Loogika metaprobleemid: formaalsete süsteemide täielikkus ja lahenduvus ning Gödeli teoreemid formaalse aritmeetika mittetäielikkusest
- Modaalloogika, intuitsionistlik loogika jt mitteklassikalised loogikad
- Loogika rakendused programmeerimises ja tehisintellektis
Seda raamatut pakuvad (0)
Seda raamatut soovivad (0)