Loogika
Rein Prank, Tõnu Tamme, Tanel Tammet · Tartu Ülikool · 2002
Loogika
Mõtlemisest tõestamiseni
Rein Prank, Tõnu Tamme, Tanel Tammet · Tartu Ülikool · 2002
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
Pakiautomaati 1–2 p Tule ise järele*Hinnad kehtivad veebipoest ostmisel; kauplustes võivad hinnad erineda
Detailid
- Alapealkiri
- Mõtlemisest tõestamiseni
- Autorid
- Rein Prank, Tõnu Tamme, Tanel Tammet
- ISBN
- 9985566661
- Aasta
- 2002
- Kirjastus
- Tartu Ülikool
- Keel
- eesti
- Köide
- Pehme kaas
- Lehekülgi
- 414
- Mõõdud
- 202 × 143 mm
- Kaal
- 510 g
- Artikkel
- R0009850
- Märksõnad
- kõrgkooliõpikud, loogika, matemaatiline loogika