|
» PROMOCJE !!! » NOWOŚCI !!! PROMOCJE (33) TECHNIKA I MECHANIKA Fotografia (54)Mechanika (182) Elektryka, Elektronika (367) Architektura i budownictwo (195) Technika (550) Automatyka (65) Wyd. przed 1950 r. (51) NAUKI ŚCISŁE Matematyka (241) »Chemia (207) Fizyka (119) Informatyka (84) Astronomia (16) Wyd. przed 1950 r. (39) NAUKI HUMANISTYCZNE I SPOŁECZNE Pedagogika (204)Psychologia (218) Ekonomia i zarządzanie, prawo (279) Polityka, politologia (73) Sztuka i kultura (339) Językoznawstwo, polonistyka (334) Etnologia, antropologia (72) Etyka (7) Socjologia (69) Filozofia (168) Wyd. przed 1950 r. (52) NAUKI PRZYRODNICZE Biologia (210)Geografia (36) Geologia, geodezja (75) Ekologia (52) Rolnictwo, zootechnika (53) Wyd. przed 1950 r. (44) HISTORIA Polski (748)Powszechna (304) Biografie, wspomnienia (604) Wyd. przed 1950 (62) LITERATURA POPULARNA Proza i dramat polski (476)Proza i dramat zagraniczny (628) Książki wydane przed 1950 rokiem (426) Fantastyka, Science-fiction (124) Książki popularnonaukowe (255) Horror (34) Poezja (139) Sagi (3) Ezoteryka, UFO (113) Poradniki (376) Komiksy (25) Erotyka (21) Humor (18) Audiobooki (1) LITERATURA DLA DZIECI Polska (154)Zagranica (113) Wyd. przed 1950 r. (3) SŁOWNIKI I ENCYKLOPEDIE Słowniki (58)Encyklopedie (9) Wyd. przed 1950 r. (12) KSIĄŻKI KULINARNE Książki kulinarne (150)Wyd. przed 1950 r. (2) KSIĄZKI OBCOJĘZYCZNE Wyd. przed 1950 rokiem (77)Wyd. po 1950 roku (125) RELIGIE, TEOLOGIA Religie, teologia (1198)Wyd. przed 1950 r. (80) SPORT, TURYSTYKA, KRAJOZNAWSTWO Sport, turystyka (601)Wyd. przed 1950 r. (8) MUZYKA Nuty, śpiewniki (76)Pozostałe (49) Wyd. przed 1950 r. (33) MEDYCYNA, ZDROWIE Medycyna, zdrowie (432)Wyd. przed 1950 rokiem (21) PODRĘCZNIKI Do nauki języków (114)Przedmioty podstawowe (28) Przedmioty zawodowe (14) Wyd. przed 1950 r. (6) POZOSTAŁE Albumy (136)Czasopisma (63) Mapy (10) Stara reklama Varia (3)Autografy, dedykacje (11) 
Napisz do nas
784 088 234 ZadzwońCzynne od 9.00 - 19.00 | 
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 . |
 |