METODY REFUTACYJNE W BAD. NAD SYSTEMAMI LOGICZNYMI

22-07-2015, 4:47
Aukcja w czasie sprawdzania nie była zakończona.

Cena kup teraz: 24.99 zł

Użytkownik E-KODEKS

numer aukcji: 5535435333

Miejscowość Gliwice

Koniec: 22-07-2015, 4:55

Dodatkowe informacje:
Stan: Nowy
Okładka: miękka
Rok wydania (xxxx): 2010
Kondycja: bez śladów używania

Robert Sochacki

METODY REFUTACYJNE

W BADANIACH

NAD SYSTEMAMI LOGICZNYMI

rok wyd. 2010, stron 121, bibliografia, indeks rzeczowy,
miękka oprawa foliowana, format ok. 23,5 cm x 16,5 cm

Z notatki wydawniczej :

W monografii rozważa się rachunki zdaniowe wielowartościowe oraz rachunki zdaniowe z grupy „nonsense-logic”,
dla których podaje się odpowiednio skonstruowane aksjomaty odrzucone (formuły, które nie są tezami).
Przy pomocy tych aksjomatów oraz tylko jednej reguły odrzucania (reguły odrzucania przez odrywanie)
odrzuca się dowolną formułę, która nie jest tezą danego rachunku, dowodząc tym samym pewną własność
tych rachunków zwaną Ł-rozstrzygalnością. W pracy stosuje się także technikę odrzucania i uznawania
wyrażeń do weryfikacji formuł w pewnej klasie systemów modalnych.

Praca jest adresowana do pracowników naukowo-dydaktycznych oraz studentów (doktorantów), zajmujących się
problematyką aksjomatyzacji (części uznanej i odrzuconej) systemów dedukcyjnych,
a także problematyką związaną z weryfikacją formuł w systemach logicznych.

SPIS TREŚCI :

Wstęp

Rozdział 1. Aksjomatyczne odrzucanie w wielowartościowych inwariantnych rachunkach zdaniowych Łukasiewicza

1.1. Inwariantne systemy definicyjne pełne

1.2. Inwariantne systemy implikacyjno-negacyjne

1.3. Inwariantne systemy czysto implikacyjne

1.4. Inwariantne systemy czysto implikacyjne nieskończenie wartościowe

Rozdział 2. Ł-rozstrzygalność pewnych inwariantnych rachunków zdaniowych

2.1. Ł-rozstrzygalność inwariantnego wielowartościowego implikacyjno-negacyjnego rachunku zdaniowego Sobocińskiego

2.2. Ł-rozstrzygalność systemu nonsense-logic Finna

2.3. Ł-rozstrzygalność logiki W

Rozdział 3. Zastosowanie metody uznawania i odrzucania wyrażeń do badania tez modalnych rachunków zdaniowych

Rozdział 4. Weryfikacja formuł w węższych rachunkach kwantyfikatorów nadbudowanych nad modalnymi rachunkami zdaniowymi

Bibliografia

Indeks rzeczowy

KAŻDY OFEROWANY EGZEMPLARZ JEST SPRAWDZANY
W CELU WYKLUCZENIA EWENTUALNYCH
DEFEKTÓW DRUKARSKICH !

ZAPRASZAM DO PRZEJRZENIA PEŁNEJ OFERTY KSIĘGARNI E-KODEKS !!!

W przypadku dodatkowych pytań proszę przesłać wiadomość.

Odbiór osobisty w Księgarni E-KODEKS jest możliwy wyłącznie

w Punkcie Dystrybucyjnym

Gliwice ul. Czapli 9

po wcześniejszym ustaleniu terminu.

Na życzenie książki wysyłamy za pośrednictwem Poczty Polskiej

(list polecony ekonomiczny lub list polecony priorytetowy, a powyżej 2 kg jako paczka pocztowa).