Kirjakast
Ainult olulised uudised — värsked raamatud, allahindlused, sündmused. Eesti vanim internetiraamatupood. Maailma suurim Eesti raamatute valik — uued, kasutatud ja antikvaarsed raamatud.
Tallinna kauplus Harju 1, Tallinn E–R 10–19 L–P 10–17 683 7711 Viljandi kauplus Lossi 28, Viljandi T–L 10–18 P–E suletud 683 7712
Loogika | Raamatukoi
R0009850 Loogika https://raamatukoi.ee/raamat/loogika https://raamatukoi.ee/covers/R0009850-lg.webp 20.00 EUR InStock Rein Prank, Tõnu Tamme, Tanel Tammet eesti Pehme kaas
Avaleht › Raamatud › eesti › Loogika Rein Prank, Tõnu Tamme, Tanel Tammet · Tartu Ülikool · 2002
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 Detailid
Alapealkiri Mõtlemisest tõestamiseni
ISBN 9985566661
Aasta 2002
Keel eesti
Köide Pehme kaas
Lehekülgi 414
Mõõdud 202 × 143 mm
Kaal 510 g
Artikkel R0009850
