Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego – czyli tzw. tablicy, a co za tym idzie, formalnego sformułowania pojęć pomocniczych, które towarzyszą definiowaniu systemu tablicowego. W pracy przeanalizowano m.in. pojęcia reguły tablicowej, gałęzi oraz tablicy, proponując ich ogólne i czysto formalne ujęcie.
Informacje o ebook kindle od dnia 06.10.2018 został zobaczony 409 razy! Odwiedzający najczęściej szukali formatu pdf i epub do pobrania.
Szczegóły książki:
- Data wydania
- 2013 (data przybliżona)
- ISBN
- 9788323130239
- Liczba stron
- 264
- Słowa kluczowe
- Matematyka, logika, logika zdań, logika nazw, formalizacja metod tablicowych dla logik zdań i logik nazw
- Język
- Polski
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.
