ELEMENTY LOGIKI MATEMATYCZNEJ ALEKSANDER RUTKOWSKI -

Produkt: ELEMENTY LOGIKI MATEMATYCZNEJ ALEKSANDER RUTKOWSKI
Producent:
Kategoria: Matematyka

Sklep: antykwariatmole.abc24.pl

Cena brutto: 18,88 zł

Opis: WSiP 1978, str 200, stan bdb- (lekko podniszczona okładka)

SPIS TREŚCI
I. Pojęcia wstępne.
1.1. Oznaczenia.
1.2. Relacje i funkcje
1.3. Zbiory nieskończone. Ilównoliczność
1.4. Przeliczalność
1.5. Suma rodziny zbiorów
1.6. Przecięcie rodziny zbiorów
II. Rachunek zdań
II. 1. Intuicyjne pojęcie zdania.
11.2. Wartości logiczne
11.3. Pojęcie tautologii
11.4. Przegląd ważniejszych tautologii
11.5. Język rachunku zdań
11 6. Tautologie
11.7. Aksjomatyczne ujęcie rachunku zdaii
11.8. Gdzie poszukiwać aksjomatów?
11.9. Wybór zbioru aksjomatów
11.10. Twierdzenie o dedukcji
11.11. Niesprzeczność
11.12. Zupehiość
11.13. Twierdzenie o pełności
11.14. Jeszcze o pojęciu prawdziwości formuł
III. Teorie pierwszego rzędu
ULI. Intuicyjne pojęcie teorii pierwszego rzędu
HI.2. Intuicyjne pojęcie kwantyfikatora
UI.3. Najogólniejsze prawa dotyczące kwantyfikatorów
IU.4. Język teorii pierwszego rzędu
UI.5. Operacja konsekwencji
III.6. Aksjomaty logiczne
IU.7. Aksjomaty równości
IH.8. Teorie pierwszego rzędu
III.9. Teoria grup.
III.10. Arytmetyka Peano
III. 11. Antynomia Russella i teoria mnogości Zermelo-Fraenkla
III. 12. Mesprzeczność, zupełność
111.13. Definiowalność
111.14. Teorie drugiego rzędu
IV. Teoria modeli
IV. 1. Intuicyjne pojęcie spełniania
IV.2. Interpretacja języka
IV.3. Spełnianie
IVA. Model
IV.o. Twierdzenie o pełności
IV.6. Spełnianie aksjomatów logicznych
IV.7. Spełnianie aksjomatów równości
IV. 8. Modele teorii grup
IV.9. Standardowe i niestandardowe modele arytmetyki Peano
IV. 10. Izomorfizm
IV. 11. Zupełność teorii mniejszości
IV. 12. Interpretacje języka teorii mnogości
IV. 13. Aksjomat wyboru. Niezupełnośe teorii mnogości Zermelo-Fraenkla .
IV. 14. O nieudowadnialności niesprzeczności
V. Zagadnienia rozstrzygalnośoi teorii. Twierdzenie Godła
V.l. Intuicyjne pojęcie rozstrzygalnośoi
V.2. Arytmetyzacja
V.3. Funkcje i relacje obliczalne w skończonej ilości kroków
V.4. Własności funkcji i relacji rekurencyjnych ,
V.5. Rekurencyjność funkcji i relacji związanych z językiem i operacją konsekwencji
V.6. Reprezentowalność relacji rekurencyjnych w arytmetyce Peano
V.7. Nierozstrzygalność arytmetyki
V.8. Zagadnienie aksjomatyzowalności teorii pierwszego rzędu
V.9. Próba podsumowania
Bibliografia
Skorowidz nazw
Skorowidz symboli .

< porzedni produkt | powrót do strony podglądu produktów | nastepny produkt >

ZAŁÓŻ SWÓJ WŁASNY SKLEP INTERNETOWY !!!
abc24.pl - proste, tanie i niezawodne rozwiązanie e-commerce dla Ciebie ! Testuj za darmo !