51,29 zł

60,00 zł - sugerowana cena detaliczna

Zamów teraz, wyślemy w poniedziałek.

Darmowa dostawa od 399 zł

Do darmowej dostawy brakuje Ci 399,00 zł

Dostawa za 0 zł dla
zamówień od 99 zł

Ciesz się darmową dostawą i korzystaj z okazji tylko dla klubowiczów.

Dotyczy zamówień, które odbierasz od kuriera lub z punktów i automatów GLS. Szczegóły sprawdzisz w cenniku dla członków Znak EKSTRA.

Jako członek Klubu zyskujesz dostęp do promocji zarezerwowanych tylko dla naszych stałych czytelników. To nie wszystko: nowości Grupy Wydawniczej Znak wysyłamy do Ciebie 10 dni przed premierą z ekstra rabatem tylko dla Klubowiczów.

Na powitanie dostajesz od nas kod rabatowy na zakup wyjątkowego zestawu zakładek za symboliczną złotówkę. To nasz prezent na start dla każdego klubowicza Znak EKSTRA.

Dołączenie do klubu Znak EKSTRA nic nie kosztuje. Korzystasz ze wszystkich korzyści bez żadnych abonamentów czy ukrytych opłat.

Dołącz do Znak EKSTRA

Wydawnictwo:	Ignatianum
Rodzaj oprawy:	Okładka broszurowa (miękka)
Liczba stron:	254
Rok wydania:	2024

Zobacz więcej

Kup w zestawie

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych Adam Jonkisz

Pakiet zakładek ART Monet

60,19 zł

O książce Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

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ę m.in. 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.

Szczegółowe informacje na temat książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Wydawnictwo:	Ignatianum
EAN:	9788376146164
Autor:	Adam Jonkisz
Rodzaj oprawy:	Okładka broszurowa (miękka)
Liczba stron:	254
Rok wydania:	2024
Data premiery:	2024-08-09
Język wydania:	polski
Podmiot odpowiedzialny:	Wydawnictwo WAM Kopernika 26 31-501 kraków PL e-mail: [email protected]