DARMOWA DOSTAWA OD 99 ZŁ Wikonka SZCZEGÓŁY>>
Menu

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych Adam Jonkisz Książka

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
34,78 zł
60,00 zł - sugerowana cena detaliczna
Zamów teraz, wyślemy jeszcze dziś!
Wydawnictwo: Ignatianum
Rodzaj oprawy: Okładka broszurowa (miękka)
Liczba stron: 254
Rok wydania: 2024
Zobacz więcej
34,78 zł
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]

Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Nowość
Nowość
Nowość
Nowość
Nowość

Oceny i recenzje książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Średnia ocen:
~ /10
Liczba ocen:
0
Powiedz nam, co myślisz!

Pomóż innym i zostaw ocenę!

Ten produkt nie ma jeszcze żadnych recenzji

Pomóż innym i zostaw ocenę!

Bestsellery

Bestseller
Wysyłka przed premierą!
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Wysyłka przed premierą!
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Bestseller
Wysyłka przed premierą!
Bestseller
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość

Nowości

Nowość
Nowość
Nowość
Bestseller
Bestseller
Bestseller
Nowość
Bestseller
Bestseller
Nowość
Nowość
Bestseller
Bestseller
Nowość
Nowość
Nowość
Nowość
Nowość
Bestseller
Bestseller
Nowość
Nowość
Bestseller
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Bestseller
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Nowość
Bestseller
Nowość
Nowość
Nowość