Konto

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

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ł
Znak Ekstra
Dostawa za 0 zł dla
zamówień od 99 zł
Dołącz do Znak  Znak Ekstra

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

Darmowa dostawa Darmowa dostawa
od 99 zł
GLS
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.
Specjalne zniżki Specjalne zniżki
tylko dla klubowiczów
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.
Pakiet zakładek Pakiet zakładek
Art Ladies za 1 zł
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.
Brak opłat za członkostwo Brak opłat za członkostwo
Dołączenie do klubu Znak EKSTRA nic nie kosztuje. Korzystasz ze wszystkich korzyści bez żadnych abonamentów czy ukrytych opłat.
PayPo Płacę później
Kup teraz, zapłać za 30 dni
Blik Płacę później
Kup teraz, zapłać za 30 dni
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
51,29 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]

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ę!

Z tego samego wydawnictwa

Dołącz do Znak EKSTRA
i oszczędzaj na dostawie!

Jak dołączyć? To proste:

  1. Załóż konto w naszej księgarni
  2. Zapisz się do newslettera
  3. Korzystaj z przywilejów od razu!

Twoje korzyści:

  • Darmowa dostawa od 99 zł z GLS
  • Specjalne zniżki tylko dla klubowiczów
  • Pakiet zakładek Art Ladies za 1 zł
  • Brak opłat za uczestnictwo
Kobieta z telefonem