Rozdział w monografii
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Automatyczne systemy przetwarzania informacji - logiczny paradygmat tablic dualnych

Uproszczony widok
dc.abstract.plCelem pracy jest omówienie metodologii konstruowania systemów w stylu relacyjnych tablic dualnych, będących ważnym narzędziem w dziedzinie automatycznego dowodzenia twierdzeń. W pierwszej części pracy przedstawione zostały kluczowe pojęcia dla systemów tablic dualnych, w których językiem dedukcji jest klasyczna logika relacyjna. Druga część pracy poświęcona jest konstrukcji relacyjnego systemu tablic dualnych, umożliwiającego weryfikację tautologiczności formuł modalnej logiki informacyjnej z relacjami słabego podobieństwa i słabej rozróżnialności.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorGolińska-Pilarek, Joanna
dc.date.accessioned2024-01-28T20:01:45Z
dc.date.available2024-01-28T20:01:45Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/150805
dc.identifier.weblinkhttp://www.wydawnictwopw.pl/index.php?s=karta&id=3335
dc.languagepol
dc.pbn.affiliationphilosophy
dc.publisher.ministerialPolitechnika Warszawska
dc.relation.bookRóżne oblicza informacji
dc.relation.pages33-58
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.plsystem dedukcyjny
dc.subject.pl(dualne) tablice
dc.subject.pllogika relacyjna
dc.subject.pllogika modalna
dc.subject.pllogika informacyjna
dc.titleAutomatyczne systemy przetwarzania informacji - logiczny paradygmat tablic dualnych
dc.typeMonographChapter
dspace.entity.typePublication