ELEMENTY LOGIKI FORMALNEJ

Ludwik Borkowski

Wydawnictwo: PWN, 1974
Oprawa: miękka
Stron: 154
Stan: bardzo dobry, nieaktualna pieczątka

SPIS TREŚCI:

Rozdział I. Podstawowe pojęcia logiczne
§ I. 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 kwantyfikatoró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