PWN, 1972, str. 156 stan db (przykurzona, podniszczona lekko okładka) ISBN 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. Hozdział 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
|
randki |
rozrywka |
darmowe aliasy |
darmowe forum |
sklepy |
opinie, testy, oceny |
darmowa toplsta