KSIĄŻKI
ZABAWKI
ART. PAP
GRY
MULTIMEDIA
PROMOCJE
ZDROWIE
DOM I OGRÓD
LEGO
Okładka książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Autor: Adam Jonkisz

Wydawca: Ignatianum
ISBN: 9788376146164
EAN: 9788376146164
oprawa: oprawa: broszurowa
format: 233x163 mm
język: polski
liczba stron: 254
rok wydania: 2024
(0) Sprawdź recenzje

Opis

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.

CENA:
33,21  zł
Cena detaliczna:
60,00 zł
45%
rabatu
Najniższa cena z ostatnich 30 dni: 33,21
WYSYŁKA: 48h
Dodaj do koszyka
Dodaj do schowka
Zapisz się na newsletter multiszop.pl
Wyrażam zgodę na przetwarzanie danych osobowych zgodnie z Polityką prywatności oraz na otrzymywanie drogą elektroniczną informacji handlowej od ESSE Sp. z o.o. z siedzibą w Łodzi. Więcej informacji znajdziesz w Regulaminie Newslettera. Administratorem Twoich danych osobowych jest spółka ESSE sp. z o.o. z siedzibą w Łodzi.
rozwiń
Uwaga!!!
Ten produkt jest zapowiedzią. Realizacja Twojego zamówienia ulegnie przez to wydłużeniu do czasu premiery tej pozycji. Czy chcesz dodać ten produkt do koszyka?
TAK
NIE
Oczekiwanie na odpowiedź
Dodano produkt do koszyka
Kontynuuj zakupy
Przejdź do koszyka
Oczekiwanie na odpowiedź
Oczekiwanie na odpowiedź
Wybierz wariant produktu
Dodaj do koszyka
Anuluj