pokaz koszyk
tylko: autor tytuł  24h
»
»
»
Normalne logiki pozycyjne
książka:

Normalne logiki pozycyjne

Dane szczegółowe:
Wydawca: Katolicki Uniwersytet Lubelski, KUL
Rok wyd.: 2015
Oprawa: miękka
Ilość stron: 201 s.
Wymiar: 170x240 mm
EAN: 9788380611146
ISBN: 978-83-8061-114-6
Data: 2015-11-25
Cena wydawcy: 25.00 złpozycja niedostępna

Normalne logiki pozycyjne - Tomasz Jarmużek, Marcin Tkaczyk - opis książki:

Normalne logiki pozycyjne.

Książka Normalne logiki pozycyjne - oprawa miękka - Wydawnictwo Katolicki Uniwersytet Lubelski, KUL.

Książka posiada 201 stron i została wydana w 2015 r.

Spis treści:

Wstęp

Rozdział 1. Klasyczne podstawy
1.1. Uwagi wstępne
1.2. Oznaczenia i pojęcia teoriomnogościowe
1.3. Klasyczna Logika Zdań
1.3.1. Semantyka KLZ
1.3.2. Podejście dowodowe do KLZ
1.4. Klasyczna Logika Kwantyfikatorów
1.4.1. Semantyka KLK
1.4.2. Podejście dowodowe do KLK

Rozdział 2. Geneza i rozwój logik pozycyjnych
2.1. Operator R
2.2. Historia
2.2.1. Czasowa interpretacja logiki pozycyjnej oraz logiki topologiczne
2.2.2. SystemŁosia

Rozdział 3. Logika minimalnej realizacji MR
3.1. Uwagi wstępne
3.2. System MR
3.2.1. Semantyka MR
3.2.2. Aksjomatyzacja MR
3.2.3. Niezależność aksjomatów MR
3.3. Adekwatność systemu MR

Rozdział 4. Alternatywne podejście do MR
4.1. Uwagi wstępne
4.2. Funkcje wartościujące formuły MR
4.2.1. Poprawność aksjomatyzacji MR
4.2.2. Alternatywna semantyka
4.2.3. Tabele prawdziwościowe
4.2.4. Pełność aksjomatyzacji MR

Rozdział 5. Bezkwantyfikatorowe rozszerzenia MR
5.1. Uwagi wstępne
5.2. Alternatywne aksjomatyzacje
5.3. Normalne logiki pozycyjne
5.4. Rozszerzenia MR
5.4.1. Zagnieżdżanie operatora R
Jałowe iteracje
Relewantne iteracje
5.4.2. Formuły poza zasięgiem operatora R
Wyróżnienie pozycji
Prawdziwość w każdej pozycji
5.5. Podejście tablicowe do logik pozycyjnych

Rozdział 6. MRQ - kwantyfikatorowa logika pozycyjna
6.1. Uwagi wstępne
6.2. System MRQ
6.2.1. Semantyka MRQ
6.2.2. Aksjomatyzacja MRQ
6.3. Adekwatność systemu MRQ
6.4. Metalogiczne własności MRQ
6.5. Rozszerzenia MRQ

Rozdział 7. Zastosowania logik pozycyjnych
7.1. Uwagi wstępne
7.2. Zastosowania filozoficzne
7.2.1. Rekonstrukcja F. S.Michaela
7.2.2. Rekonstrukcja N. Reschera
7.3. Rekonstrukcja logik modalnych w języku pozycyjnym
7.3.1. Poprawność normalnych logik modalnych w MRQ
7.3.2. Pełność normalnych logik modalnych w MRQ

Podsumowanie - perspektywy dalszych badań
Wykaz symboli
Wykaz pojęć
Bibliografia

Oceń, napisz recenzję/opinię [+]
  Bądź pierwszy - napisz opinię, recenzję o książce "Normalne logiki pozycyjne"
Tomasz Jarmużek, Marcin Tkaczyk - autor m.in.:
Stany nagłe. Pediatria - okładka książki
Stany nagłe. Pediatria Marcin Tkaczyk (red.);
Ksiądz Wincenty Granat. Seria: - okładka książki
Ksiądz Wincenty Granat. Seria: Źródła i monografie... ks. Zdzisław Janiec, Marcin Tkaczyk, Halina Szumił;
Logika czasu empirycznego - okładka książki
Logika czasu empirycznego Marcin Tkaczyk;
Kupujący tę pozycję zamówili również: