Elementarna logika formalna: Zaprogramowany kurs

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Elementary Formal Logic: A Programmed Course

Zawartość książki:

Pierwotnie opublikowany w 1966 roku.

Jest to samouczący się kurs przeznaczony dla studentów pierwszego roku uniwersytetu, którzy nie mieli wcześniej styczności z logiką. Książka zajmuje się logiką zdań za pomocą metody tabeli prawdy, krótko wprowadzając procedury aksjomatyczne, a następnie przechodzi do teorii sylogizmu, logiki predykatów jednomiejscowych i elementarnych części logiki predykatów wielomiejscowych.

Materiał powtórzeniowy obejmuje główne części kursu. Kurs obejmuje od ośmiu do dwudziestu godzin pracy, w zależności od tempa pracy studenta i od tego, czy wybrano rozdziały opcjonalne.