Książka

Piotr Kulicki: Aksjomatyczne systemy rachunku nazw

Zapisz się do newslettera:

Zgłoś konferencję, wypełniając formularz, który można pobrać > tutaj.

Dołącz o zespołu redakcyjnego portalu Academicon. Więcej informacji > tutaj.

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

Zleć nam wydanie

Zapraszamy autorów monografii, prac doktorskich, habilitacyjnych i innych prac naukowych, popularnonaukowych i dydaktycznych do wydania książki w nowoczesnym Wydawnictwie Academicon. Zapraszamy także do współpracy wydawniczej redaktorów czasopism, serii wydawniczych i prac zbiorowych.

Zleć nam usługę wydawniczą

Dla autorów, którzy chcieliby powierzyć nam tylko niektóre etapy procesu wydawniczego, przygotowaliśmy atrakcyjne pakiety usług: redakcyjny, dtp, graficzny, e-bookowy i drukarski.

Zamów książkę

Nasza e-księgarnia, gdzie znajdziesz nasze publikacje, i nie tylko...

Open Journal Systems

System do zarządzania online procesem redagowania czasopisma.

Open Conference System

System do zarządzania online konferencjami naukowymi.