Teemad: Õpikud • Täppisteadused

Loogika: mõtlemisest tõestamiseni

„Loogika: mõtlemisest tõestamiseni” on pehmekaaneline raamat. Raamatu seisukord: sisu väga heas korras, kaante servades ja pinnal esineb värvikulumisjälgi, kaante nurgad kergelt painutatud.

„Loogika: mõtlemisest tõestamiseni” – tutvustus

Raamat annab ülevaate tänapäeva loogikast. Raamatus „Loogika: mõtlemisest tõestamiseni” 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 „Loogika: mõtlemisest tõestamiseni” sisukord

Raamatu „Loogika: mõtlemisest tõestamiseni” sisukord on veel sisestamata või see puudub sootuks.

Raamatuga „Loogika: mõtlemisest tõestamiseni” seonduvad märksõnad: loogika, matemaatiline loogika, programmeerimine, tehisintellekt, kõrgkooliõpikud

---

Raamatu „Loogika: mõtlemisest tõestamiseni” tehnilised andmed

„Loogika: mõtlemisest tõestamiseni” on pehmekaaneline raamat, 412 lk; 14,2 × 20,5 cm; ↔ 2,2 cm; 450 g.

Raamat „Loogika: mõtlemisest tõestamiseni” on Laos nr 1, saame postitada või kontorisse tuua samal või esimesel TÖÖPÄEVAL.

Raamatu „Loogika: mõtlemisest tõestamiseni” ilmumisandmed: Tartu Ülikool, 1997

ISBN/EAN: 9985562313 (9985-56-231-3)

Ostke raamat „Loogika: mõtlemisest tõestamiseni” hinnaga 24.74

Soovitame lisaks väljaandele „Loogika: mõtlemisest tõestamiseni” vaadata ka neid trükiseid: