Wielowartościowość w logikach modalnych i w lingwistyce formalnej - ebook

Oceń:
Format ebooka:
PDF
Format PDF
czytaj
na laptopie
czytaj
na tablecie
Format e-booków, który możesz odczytywać na tablecie oraz laptopie. Pliki PDF są odczytywane również przez czytniki i smartfony, jednakze względu na komfort czytania i brak możliwości skalowania czcionki, czytanie plików PDF na tych urządzeniach może być męczące dla oczu. Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na laptopie
Pliki PDF zabezpieczone watermarkiem możesz odczytać na dowolnym laptopie po zainstalowaniu czytnika dokumentów PDF. Najpowszechniejszym programem, który umożliwi odczytanie pliku PDF na laptopie, jest Adobe Reader. W zależności od potrzeb, możesz zainstalować również inny program - e-booki PDF pod względem sposobu odczytywania nie różnią niczym od powszechnie stosowanych dokumentów PDF, które odczytujemy każdego dnia.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na tablecie
Aby odczytywać e-booki na swoim tablecie musisz zainstalować specjalną aplikację. W zależności od formatu e-booka oraz systemu operacyjnego, który jest zainstalowany na Twoim urządzeniu może to być np. Bluefire dla EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
ISBN:
978-83-8088-101-3
Język:
Polski
Rok wydania:
2016
Rozmiar pliku:
1,6 MB
Zabezpieczenie:
Watermark
Watermark
Watermarkowanie polega na znakowaniu plików wewnątrz treści, dzięki czemu możliwe jest rozpoznanie unikatowej licencji transakcyjnej Użytkownika. E-książki zabezpieczone watermarkiem można odczytywać na wszystkich urządzeniach odtwarzających wybrany format (czytniki, tablety, smartfony). Nie ma również ograniczeń liczby licencji oraz istnieje możliwość swobodnego przenoszenia plików między urządzeniami. Pliki z watermarkiem są kompatybilne z popularnymi programami do odczytywania ebooków, jak np. Calibre oraz aplikacjami na urządzenia mobilne na takie platformy jak iOS oraz Android.
Cena Virtualo
18,20 zł
19,45 zł
Cena w punktach Virtualo:
1820 pkt.

Pełny opis

Wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana) znajdują zastosowanie zarówno w Computer Science, jak i teoriach ekonomicznych. Jednocześnie można zaobserwować ekspansję wielowartościowości w obrębie lingwistyki formalnej, szczególnie w dziedzinie systemów rozmytych. Wielowartościowość w logikach modalnych i w lingwistyce formalnej poświęcona jest obu tym problematykom. Zaprezentowano syntaktyczny i semantyczny opis skończenie wartościowej logiki Łukasiewicza, jak i bardziej ogólną charakterystykę struktur opartych o dowolne kraty (w szczególności algebry Heytinga). W jednym z rozdziałów ujęto aksjomatyzację wielowartościowej logiki multimodalnej PDL (propositional dynamic logic). W ostatnim rozdziale została przedstawiona charakterystyka wielowartościowych automatów i gramatyk probabilistycznych.

Spis treści

Wstęp 5

1.1 Logiki wielowartościowe i logiki modalne 5

1.2 Wielowartościowe logiki modalne 6

1 Preliminaria matematyczno-logiczne 13

1.1 Teoria mnogości 13

1.2 Algebra 17

1.3 Konsekwencja logiczna 19

1.4 Logiki modalne 22

2 Logiki modalne oparte o wielowartościową logikę Łukasiewicza 35

2.1 Wprowadzenie 35

2.2 Prezentacja języka i logiki 36

2.3 Logika Knzbazowana na logice Łn 39

2.4 Logiki KDn, Tn, K4n, KBn 46

2.5 Skończenie wartościowa logika Łukasiewicza Denn 48

2.6 Pozostałe wielowartościowe logiki Łukasiewicza KD’n, KDCn, T’n, 4n, KB’n, K5n 49

2.7 Krata wielowartościowych logik modalnych Łukasiewicza 51

2.8 Warunki specjalne dla skończenie wartościowych logik Łukasiewicza 52

2.9 Filtracja w skończenie wartościowych logikach Łukasiewicza 54

2.10 Obliczanie ilości relacji przechodnich 57

3 O pewnych zastosowaniach wielowartościowych logik Łukasiewicza 61

3.1 Klasyczna PDL 61

3.2 Wielowartościowa PDL 62

3.3 Wielowartościowe logiki Łukasiewicza a logika Nelsona 70

4 Uogólnione modele Kripkego 79

4.1 Sumy rozłączne i podmodele generowane 81

4.2 Homomorfizmy i bisymulacje 82

4.3 Bisymulacja w sensie H.P. Gumma i T. Schrödera 88

5 Topologiczne A-modele Kripkego 91

5.1 Semantyka topologiczna dla logik modalnych 91

5.2 Semantyka topologiczna dla wielowartościowych logik modalnych 92

6 Macierze kratowe 103

6.1 Zastosowania algebr liniowych w teorii krat 103

6.2 Modele Kripkego i bisymulacje 108

6.3 Przykład 113

7 Ekspresyjność wielowartościowych automatów i gramatyk 119

7.1 Związki logik modalnych z automatami skończonymi. Gramatyki 120

7.2 BL-automaty 122

7.3 Gramatyki probabilistyczne 127

Zakończenie 133

 

Od redakcji 143