Aksjomatyczne systemy rachunku nazw - Piotr Kulicki
- Dodał: administrator
- Data: 20:25 17-11-2018
- Kategoria: Filozofia i etyka
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 |
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"...