Twój koszyk jest pusty
logo  
Logowanie:
Wyszukiwarka:
Menu
Pobierz cennik
format xls,format html
Bestselery

strona główna: FILOZOFIA » LOGIKA I METODOLOGIA

AKSJOMATYCZNE SYSTEMY RACHUNKU NAZW Piotr Kulicki

AKSJOMATYCZNE SYSTEMY RACHUNKU NAZW Piotr Kulicki

producent::
KUL






brutto: 22.00 zł

Spis tresci

Wstęp

1 Narzędzia formalne
1.1 Jak formalizować rachunek nazw?
1.1.1 Sylogizmy jako zdania i reguły
1.1.2 Dopuszczalne rodzaje nazw
1.1.3 Rozszerzenia języka
1.2 Definicja języka
1.3 Teorie pierwszego rzędu, systemy aksjomatyczne i rezolucyjne
1.4 Implikacje, reguły i wyprowadzenia
1.5 Rozstrzygalność definitywnych teorii opartych na KRZ
1.6 Pełność systemu bez formalnych modeli
1.7 Systemy aksjomatycznego odrzucania
1.8 Struktury modelowe dla rachunku nazw

2 Klasyczne systemy zakresowe
2.1 System Łukasiewicza
2.1.1 System aksjomatyczny
2.1.2 Aksjomatyczny system odrzucania
2.1.3 Model w rachunku zbiorów
2.1.4 Niezależność aksjomatów
2.2 System sylogistyki dopuszczający nazwy puste
2.2.1 System aksjomatyczny
2.2.2 Aksjomatyczny system odrzucania
2.2.3 Model w rachunku zbiorów
2.2.4 Niezależność aksjomatów
2.3 Sylogistyka Brentany
2.3.1 System aksjomatyczny
2.3.2 Model w teorii zbiorów - interpretacja w systemie Stnd
2.3.3 Hornowski fragment
2.3.4 Aksjomatyka odrzuceniowa dla systemu B
2.3.5 Niezależność aksjomatów

3 Systemy z funktorem Leśniewskiego
3.1 Podstawowa bezkwantyfikatorowa Ontologia Leśniewskiego
3.1.1 aksjomatyczny
3.1.2 Aksjomatyczny system odrzucania
3.1.3 Model w rachunku zbiorów
3.1.4 Niezależność aksjomatów
3.2 Bezkwantyfikatorowa Ontologia wzbogacona o funktor sol

3.2.1 aksjomatyczny
3.2.2 Aksjomatyczny system odrzucania
3.2.3 Model w rachunku zbiorów
3.2.4 Niezależność aksjomatów
3.3 Bezkwantyfikatorowa Ontologia wzbogacona o funktory sylogistyki
3.3.1 System aksjomatyczny
3.3.2 Aksjomatyczny system odrzucania
3.3.3 Model w rachunku zbiorów
3.3.4 Niezależność aksjomatów
3.3.5 Definicje dodatkowych stałych Ontologii Leśniewskiego w systemie OntSyl
3.3.6 Alternatywna aksjomatyzacja systemu
3.4 Separacja w odniesieniu do Ontologii Leśniewskiego

4 Sylogistyki nieklasyczne
4.1 System Słupeckiego
4.1.1 System aksjomatyczny
4.1.2 Aksjomatyczny system odrzucania
4.1.3 Niezależność aksjomatów
4.1.4 Specyfika systemu Słupeckiego
4.2 Sylogistyka dowodowa
4.2.1 Motywacja
4.2.2 System D1
4.2.3 System D2
4.2.4 System D3
4.3 Systemy pomiędzy systemem Łuk a Słp
4.3.1 Tezy systemu Łuk stanowiące rozszerzenia Słp
4.3.2 Analiza wybranych systemów

5 Matrycowe procedury rozstrzygania
5.1 Aksjomaty odrzucone i modele dla formuł hornowskich
5.2 Modele dla hornowskich systemów zakresowych
5.2.1 System Łuk
5.2.2 System Stnd

5.2.3 System B-horn
5.2.4 System OntP

5.2.5 System OntSol
5.2.6 System OntSyl

5.3 Matryce dla systemu Słp

5.3.1 Matryce pięcioelementowe
5.3.2 Matryce czteroelementowe
5.3.3 Matryce trójelementowe
5.4 Matryce dla systemu Łuk-
5.5 Procedura decyzyjna dla systemów hornowskich
5.6 Rozstrzyganie dla systemu B
5.7 Porównanie modeli z innymi podejściami

Zakończenie
A Zestawienie systemów aksjomatycznych
A.1 Systemy sylogistyki
A.2 Systemy Ontologii
B Program do tworzenia dowodów załozeniowych
C Wyprowadzenia dla formuł z Diagramu
D Dowody niezaleznosci dla formuł z Diagramu
Bibliografia
Indeks rzeczowy


RODZAJ OKŁADKI

MIĘKKA

ROK WYDANIA

2011

STRON

250

Produkty powiązane:




nasze dane | regulamin | wysyłka i zwroty | PLIKI | formularz kontaktowy