Loogika. Mõtlemisest tõestamiseni - Tõnu Tamme
- Eseme ID: 162772852
- Jaga
Loogika. Mõtlemisest tõestamiseni - Tõnu Tamme
Eseme ID: 162772852
Seisukord: Kasutatud
Tarneaeg: 3 päeva
Ese on läbi müüdud või ei ole aktiivne
Ese on läbi müüdud või ei ole aktiivne
| 8.00 EUR | |
| Vaadatud: | 131 |
Tallinn, Harjumaa, Eesti
Ettevõte|Kasutaja alates 2021
243
edukat müüki aasta jooksul
Postitab tavaliselt 1 päevaga
Ostukaitse igal ostul tasuta
- Turvatud maksed
- Autenditud müüjad
- Kiire klienditugi
- Soodne transport
| Seisukord: | Kasutatud |
|---|---|
| Asukoht: | Tallinn, Harjumaa, Eesti |
| Keel: | Eestikeelne |
| Tarneaeg: | 3 päeva |
| Transport: |
SmartPOST (XS)
Omniva (XS)
DPD pakiautomaat (XS)
Unisend (XS) Kokkuleppel müüjaga Abi |
| Tagastamine: | Tagastusõigus vastavalt seaduses sätestatud korrale. Loe rohkem |
| Maksmine: | pangaülekandega, deposiidikandega, Osta.ee e-konto ülekandega |
| Müüja: | ANER literature100%positiivset tagasisidet vaata kasutaja e-poodi |
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
Raamatu seisukord: hea
Küsimused müüjale
Ainult vastatud küsimused on kõigile nähtavad. NB! Oma kontaktandmete jagamise korral ei saa Osta.ee teid petturite eest kaitsta.