|
» PROMOCJE !!! » NOWOŚCI !!! PROMOCJE (33) TECHNIKA I MECHANIKA Fotografia (54)Mechanika (183) Elektryka, Elektronika (382) Architektura i budownictwo (204) Technika (559) Automatyka (65) Wyd. przed 1950 r. (51) NAUKI ŚCISŁE Matematyka (237) »Chemia (212) Fizyka (117) Informatyka (84) Astronomia (16) Wyd. przed 1950 r. (39) NAUKI HUMANISTYCZNE I SPOŁECZNE Pedagogika (231)Psychologia (216) Ekonomia i zarządzanie, prawo (281) Polityka, politologia (74) Sztuka i kultura (341) Językoznawstwo, polonistyka (337) Etnologia, antropologia (72) Etyka (8) Socjologia (71) Filozofia (178) Wyd. przed 1950 r. (52) NAUKI PRZYRODNICZE Biologia (214)Geografia (36) Geologia, geodezja (75) Ekologia (52) Rolnictwo, zootechnika (51) Wyd. przed 1950 r. (44) HISTORIA Polski (747)Powszechna (303) Biografie, wspomnienia (602) Wyd. przed 1950 (63) LITERATURA POPULARNA Proza i dramat polski (475)Proza i dramat zagraniczny (629) Książki wydane przed 1950 rokiem (430) Fantastyka, Science-fiction (124) Książki popularnonaukowe (253) Horror (34) Poezja (138) Sagi (3) Ezoteryka, UFO (109) Poradniki (387) Komiksy (25) Erotyka (20) Humor (17) Audiobooki (1) LITERATURA DLA DZIECI Polska (153)Zagranica (114) Wyd. przed 1950 r. (3) SŁOWNIKI I ENCYKLOPEDIE Słowniki (57)Encyklopedie (10) Wyd. przed 1950 r. (12) KSIĄŻKI KULINARNE Książki kulinarne (147)Wyd. przed 1950 r. (2) KSIĄZKI OBCOJĘZYCZNE Wyd. przed 1950 rokiem (77)Wyd. po 1950 roku (125) RELIGIE, TEOLOGIA Religie, teologia (1184)Wyd. przed 1950 r. (87) Sport, turystyka (603) Wyd. przed 1950 r. (8) MUZYKA Nuty, śpiewniki (75)Pozostałe (51) Wyd. przed 1950 r. (34) MEDYCYNA, ZDROWIE Medycyna, zdrowie (429)Wyd. przed 1950 rokiem (21) PODRĘCZNIKI Do nauki języków (113)Przedmioty podstawowe (31) Przedmioty zawodowe (16) Wyd. przed 1950 r. (6) POZOSTAŁE Albumy (136)Czasopisma (64) Mapy (10) Stara reklama Varia (3)Autografy, dedykacje (11) | 
Opis: PWN 1981 str. 226, stan db W książce tej podane są najważniejsze pojęcia i twierdzenia dotyczące klasycznego rachunku kwantyfikatorów. Przez rachunek ten będziemy rozumieć oparty na dwuwartościowej logice zdaniowej rachunek kwantyfikatorów pierwszego rzędu ze stałymi indywiduowymi i literami funkcyjnymi, a przy tym taki, że każda jego formuła logicznie prawdziwa jest też jego tezą. Ubocznie rozważane są też pewne językowe warianty rachunku klasycznego — są one wszystkie zgromadzone w osobnym rozdziale. Wzgląd na zastosowania spowodował również, że dość obszernie omówiona została logika kwantyfikatorów z identycznością. Predykat identyczności potraktowany został jednak w zasadzie jako predykat pozalogiczny Oczywiście, musiały znaleźć w tej książce miejsce pewne elementarne fragmenty teorii modeli (pojęcie spełniania i modelu, twierdzenie Godła, pojęcie ultraproduktu itp.), wiadomości na ten temat ograniczone są jednak do minimum niezbędnego do przedstawienia podstawowych faktów z teorii logiki kwantyfikatorów. Dwa rozdziały, mianowicie: rozdział przedstawiający pewne algebraiczne metody w teorii rachunku kwantyfikatorów (14) oraz rozdział prezentujący formalizm Gentzena (18), wymagały zamieszczenia pewnych wiadomości wstępnych nie należących tematycznie do zakresu spraw omawianych w tej książce. Zostały one zawarte w Dodatku I dotyczącym teorii algebr Boole'a, a w szczególności rozszerzania algebry Boole'a do algebry zupełnej, oraz w Dodatku II przedstawiającym gentzenowskie ujęcie klasycznego rachunku zdań. Zagadnienia te nie były dotąd omówione szerzej w polskiej literaturze podręcznikowej, dlatego zamieszczenie takich Dodatków w tej książce wydaje się potrzebne. Krótkie uwagi, umieszczane po każdym na ogół rozdziale, nie są zamierzone ani jako wyczerpująca bibliografia zagadnienia, ani jako jego historia. Mają one na celu jedynie poinformować Czytelnika o autorstwie podstawowych faktów przedstawionych w danym rozdziale i podać elementarne Wskazówki dotyczące ewentualnej dalszej lektury. Książka ta przeznaczona jest dla czytelnika posiadającego pewne wstępne wiadomości z zakresu logiki zdań i kwantyfikatorów. Potrzebne wiadomości z matematyki nie wykraczają na ogół poza zakres szkoły średniej. |
 |