Książka

Piotr Kulicki: Aksjomatyczne systemy rachunku nazw

Książka prezentuje bogactwo aksjomatycznych systemów rachunku nazw. Przedstawia, w jednolity sposób, szereg znanych systemów skonstruowanych przez jej autora. Prezentując różne systemy aksjomatyczne rachunku nazw, nie staramy się wskazywać, który z nich jest właściwy bądź lepszy od innych, pozostawiając wybór Czytelnikowi. Kryteria tego wyboru mogą być różne. Między innymi wymienić można posiadane intuicje dotyczące sensu funktorów rachunku nazw, zgodność z ich sposobem używania w języku naturalnym, zgodność z rozumieniem funktorów w ujęciu historycznym, względy praktyczne związane z budowaniem dowodów i wykonywaniem obliczeń. Przedstawione analizy powinny być pomocne w dokonywaniu wyboru kierowanego każdym z wymienionych kryteriów. Sens funktorów w przedstawianych systemach naświetlany jest wielostronnie – poprzez system aksjomatyczny, aksjomatyczny system odrzucania, teoriomodelową strukturę odpowiadającą systemowi. Z kolei dokonanie wyboru kierowane kryteriami obliczeniowymi wspierane jest przez rezultaty dotyczące rozmiaru dziedziny, w którym jest określony model dla systemu oraz rozmiaru matrycy potrzebnej do zdefiniowania procedury decyzyjnej.

 

Zamów książkę w Księgarni Academicon!

logo ksiegarnia academicon

Spis tresci

Wstep

1 Narzedzia formalne
2 Klasyczne systemy zakresowe
3 Systemy z funktorem Lesniewskiego
4 Sylogistyki nieklasyczne
5 Matrycowe procedury rozstrzygania

Zakończenie
A Zestawienie systemów aksjomatycznych
B Program do tworzenia dowodów załozeniowych
C Wyprowadzenia dla formuł z Diagramu
D Dowody niezaleznosci dla formuł z Diagramu

Bibliografia
Indeks rzeczowy

Zamów książkę w Księgarni Academicon!

logo ksiegarnia academicon

Wydawca: Wydawnictwo KUL
Miejsce wydania: Lublin
Numer wydania: 1
Rok: 2011
Oprawa: miękka
Stron: 250

Skomentuj

Kliknij, aby skomentować