Az első logikai tanfolyam

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 5 olvasói szavazat alapján történt.

Eredeti címe:

A First Course in Logic

Könyv tartalma:

A First Course in Logic az első rendű logikába való bevezetés, amely első és másodéves matematikusok és informatikusok számára alkalmas. A kurzusnak három összetevője van: állítólagos logika; Boole-algebrák; és predikátum/elsőrendű, logika.

A logika a matematikai bizonyítások alapja -- honnan tudjuk, hogy amit mondunk, az igaz? -- és az informatikának is -- honnan tudom, hogy ez a program azt fogja csinálni, amit gondolok? Meglepően kevés matematika szükséges a logika elsajátításához és megértéséhez (ez a kurzus nem tartalmaz semmilyen számítást).

Az igazi matematikai előfeltétel a szimbólumok manipulálásának képessége: más szóval az alapvető algebra. Bárkinek, aki tud programokat írni, rendelkeznie kell ezzel a képességgel.