|
ELEMENTY LOGIKI FORMALNEJ
L. Borkowski
PWN, 1977 str. 156 stan db (przykurzona, podniszczona lekko okładka)
Książka niniejsza zawiera elementarne wiadomości z podstawowych działów logiki formalnej oraz krótką charakterystykę nauk dedukcyjnych.
Ma ona stanowić pomoc dla studentów różnych specjalności przy przerabianiu kursów logiki formalnej. Może wystarczyć jako jedyny podręcznik dla słuchaczy tych kursów logiki, których materiał ogranicza się do wiadomości z rachunku zdań, kwantyfikatorów, zbiorów i relacji oraz wiadomości o naukach dedukcyjnych. Dla słuchaczy tych kursów logiki, których materiał nie ogranicza się do logiki formalnej, książka niniejsza może stanowić podręcznik uzupełniający w stosunku np. do podręczników K. Ajdukiewicza: Zarys Logiki, Logika Pragmatyczna (lub innych nietylkodlamoli podręczników logiki tego rodzaju), podających w krótkim lub bardziej obszernym ujęciu wiadomości z tzw. logiki ogólnej i metodologii nauk.
SPIS RZECZY
Wstęp
Rozdział I. Podstawowe pojęcia logiczne
§ 1. Wnioskowanie dedukcyjne
§ 2. Kategorie składniowe wyrażeń
§3. Wynikanie logiczne
Zadania.
Rozdział II. Rachunek zdań.
§ 1. Funktory rachunku zdań
§ 2. Metoda dowodów założeniowych
§ 3. Metoda sprawdzania zerojedynkowego
§ 4. Wybrane logiczne schematy i prawa rachunku zdań
Zadania.
Rozdział III. Rachunek kwantyflkatorów. Identyczność
§ 1. Diagramy Venna. Wybrane prawa i schematy logiczne rachunku kwantyfikatorów .
§ 2. Metoda dowodów założeniowych
§ 3. Identyczność
Zadania.
Rozdział IV. Rachunek zbiorów i relacji
§ 1. Podstawowe pojęcia rachunku zbiorów
§ 2. Wybrane pojęcia rachunku relacji
§ 3. System algebry Boole'a
Zadania.
Rozdział V. Rachunek nazw
§ 1. Tradycyjny rachunek nazw .
§ 2. Współczesny rachunek nazw
Zadania.
Rozdział VI. Definicje
Zadania.
Rozdział VII. O naukach dedukcyjnych
Skorowidz znaków
Skorowidz nazw
Zapraszam na inne moje aukcje
|
|
