Aksjomatyczne systemy rachunku nazw - Piotr Kulicki

Aksjomatyczne systemy rachunku nazw - Piotr Kulicki

Książka prezentuje bogactwo aksjomatycznych systemów rachunku nazw. Przedstawia, w jednolity sposób, szereg znanych systemów skonstruowanych przez jej autora. Prezentując różne systemy aksjomatyczne rachunku nazw, nie staramy się wskazywać, który z nich jest właściwy bądź lepszy od innych, pozostawiając wybór Czytelnikowi. Kryteria tego wyboru mogą być różne. Między innymi wymienić można posiadane intuicje dotyczące sensu funktorów rachunku nazw, zgodność z ich sposobem używania w języku naturalnym, zgodność z rozumieniem funktorów w ujęciu historycznym, względy praktyczne związane z budowaniem dowodów i wykonywaniem obliczeń. Przedstawione analizy powinny być pomocne w dokonywaniu wyboru kierowanego każdym z wymienionych kryteriów. Sens funktorów w przedstawianych systemach naświetlany jest wielostronnie - poprzez system aksjomatyczny, aksjomatyczny system odrzucania, teoriomodelową strukturę odpowiadającą systemowi. Z kolei dokonanie wyboru kierowane kryteriami obliczeniowymi wspierane jest przez rezultaty dotyczące rozmiaru dziedziny, w którym jest określony model dla systemu oraz rozmiaru matrycy potrzebnej do zdefiniowania procedury decyzyjnej. źródło opisu: http://www.wydawnictwokul.lublin.pl/sklep/product_...(?) źródło okładki: http://www.wydawnictwokul.lublin.pl/sklep/images/o...»

data wydania 16 listopada 2011
kategoria filozofia i etyka
ISBN 9788377022160
słowa kluczowe logika, rachunek nazw, systemy aksjomatyczne
język polski
liczba stron 250
Aby oceniać i komentować zarejestruj się!
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.

Podobne wpisy do Aksjomatyczne systemy rachunku nazw - Piotr Kulicki

Geralt, czarownice i wampir. Recykling kulturowy Andrzeja Sapkowskiego - Katarzyna Kaczor

To pierwsze tak obszerne opracowanie twórczości Andrzeja Sapkowskiego. Poprzez portrety Geralta, czarodziejek, kapłanek, wampira Regisa i innych mieszkańców fantastycznego świata autorka przedstawia źródła i ewolucję wizerunków bohaterów fantasy. Zes...

Historia wierzeń i idei religijnych, t. 1 - Mircea Eliade

Trzytomowa Historia wierzeń i idei religijnych to jedno z najwybitniejszych i najchętniej czytanych dzieł z zakresu historii religii i religioznawstwa. Jego autor, rumuńskiego pochodzenia badacz, pisarz, eseista i wykładowca akademicki, Mircea Eliade...

Trudne emocje u dzieci. Jak wspólnie rozwiązywać problemy w domu i w szkole. - Ross W. Greene

Twoje dziecko bywa nieposłuszne i zbuntowane, manipuluje innymi, domaga się wyłącznej uwagi? Jesteś zmęczony ciągłym testowaniem granic, dąsami oraz krzykiem i agresją? Odłóż na bok kary, nagrody i zakazy - naucz dziecko samodzielnego rozwiązywania p...

Współczesna inscenizacja. Źródła, tendencje, perspektywy - Patrice Pavis

Niekonwencjonalna publikacja, która prezentuje zagadnienia inscenizacji teatralnej przełomu XX i XXI wieku. Ukazuje jej genezę, współczesne tendencje, a także możliwe kierunki rozwoju in spe. Bada zależności między inscenizacją a performansem oraz pr...

Historia erotyzmu - Georges Bataille

Georges Bataille (1897-1962), francuski pisarz i filozof, uchodził za "metafizyka zła", który fascynował się śmiercią, cierpieniem i ofiarami z ludzi, ale przez większość życia był bibliotekarzem. Również "Historia erotyzmu" (należąca do ineditów z l...

J.R.R. Tolkien - Powiernik Pieśni - Michał Błażejewski

John Ronald Reuel Tolkien (1892-1973) - równocześnie naukowiec, profesor anglistyki uniwersytetu w Leeds i w Oxfordzie oraz wielki mag, odkrywca tajemniczych, mitycznych światów i niezrównany przewodnik po nich. Autor "Władcy Pierścieni" i "Hobbita"...

Logowanie
Rejestracja