Formalizacja metod tablicowych dla logik zdań i logik nazw eBook
Tomasz Jarmużek
- Wydawca: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
- Rok wydania: 2013
- Ilość stron: 264
- Format: pdf
Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego – czyli tzw. tablicy - a co za tym idzie, formalnego sformułowania pojęć pomocniczych, które towarzyszą definiowaniu systemu tablicowego. W pracy przeanalizowano m.in. pojęcia reguły tablicowej, gałęzi oraz tablicy, proponując ich ogólne i czysto formalne ujęcie. „Rozprawa habilitacyjna dra Tomasza Jarmużka dotyczy precyzyjnego określenia metody tablicowej. Pozwala to na jej metateoretyczne badanie. Autor podaje bardzo ogólne określenie tej metody, stosowalne w różnego rodzaju logikach. Od tego ogólnego opisu przechodzi do opisów bardziej szczegółowych, stosowalnych w poszczególnych rodzajach logik bądź nawet w ich konkretnych systemach. […] Istotne jest również to, że praca jest pierwszym w Polsce opracowaniem formalizacji metod tablicowych dla logik zdań i logik nazw (jest także ich unikalnym opracowaniem w skali światowej, co jednak miałoby znaczenie dopiero po przetłumaczeniu książki na język angielski).” Fragment recenzji Prof. dr. hab. Andrzeja Pietruszczaka „Podejmowana w recenzowanej pracy problematyka jest poważna i godna uwagi. Metody tablicowe stanowią ważną, wciąż nie w pełni zrozumianą technikę rachunkową. […] Zastosowanie tych metod jest szerokie i coraz szersze, również w dydaktyce. Zazwyczaj metody te są ujmowane pół formalnie, pół intuicyjnie. W szczególności zazwyczaj są traktowane pragmatycznie. Praca Tomasza Jarmużka jest jedną z mniej licznych prób konsekwentnie apragmatycznego podejścia do tych metod. Stanowi realny postęp w wiedzy o metodach tablicowych.” Fragment recenzji Prof. dr. hab. Marcina Tkaczyka
Plik elektroniczny, do pobrania po zalogowaniu się na swoje konto Allegro z zakładki e-booki - "Moja półka" (https://allegro.pl/moje-allegro/zakupy/moja-polka)
Po zakupie brak możliwości odstąpienia od umowy bez podania przyczyny.
[Stamp,9788323130239,5/6/2022 7:50:14 PM]