Kod rabatowy "EDUKAMP" - obniży wartość koszyka o 5% Darmowa wysyłka od 99zł Naklejka z imieniem dziecka i prawo jazdy gratis

Zagadnienia syntaktyki i semantyki systemów..

Symbol: 9788376146164
Dostępność: 4 szt.
45.93
43.63 cena z kodem: EDUKAMP
szt.
Zamówienia telefoniczne: 501-031-535 Zostaw telefon
Wysyłka w ciągu: 24-48 h od zakupu
Cena przesyłki:
9.49
  • Odbiór osobisty Kraków ul. Ofiar Dąbia 4 0
  • Odbiór osobisty Kraków ul. Ofiar Dąbia 4 0
  • Orlen paczka 9.49
  • Paczkomaty 24/7 9.99
  • Kurier DPD 12.9
  • Paczkomaty 24/7 (POBRANIE) 14.99
  • Kurier DPD (POBRANIE) 14.99
  • Kurier DHL 18
  • Kurier DHL (POBRANIE) 21
EAN:
9788376146164

Książka ta jest ostatnią spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Są w niej podjęte zagadnienia metalogiki rozumianej wąsko, tj. ograniczonej do syntaktyki i semantyki systemów dedukcyjnych przede wszystkim systemów KRZ i WRP, choć zawiera także wyniki dotyczące nie tylko systemów logiki klasycznej.

W rozdziale poświęconym zagadnieniom syntaktycznym omówiono stosowane w metalogice sposoby dowodzenia twierdzeń o systemach dedukcyjnych zarówno metody dowodzenia indukcyjne, jak i korzystające z pojęcia postaci normalnych. Syntaktyczna charakterystyka systemów dedukcyjnych, po metodologicznych uwagach o ich typach, obejmuje pojęcie konsekwencji oraz takie własności systemów, jak niesprzeczność, zupełność, rozstrzygalność i niezależność aksjomatów.

W semantycznym ujęciu systemów dedukcyjnych, osadzonym na obszernie omówionej koncepcji spełniania i prawdy, są podjęte zagadnienia związane z własnościami systemu twierdzeń prawdziwych, pojęciem modelu, niesprzecznością (rozumianą semantycznie) i kategorycznością systemu, pojęciem pełności systemu oraz z relacją wynikania logicznego (semantycznego).

Pośród zagadnień uzupełniających znalazły się między innymi wybrane twierdzenia metalogiki okazujące ograniczenia metod formalnych K. G?dla (o niezupełności i o niedowodliwości niesprzeczności), A. Tarskiego (o niedefiniowalności prawdy) i A. Churcha (o nierozstrzygalności logiki pierwszego rzędu) oraz metoda definiowania i stosowania pojęcia modelu w rekonstrukcjach teorii empirycznych (zwana ujęciem teoriomnogościowym lub strukturalistycznym), porównana z klasycznym aksjomatyzowaniem teorii i zapoczątkowanym przez Tarskiego ujęciem teoriomodelowym.

Zaletą książki wpisującą się w styl całego opracowania jest trafny wybór problemów logiki i sposób ich prezentacji, widoczny w układzie zagadnień, definicji i twierdzeń, w ich sformułowaniach zapisanych w jednolitej notacji, komentarzach i przykładach oraz w dowodach rozwiniętych w sposób zadowalający specjalistów, a jednocześnie zrozumiały dla osób wkraczających w logikę.

Opracowanie zawiera nowe propozycje uporządkowania, uściślenia lub rozwinięcia wyników zastanych.

Parametry:
Wydawnictwo:
Wydawnictwo Naukowe Uniwersytetu Ignatianum
Autor:
Adam Jonkisz
Rok wydania:
2024
Oprawa:
broszurowa
Stron:
254

Informacje dotyczące bezpieczeństwa

Do użytku pod bezpośrednim nadzorem osoby dorosłej, Konieczność stosowania środków ochronnych. Nie używać w ruchu ulicznym, Nie nadaje się dla dzieci poniżej określonego wieku. Do używania pod nadzorem osoby dorosłej, Ta zabawka nie zapewnia ochrony, Zawiera zabawkę. Zalecany nadzór osoby dorosłej

Posiada znak CE potwierdzający spełnienie wymagań dyrektywy Unii Europejskiej dla tego typu urządzeń.

 

Deklaracja zgodności CE | Zgodne z normą EN-71 - Bezpieczeństwo zabawek

 

Dla dzieci powyżej 3-go roku życia

 

Posiada znak CE potwierdzający spełnienie wymagań dyrektywy Unii Europejskiej - Zgodne z normą EN-71 - Bezpieczeństwo zabawek

Nie ma jeszcze komentarzy ani ocen dla tego produktu.
Zadaj pytanie
Podpis:
E-mail:
Zadaj pytanie: