Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
Adam Jonkisz
Książka
43,23 zł
60,00 zł - sugerowana cena detaliczna
Zamów teraz, wyślemy w poniedziałek.
| Wydawnictwo: | Ignatianum |
| Rodzaj oprawy: | Okładka broszurowa (miękka) |
| Liczba stron: | 254 |
| Rok wydania: | 2024 |
Zobacz więcej
43,23 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
Książka
16,56 zł
Najniższa cena z 30 dni przed obniżką.
21,00 zł
- sugerowana cena detaliczna
Baruch (Benedykt) Spinoza
Książka
24,00 zł
Najniższa cena z 30 dni przed obniżką.
32,00 zł
- sugerowana cena detaliczna
Książka
38,72 zł
Najniższa cena z 30 dni przed obniżką.
52,99 zł
- sugerowana cena detaliczna
Marian Golka
7,3 (4)
Książka
79,23 zł
Najniższa cena z 30 dni przed obniżką.
109,00 zł
- sugerowana cena detaliczna
Watson Christian
Książka
23,58 zł
Najniższa cena z 30 dni przed obniżką.
34,90 zł
- sugerowana cena detaliczna
Dante (Dante Alighieri)
6,3 (103)
Książka
25,71 zł
Najniższa cena z 30 dni przed obniżką.
34,90 zł
- sugerowana cena detaliczna
Książka
37,99 zł
Najniższa cena z 30 dni przed obniżką.
59,90 zł
- sugerowana cena detaliczna
Maciej Gdula
7,0 (2)
Książka
38,98 zł
Najniższa cena z 30 dni przed obniżką.
59,90 zł
- sugerowana cena detaliczna
św. Augustyn z Hippony
Książka
16,56 zł
Najniższa cena z 30 dni przed obniżką.
21,00 zł
- sugerowana cena detaliczna
Margaret Mead
6,7 (100)
Książka
31,92 zł
Najniższa cena z 30 dni przed obniżką.
49,00 zł
- sugerowana cena detaliczna
Nicholas Agar
Książka
80,28 zł
Najniższa cena z 30 dni przed obniżką.
99,00 zł
- sugerowana cena detaliczna
Carl Stumpf,
Witold Płotka
Książka
33,66 zł
Najniższa cena z 30 dni przed obniżką.
44,00 zł
- sugerowana cena detaliczna
Małgorzata Roeske
9,0 (1)
Książka
49,66 zł
Najniższa cena z 30 dni przed obniżką.
69,00 zł
- sugerowana cena detaliczna
Filip Krzemień
Książka
28,99 zł
Najniższa cena z 30 dni przed obniżką.
44,99 zł
- sugerowana cena detaliczna
Alphonse Donatien Francois Markiz de Sade
Książka
51,75 zł
Najniższa cena z 30 dni przed obniżką.
69,00 zł
- sugerowana cena detaliczna
Michel Foucault,
Michał Herer
Książka
78,46 zł
Najniższa cena z 30 dni przed obniżką.
124,99 zł
- sugerowana cena detaliczna
Od Homera do Symplicjusza.Dwanaście wieków literatury helleńskiej w polskich tłumaczeniach 1801-2024
Wojciech Stawiszyński
Książka
30,99 zł
Najniższa cena z 30 dni przed obniżką.
39,00 zł
- sugerowana cena detaliczna
Pejda Katarzyna red.
Książka
56,99 zł
Najniższa cena z 30 dni przed obniżką.
95,00 zł
- sugerowana cena detaliczna
Elisabeth Badinter
7,5 (39)
Książka
35,60 zł
Najniższa cena z 30 dni przed obniżką.
55,00 zł
- sugerowana cena detaliczna
Janusz Szewczak
Książka
38,78 zł
Najniższa cena z 30 dni przed obniżką.
39,00 zł
- sugerowana cena detaliczna
Sierzycki Przemysław
Książka
28,24 zł
Najniższa cena z 30 dni przed obniżką.
34,99 zł
- sugerowana cena detaliczna
Cezary Kluczyński
6,3 (4)
Książka
48,33 zł
Najniższa cena z 30 dni przed obniżką.
55,00 zł
- sugerowana cena detaliczna
Ireneusz Ziemiński
Książka
38,99 zł
Najniższa cena z 30 dni przed obniżką.
44,90 zł
- sugerowana cena detaliczna
Simon Blackburn
Książka
52,82 zł
Najniższa cena z 30 dni przed obniżką.
79,00 zł
- sugerowana cena detaliczna
Karoline Feyertag
Książka
28,99 zł
Najniższa cena z 30 dni przed obniżką.
44,90 zł
- sugerowana cena detaliczna
Eucken Rudolf
Książka
51,99 zł
Najniższa cena z 30 dni przed obniżką.
79,99 zł
- sugerowana cena detaliczna
Karol Tarnowski
10,0 (1)
Książka
64,80 zł
Najniższa cena z 30 dni przed obniżką.
99,00 zł
- sugerowana cena detaliczna
Tomasz Szerszeń
Książka
40,49 zł
Najniższa cena z 30 dni przed obniżką.
53,00 zł
- sugerowana cena detaliczna
Stawecki Tomasz red.
Książka
26,46 zł
Najniższa cena z 30 dni przed obniżką.
29,99 zł
- sugerowana cena detaliczna
Marek Aureliusz
7,8 (6406)
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ę!
Zaloguj się, aby dodać opinię
Ten produkt nie ma jeszcze żadnych recenzji
Pomóż innym i zostaw ocenę!
Z tego samego wydawnictwa
Książka
30,65 zł
Najniższa cena z 30 dni przed obniżką.
39,99 zł
- sugerowana cena detaliczna
Mazur Piotr
5,0 (1)
Książka
48,26 zł
Najniższa cena z 30 dni przed obniżką.
67,99 zł
- sugerowana cena detaliczna
Hołub Grzegorz
Książka
31,91 zł
Najniższa cena z 30 dni przed obniżką.
42,00 zł
- sugerowana cena detaliczna
Homa Krzysztof
8,0 (1)
Książka
35,68 zł
Najniższa cena z 30 dni przed obniżką.
45,00 zł
- sugerowana cena detaliczna
Cieślak Stanisław,
Stankiewicz-Kopeć Monika,
Wenklar Michał
5,5 (2)
Książka
42,60 zł
Najniższa cena z 30 dni przed obniżką.
59,00 zł
- sugerowana cena detaliczna
Stankiewicz-Kopeć Monika,
Krystyna Zabawa
Książka
48,26 zł
Najniższa cena z 30 dni przed obniżką.
68,00 zł
- sugerowana cena detaliczna
Witold Mazurek