MENU

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

(eBook)
0.00  [ 0 ocen ]
 Dodaj recenzję
Rozwiń szczegóły »
  • Druk: Łódź, 2016

  • Autor: Szymon Frankowski

  • Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

  • Formaty:
    PDF
    (Watermark)
    Watermark
    Znak wodny czyli Watermark to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie najbardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.

Produkt niedostępny
Dodaj do schowka

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

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.

  • Sposób dostarczenia produktu elektronicznego
    Produkty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po opłaceniu zamówienia kartą lub przelewem na stronie Twoje konto > Biblioteka.
    Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.
    Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
  • Ważne informacje techniczne
    Minimalne wymagania sprzętowe:
    procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturach
    Pamięć operacyjna: 512MB
    Monitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bit
    Dysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejsca
    Mysz lub inny manipulator + klawiatura
    Karta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/s
    Minimalne wymagania oprogramowania:
    System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows Mobile
    Przeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5
    Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScript
    Zalecany plugin Flash Player w wersji 10.0 lub wyżej.
    Informacja o formatach plików:
    • PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
    • EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
    • MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
    • Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
    Rodzaje zabezpieczeń plików:
    • Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie bardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.
    • Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
Wstęp   7
1.1	Logiki wielowartościowe i logiki modalne   7
1.2	Wielowartościowe logiki modalne   8
1	Preliminaria matematyczno-logiczne   15
1.1	Teoria mnogości   15
1.2	Algebra   19
1.3	Konsekwencja logiczna   21
1.4	Logiki modalne   24
2	Logiki modalne oparte o wielowartościową logikę Łukasiewicza   37
2.1	Wprowadzenie   37
2.2	Prezentacja języka i logiki   38
2.3	Logika Kn zbazowana na logice Łn   41
2.4	Logiki KDn, Tn, K4n, KBn   48
2.5	Skończenie wartościowa logika Łukasiewicza Denn   50
2.6	Pozostałe wielowartościowe logiki Łukasiewicza KD’n, KDCn, T’n, 4’n, KB’n, K5’n   51
2.7	Krata wielowartościowych logik modalnych Łukasiewicza   53
2.8	Warunki specjalne dla skończenie wartościowych logik Łukasiewicza   54
2.9	Filtracja w skończenie wartościowych logikach Łukasiewicza   56
2.10	Obliczanie ilości relacji przechodnich   59
3	O pewnych zastosowaniach wielowartościowych logik Łukasiewicza   63
3.1	Klasyczna PDL   63
3.2	Wielowartościowa PDL   64
3.3	Wielowartościowe logiki Łukasiewicza a logika Nelsona   72
4	Uogólnione modele Kripkego   81
4.1	Sumy rozłączne i podmodele generowane   83
4.2	Homomorfizmy i bisymulacje   84
4.3	Bisymulacja w sensie H.P. Gumma i T. Schrödera   90
5	Topologiczne A-modele Kripkego   93
5.1	Semantyka topologiczna dla logik modalnych   93
5.2	Semantyka topologiczna dla wielowartościowych logik modalnych   94
6	Macierze kratowe   105
6.1	Zastosowania algebr liniowych w teorii krat   105
6.2	Modele Kripkego i bisymulacje   110
6.3	Przykład   115
7	Ekspresyjność wielowartościowych automatów i gramatyk   121
7.1	Związki logik modalnych z automatami skończonymi. Gramatyki   122
7.2	BL-automaty   124
7.3	Gramatyki probabilistyczne   129

Zakończenie   135

Od redakcji   145
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

NAZWA I FORMAT
OPIS
ROZMIAR
(pdf)
Brak informacji

Inni Klienci oglądali również

44,91 zł
49,90 zł

Logika Talmudu

Czym jest interpretacja Pisma Świętego? Czym jest egzegeza talmudyczna? Czym jest logika żydowska, logika Talmudu? Logika Talmudu z filozoficznego punktu widzenia oferuje oryginalne podejście do pragmatyki i prakseologii. W judai...
9,36 zł
12,00 zł

Lingwistyka mentalna w zarysie

Książka przedstawia zarys tego obszaru współczesnego językoznawstwa, w którym fenomen języka rozpatrywany jest pod kątem jego mentalnej postaci oraz procesów mózgowych służących jego nabywaniu i przetwarzaniu. Jest to opraco...
17,16 zł
19,95 zł

Metody logiki

Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi p...
49,56 zł
59,00 zł

Logika

Podręcznik ,,Logika” obejmuje elementarne zagadnienia z zakresu:semiotyki,logiki formalnej,ogólnej metodologii nauk.W podręczniku umieszczono zestaw reguł poprawnego myślenia niezbędnych w pracy przyszłego pra...
22,05 zł
31,50 zł

Wartości formalne antycznego dramatu i teatru greckiego

Tom zbiorowy „Wartości formalne antycznego dramatu i teatru greckiego”. Konferencja w 50 rocznicę śmierci Profesora Stefana Srebrnego przynosi rozważania teatrologów i filologów klasycznych na temat twórczości naukowej ...
20,64 zł
24,00 zł

Logika przekonań społecznych

Przekonania społeczne to jedno z fundamentalnych pojęć pozwalających zrozumieć działania ludzkie i zjawiska społeczne. Rozprawa Pawła Matuszewskiego stanowi próbę socjologicznego wyjaśnienia tego, w jaki sposób owe przekonania społeczne s...
34,31 zł
39,90 zł

Parerga z logiki praktycznej. Dialogikon vol. 16

Szesnasty tom DIAlOGIKONU cechuje wielka różnorodność tematyki oraz, co jest pewnym novum w porównaniu z tomami wcześniejszymi, ilustratywna obrazowość. Pojawiają się w nim smoki i węże usiłujące zjeść własny ogon. Ma to ilustrować i upog...
22,05 zł
31,50 zł

Dyskurs telewizyjny w świetle lingwistyki mediów

Autorka przyjmuje, że dyskurs telewizyjny należy do kultury, więc jest znakowy, transmisyjny, przechowujący zwyczaje wspólnoty dyskursywnej. W książce zreferowano stan badań nad telewizją w polskich badaniach filologicznych, a następnie nad dysk...
26,99 zł
29,99 zł

Psycho-logika

Każdego roku jedna na cztery osoby doświadcza problemów ze zdrowiem psychicznym, przy czym same zaburzenia depresyjne i lękowe dotykają ponad 500 milionów osób na świecie.Dlaczego zaburzenia psychiczne są tak powszechne...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!