Konto

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

38,99 zł
60,00 zł - sugerowana cena detaliczna
Zamów teraz, wyślemy jeszcze dziś!
InPost
Dostawa za 0 zł dla
zamówień od 99 zł
GLS
 
 
Zwykły zakup
Zamówienia od 99 zł
Zamówienia od 149 zł
Zwykły zakup od 14,99 zł
InPost
Paczkomat 24/7
Zamówienia
od 99 zł
0 zł
Zamówienia
od 149 zł
0 zł
Zwykły zakup od 8,99 zł
GLS Punkt GLS Kurier GLS
Automat/Punkt GLS
Kurier GLS
8,99 zł
12,99 zł
Zamówienia
od 99 zł
0 zł
Zamówienia
od 149 zł
0 zł
Zwykły zakup 5,99 zł
Znak Punkt odbioru ZNAK
Punkt odbioru ZNAK
5,99 zł
Zamówienia
od 99 zł
0 zł
Zamówienia
od 149 zł
0 zł
Zwykły zakup 14,99 zł
InPost PACZKOMAT 24/7
14,99 zł
Zamówienia
od 99 zł
14,99 zł
Zamówienia
od 149 zł
0 zł
Zwykły zakup 16,99 zł
Poczta Polska
Kurier DPD
Kurier Poczta Polska
16,99 zł
Zamówienia
od 99 zł
16,99 zł
Zamówienia
od 149 zł
0 zł
Zwykły zakup 11,99 zł
Punkt odbioru Poczta Polska
Odbiór w punkcie Orlen
Poczta Polska
Żabka
11,99 zł
Zamówienia
od 99 zł
11,99 zł
Zamówienia
od 149 zł
0 zł

* Płatność przy odbiorze + 5 zł

Darmowa dostawa od 399 zł
Do darmowej dostawy brakuje Ci 399,00 zł
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

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]

Warto przeczytać również

Metody dostawy

- rozwiń i sprawdź szczegóły - zwiń
Typ wysyłki Do 398,99 zł Od 399,00 zł
Logo - Automat GLS Logo - Punkt GLS
Automat GLS Punkt GLS
8,99 zł 0,00 zł
Logo - Pocztex Punkt Logo - ORLEN Paczka Logo - DPD Pickup - Punkt odbioru Logo - Pocztex Automat Logo - DPD Pickup - Automat paczkowy
Pocztex Punkt ORLEN Paczka DPD Pickup - Punkt odbioru Pocztex Automat DPD Pickup - Automat paczkowy
11,99 zł 0,00 zł
Logo - Kurier GLS
Kurier GLS
12,99 zł 0,00 zł
Logo - InPost Paczkomat 24/7
InPost Paczkomat 24/7
14,99 zł 0,00 zł
Logo - Pocztex - Kurier 48 Logo - Kurier - DPD Logo - InPost Kurier
Pocztex - Kurier 48 Kurier - DPD InPost Kurier
16,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ł
Gdańsk
Gdańsk – ul. Kartuska 195 A/12 5,99 zł 3,99 zł 0,00 zł
Gdańsk – ul. Obrońców Wybrzeża 3A lok U5A 5,99 zł 3,99 zł 0,00 zł
Bydgoszcz
Bydgoszcz – Jerzego Rupniewskiego 11 5,99 zł 3,99 zł 0,00 zł
Białystok
Białystok – ul. Legionowa 9/1/lok. 29 5,99 zł 3,99 zł 0,00 zł
Białystok – ul. Warszawska 79 lok. 6 5,99 zł 3,99 zł 0,00 zł
Częstochowa
Częstochowa – Fonte ul. Jasnogórska 48/1 5,99 zł 3,99 zł 0,00 zł
Częstochowa – ul. Michałowskiego 11/13 5,99 zł 3,99 zł 0,00 zł
Gdynia
Gdynia – ul. Krasickiego 10 5,99 zł 3,99 zł 0,00 zł
Gorzów Wielkopolski
Gorzów Wielkopolski – ul. Garbary 18 5,99 zł 3,99 zł 0,00 zł
Katowice
Katowice – Kościuszki 43 5,99 zł 3,99 zł 0,00 zł
Kraków
Kraków – Przejście podz. Rakowicka i Wita Stwosza 5,99 zł 3,99 zł 0,00 zł
Kraków – ul. Mitery 8 (obok Kalwaryjskiej) 5,99 zł 3,99 zł 0,00 zł
Kraków – Nowa Huta, Os. Teatralne 33a 5,99 zł 3,99 zł 0,00 zł
Kraków – ul. Urzędnicza 30/Lokal 5,99 zł 3,99 zł 0,00 zł
Kraków – ul. Witosa 39 5,99 zł 3,99 zł 0,00 zł
Olsztyn
Olsztyn – Punkt Partnerski WIN-CIN ul. Jagielończyka 38 5,99 zł 3,99 zł 0,00 zł
Poznań
Poznań – Gwarna 10 5,99 zł 3,99 zł 0,00 zł
Radom
Radom – Wernera 10 5,99 zł 3,99 zł 0,00 zł
Rzeszów
Rzeszów – ul. Podwisłocze 2B/3 5,99 zł 3,99 zł 0,00 zł
Wrocław
Wrocław – ul. Tęczowa 25 5,99 zł 3,99 zł 0,00 zł
Wrocław – Tadeusza Kościuszki 49 5,99 zł 3,99 zł 0,00 zł
Warszawa
Warszawa – ul. Ogrodowa 13/29 5,99 zł 3,99 zł 0,00 zł
Warszawa – al. Jana Pawła II 61/226 5,99 zł 3,99 zł 0,00 zł
Warszawa – al. Niepodległości 76/78/111 5,99 zł 3,99 zł 0,00 zł
Warszawa – ul. Ratuszowa 11 5,99 zł 3,99 zł 0,00 zł
Kłaj
Kłaj – KŁAJ 650/7 5,99 zł 3,99 zł 0,00 zł
Skawina
Skawina – Panattoni Park III, ul. Majdzika 15 5,99 zł 3,99 zł 0,00 zł
Lublin
Lublin – ul. Nadbystrzycka 39 5,99 zł 3,99 zł 0,00 zł
Łódź
Łódź – Plac Barlickiego BOKS 135 5,99 zł 3,99 zł 0,00 zł
Ząbki
Ząbki – ul. Hugona Kołłątaja 8A 5,99 zł 3,99 zł 0,00 zł

Zainspiruj się podobnymi wyborami

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

Zyskaj darmową dostawę
za zapis do newslettera!
Nie przegap nowości, promocji i unikalnych ofert.

minimalna wartość koszyka to 99 zł