Logiki wielowartościowe

Logiki wielowartościowe

1 opinia

Format:

ibuk

WYBIERZ RODZAJ DOSTĘPU

 

Dostęp online przez myIBUK

WYBIERZ DŁUGOŚĆ DOSTĘPU

6,15

Wypożycz na 24h i opłać sms-em

17,45

cena zawiera podatek VAT

ZAPŁAĆ SMS-EM

TA KSIĄŻKA JEST W ABONAMENCIE

Już od 19,90 zł miesięcznie za 5 ebooków!

WYBIERZ SWÓJ ABONAMENT

Przystępny wykład działu logiki, który zajmuje się badaniem kryterium prawdziwości zdań oraz formalnych związków wynikania. Istotą logiki wielowartościowej jest odejście od klasycznej logiki dwuwartościowej (prawda i fałsz) i wprowadzenie wartości pośrednich (możliwości, niezdeterminowania). Podstawy logik wielowartościowych stworzyli polscy uczeni skupieni w szkole lwowsko-warszawskiej (Łukasiewicz, Tarski, Ajdukiewicz).


Logiki wielowartościowe wykładane są na kursach logiki dla filozofów, matematyków, informatyków (ogromne zastosowanie logik wielowartościowych w technikach komputerowych).


Wydanie 2 rozszerzone otrzymało dwa nowe rozdziały oraz uzupełnienia w pozostałych rozdziałach.


Liczba stron126
WydawcaWydawnictwo Naukowe PWN
ISBN-13978-83-01-14879-9
Numer wydania4
Język publikacjipolski
Informacja o sprzedawcyRavelo Sp. z o.o.

INNE EBOOKI AUTORA

Ciekawe propozycje

Spis treści

[]. Logika klasyczna    1
[][].. Tabelki prawdziwościowe    1
    1.. Tautologie rachunku zdań    2
    1.. Pełność funkcyjna    3
    1.4. Aksjomatyzacja klasycznego rachunku zdań    5
    1.5. Rachunek predykatów    6
    1.6. Algebraiczna postać logiki    7
  2. Trzecia wartość logiczna u Łukasiewicza    10
    2.1. Łukasiewicz i szkoła lwowsko-warszawska    10
    2.2. Logika trójwartościowa    11
    2.3. Modalność i trójwartościowość    13
    2.4. Kłopoty z interpretacją    14
  3. Algebry i matryce logiczne    17
    3.1. Język i algebra logiki    17
    3.2. Pełność funkcyjna algebr skończonych    18
    3.3. Matryce logiczne    20
    3.4. Matryce inferencyjne    21
  4. Wielowartościowość    23
    4.1. Dwa kryteria    23
    4.2. Strukturalność a wielowartościowość    25
    4.3. Skończoność i dedukcja    26
    4.4. Inferencyjna wielowartościowość    27
  5. Logiki Łukasiewicza    29
    5.1. Podstawowe wiadomości    29
    5.2. Definiowalność w matrycach Łukasiewicza    30
    5.3. Aksjomatyzacja    31
    5.4. Interpretacje algebraiczne    32
  6. Logiki Posta    35
    6.1. Matryce Posta    35
    6.2. Interpretacja    37
    6.3. Algebraiczna postać logik Posta    38
    6.4. Aksjomatyzacja funkcyjnie pełnych logik    39
  7. Trójwartościowość Kleenego i Boczwara    42
    7.1. Logika nieokreśloności    42
    7.2. Logika Boczwara    44
    7.3. Logiki częściowe    46
  8. Standardowe własności    50
    8.1. Warunki standardowe    50
    8.2. Aksjomatyzacja    51
    8.3. Częściowe postacie normalne    53
    8.4. Konsekwencje matryc standardowych    54
  9. Formalizacje w tradycji Gentzena    56
    9.1. Sekwenty    56
    9.2. Tablice semantyczne    58
    9.3. Dedukcja naturalna i rezolucja    59
  10. Prawdopodobieństwo a wartości logiczne    61
    10.1. Prawdopodobieństwo logiczne    61
    10.2. Prawdopodobieństwo subiektywne    63
  11. Klasyczna charakterystyka    66
    11.1. Teza Suszki    66
    11.2. Metoda Scotta    68
    11.3. Interpretacje Urquharta    71
  12. Kwantyfikatory i wielowartościowość    73
    12.1. Zwykłe rachunki predykatów    73
    12.2. Teoria mnogości a logika wielowartościowa    75
    12.3. Kwantyfikatory uogólnione    76
    12.4. Kwantyfikatory dystrybucji    79
  13. Intuicjonizm i logiki modalne    80
    13.1. Logika intuicjonistyczna    80
    13.2. Logiki modalne S4 i S5    83
    13.3. Uwagi o kwantyfikacji    86
  14. Zbiory rozmyte i logiki Zadeha    89
    14.1. Zbiory rozmyte i logiki pojęć nieostrych    89
    14.2. Logika rozmyta    91
  15. Nowsze badania wielowartościowości    95
    15.1. Prawdziwościowa logika rozmyta    95
    15.2. Tablice semantyczne i zbiory znaków    96
    15.3. Kraty prawdy i informacji    98
  16. Zastosowania i znaczenie problematyki    101
    16.1. Dowody niezależności    101
    16.2. Formalizacja funkcji intensjonalnych    102
    16.3. Algebry wielowartościowe i elektronika    104
    16.4. Wielowartościowość w Computer Science    106
  Bibliografia    108
  Skorowidz nazwisk    117
  Skorowidz terminów    120
RozwińZwiń
W celu zapewnienia wysokiej jakości świadczonych przez nas usług, nasz portal internetowy wykorzystuje informacje przechowywane w przeglądarce internetowej w formie tzw. „cookies”. Poruszając się po naszej stronie internetowej wyrażasz zgodę na wykorzystywanie przez nas „cookies”. Informacje o przechowywaniu „cookies”, warunkach ich przechowywania i uzyskiwania dostępu do nich znajdują się w Regulaminie.

Nie pokazuj więcej tego powiadomienia