Konto

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

38,49 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
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]

Metody dostawy

- rozwiń i sprawdź szczegóły - zwiń
Typ wysyłki Do 298,99 zł Od 299,00 zł
Automat GLS Punkt GLS
Automat GLS Punkt GLS
7,99 zł 0,00 zł
Pocztex Punkt ORLEN Paczka DPD Pickup - Punkt odbioru Pocztex Automat DPD Pickup - Automat paczkowy
Pocztex Punkt ORLEN Paczka DPD Pickup - Punkt odbioru Pocztex Automat DPD Pickup - Automat paczkowy
10,99 zł 0,00 zł
Kurier GLS
Kurier GLS
12,99 zł 0,00 zł
Pocztex - Kurier 48 Kurier - DPD InPost Kurier
Pocztex - Kurier 48 Kurier - DPD InPost Kurier
14,99 zł 0,00 zł
InPost Paczkomat 24/7
InPost Paczkomat 24/7
14,99 zł 0,00 zł
Płatność przy odbiorze +5 zł +5 zł
Typ wysyłki
Partnerskie punkty odbioru
do 29,98 zł do 59,99 zł od 60,00 zł
Skawina
Skawina – Panattoni Park III, ul. Majdzika 15 5,99 zł 3,99 zł 0,00 zł

Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

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

Z tego samego wydawnictwa

DARMOWA DOSTAWA
za zapis do newslettera!
Nowości, promocje, inspiracje – wszystko na Twoim mailu.
*Kod jednorazowego użycia przy minimalnej wartości koszyka 89 zł.