X
Aby zapewnić najwyższy komfort użytkowania wykorzystujemy informacje przechowywane w przeglądarce internetowej. Sprawdź Politykę Prywatności.
Korzystając ze strony wyrażasz zgodę na używanie plików cookies, zgodnie z aktualnymi ustawieniami przeglądarki.
Wartość:
Twój koszyk: Produktów (0)

Książka Tygodnia

Warszawa lata 20 - 80 - komplet w etui
-29%
+ do schowka
199.00 zł
141.29 zł
Dodaj do koszyka
Rabat: 57.71 zł
Cena katalogowa: 199.00 zł
Dostępność: do 48h
KSIĄŻKA
Wydawca: Bosz
Rok wydania: 2017
Miejsce wydania: 128
Stron: 750
 
Dołącz do nas na Facebboku
Nasz newsletter


Szczególnie polecamy




Tu byłem Tony Halik

Tu byłem. Tony Halik
Mirosław Wlekły
Warszawa 2017


Food pharmacy

Food Pharmacy
Lina Nertby Aurell, Mia Clase
Kraków 2017


Magia olewania

Magia olewania
Sara Knight
 
Warszawa 2017


Milczenie

Milczenie
Endo Shusaku
 
Kraków 2017


Wagiel

Wagiel. Jeszcze wszystko będzie możliwe
Wojciech Waglewski
 
Kraków 2017


Pani Einstein

Pani Einstein
Marie Benedict
 
Kraków 2017


Od oddechu do oddechu

Od oddechu do oddechu
Wojciech Młynarski
  Warszawa 2017

Dobranoc Auschwitz

Dobranoc Auschwitz
Aleksandra Wójcik
Maciej Zdziarski
Kraków 2017

Pokaz

20.35 zł

Rabat: 3.65 zł
Cena katalogowa: 24.00 zł
Produkt niedostępny

Poleć znajomym

KSIĄŻKA

Aksjomatyczne systemy rachunku nazw

Wydawca: Wydawnictwo KUL
Rok wydania: 2011
Miejsce wydania: Lublin
Stron: 250
Format: B5
ISBN: 9788377022160

Opis:

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.

Spis tresci

Wstep

1 Narzedzia formalne
1.1 Jak formalizowac rachunek nazw?
1.1.1 Sylogizmy jako zdania i reguły
1.1.2 Dopuszczalne rodzaje nazw
1.1.3 Rozszerzenia jezyka
1.2 Definicja jezyka
1.3 Teorie pierwszego rzedu, systemy aksjomatyczne i rezolucyjne
1.4 Implikacje, reguły i wyprowadzenia
1.5 Rozstrzygalnosc definitywnych teorii opartych na KRZ
1.6 Pełnosc 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 Niezaleznosc aksjomatów
2.2 System sylogistyki dopuszczajacy nazwy puste
2.2.1 System aksjomatyczny
2.2.2 Aksjomatyczny system odrzucania
2.2.3 Model w rachunku zbiorów
2.2.4 Niezaleznosc 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 Niezaleznosc aksjomatów

3 Systemy z funktorem Lesniewskiego
3.1 Podstawowa bezkwantyfikatorowa Ontologia Lesniewskiego
3.1.1 aksjomatyczny
3.1.2 Aksjomatyczny system odrzucania
3.1.3 Model w rachunku zbiorów
3.1.4 Niezaleznosc 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 Niezaleznosc 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 Niezaleznosc aksjomatów
3.3.5 Definicje dodatkowych stałych Ontologii Lesniewskiego w systemie OntSyl
3.3.6 Alternatywna aksjomatyzacja systemu
3.4 Separacja w odniesieniu do Ontologii Lesniewskiego

4 Sylogistyki nieklasyczne
4.1 SystemSłupeckiego
4.1.1 System aksjomatyczny
4.1.2 Aksjomatyczny system odrzucania
4.1.3 Niezaleznosc 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 pomiedzy systemem Łuk a Słp
4.3.1 Tezy systemu Łuk stanowiace 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 piecioelementowe
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 podejsciami

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

Klienci, którzy kupili Aksjomatyczne systemy rachunku nazw wybrali również:

Schopenhauer Artur - Erystyka czyli sztuka prowadzenia sporów
-29%
+ do schowka
KSIĄŻKA
Schopenhauer Artur
Wydawca: ALMA-PRESS
Rok wydania: 2012
Miejsce wydania: 189
Stron: 128
12.99 zł
9.21 zł
Dodaj do koszyka
Theweleit Klaus - Męskie fantazje
-29%
+ do schowka
KSIĄŻKA
Theweleit Klaus
Wydawca: Wydawnictwo Naukowe PWN
Rok wydania: 2015
Miejsce wydania: 189
Stron: 976
84.00 zł
59.64 zł
Dodaj do koszyka
Theweleit Klaus - Śmiech morderców
-29%
+ do schowka
KSIĄŻKA
Theweleit Klaus
Wydawca: Wydawnictwo Naukowe PWN
Rok wydania: 2016
Miejsce wydania: 1058
Stron: 250
49.00 zł
34.79 zł
Dodaj do koszyka
Ziembiński Zygmunt - Logika praktyczna
-18%
+ do schowka
KSIĄŻKA
Ziembiński Zygmunt
Wydawca: Wydawnictwo Naukowe PWN
Rok wydania: 2013
Miejsce wydania: 1
Stron: 282
39.90 zł
32.72 zł
Dodaj do koszyka
 
1
|
2
|
3
 

Recenzje i oceny

Brak recenzji!

Dodaj swoją recenzję i ocenę

Twoja ocena:

Twój podpis:
Dodaj recenzję


Znajdujesz się w dziale Książki
Aktualnie oglądasz produkt Aksjomatyczne systemy rachunku nazw - Kulicki Piotr
W każdej chwili moźesz przejść do innych produktów z kategorii Nauki społeczne, humanistyczne, ekonomiczne » Filozofia
Zawsze możesz przejrzeć dział Nowości lub zobaczyć, co wkrótce ukaże się w naszej księgarni internetowej, czyli przejść do działu Zapowiedzi
tel/fax +81 537 65 10