Oled siin: Esileht Raamatud Eestikeelsed raamatud Õpikud ja pedagoogika Matemaatika ja informaatika Loogika

Loogika

Mõtlemisest tõestamiseni
Autor Tõnu Tamme, Tanel Tammet, Rein Prank
0 viiest
0 hinnangut
Hinda
Toode on läbimüüdud!
Raamat annab ülevaate tänapäeva loogikast. Teemad:
¤ Loogika ajalugu Aristotelesest analüütilise filosoofiani
¤ Klassikaline loogika kui teadusliku mõtlemise töövahend
¤ Loogika metaprobleemid
¤ Modaalloogika, intuitsionistlik loogika jt mitteklassikalised loogikad
¤ Loogika rakendused programmeerimises ja tehisintellektis

Esimene trükk 1997, teine 2002
Toode on läbimüüdud!