What do you think?
Rate this book
Loogika: mõtlemisest tõestamiseni
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
- 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
412 pages, Paperback
Published January 1, 1997
1 person is currently reading
5 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.