Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 5 głosach.
A First Course in Logic
A First Course in Logic to wprowadzenie do logiki pierwszego rzędu odpowiednie dla matematyków i informatyków pierwszego i drugiego roku. Kurs składa się z trzech części: logiki zdań, algebr boolowskich oraz logiki predykatów/logiki pierwszego rzędu.
Logika jest podstawą dowodów w matematyce - skąd wiemy, że to, co mówimy, jest prawdą? -- a także w informatyce - skąd wiem, że ten program zrobi to, co myślę, że zrobi? Zaskakująco mało matematyki jest potrzebne do nauki i zrozumienia logiki (ten kurs nie obejmuje żadnego rachunku różniczkowego).
Prawdziwym matematycznym warunkiem wstępnym jest umiejętność manipulowania symbolami: innymi słowy, podstawowa algebra. Każdy, kto potrafi pisać programy, powinien posiadać tę umiejętność.