Záleží nám na vašom súkromí
Pomocou súborov cookie a súvisiacich technológií, ako aj spracovaním vašich údajov môžeme lepšie prispôsobiť zobrazovaný obsah vašim potrebám.Udelením súhlasu s ukladaním informácií na vašom koncovom zariadení alebo s prístupom k informáciám a spracovaním údajov, a to aj v oblasti profilovania, trhu a štatistickej analýzy, budete môcť na stránkach Allegro ešte ľahšie nájsť presne to, čo hľadáte a čo potrebujete.Správcami vašich údajov bude spoločnosť Allegro, ako aj niektorí partneri, s ktorými spolupracujeme.
Jednoduchšie používanie našich stránok, zobrazovanie a meranie personalizovaného obsahu a reklám, vytváranie štatistík a zlepšovanie funkčnosti.Súhlas je dobrovoľný. Môžete ho kedykoľvek odvolať alebo obnoviť v záložke Nastavenia súborov cookie na hlavnej stránke. Odvolanie súhlasu nemá vplyv na zákonnosť spracovania vykonaného pred odvolaním.
zásady používania súborov cookiezásady ochrany osobných údajovPlatnosť hľadanej ponuky vypršala – čo tak skúsiť podobný produkt?
- 13,89 €
- Wprowadzenie do logiki formalnej
- za 0 € so
- 16,09 €
- Wprowadzenie do teorii grafów
- za 0 € so
Opis
Zagadnienia logiki formalnej i ogólnej teorii...
Książka ta jest drugą spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Zagadnienia podjęte w rozważaniach są wybrane z logiki formalnej i ogólnej teorii mnogości. Najobszerniej jest omawiany klasyczny rachunek zdań, a zwłaszcza metoda założeniowa; spośród rachunków zdań nieklasycznych zostały wybrane rachunki logiki wielowartościowej, modalnej (rozumianej wąsko), deontycznej oraz logika intuicjonistyczna i tzw. logiki pośrednie. Również charakterystyka logiki predykatów jest skupiona na rachunkach klasycznych ponownie z naciskiem na system założeniowy. Teoria wynikania zdań kategorycznych jest najpierw omówiona odrębnie, w sposób przyjęty w sylogistyce, uzupełniony o nowsze metody, po czym teoria ta jest zinterpretowana w rachunku predykatów. W rozdziale poświęconym teorii mnogości są podjęte zagadnienia zwykle umieszczane w jej części zwanej ogólną: podstawowe pojęcia rachunku zbiorów i relacji, wybrane zagadnienia teorii liczb kardynalnych, zagadnienia związane z antynomiami klasycznej teorii mnogości oraz ze sposobami ich usuwania. Wyniki prezentowane w niniejszej książce, poświęconej zagadnieniom logiki formalnej i ogólnej teorii mnogości, sformułowane w niej definicje, twierdzenia i dowody są co nieuniknione wzorowane na znanych opracowaniach. Nie są jednak ich kompilacją, ponieważ różnią się nie tylko układem definicji i twierdzeń, lecz także ich sformułowaniami zapisanymi w jednolitej notacji (symbolice), komentarzami i przykładami, a często także sposobem uzasadniania twierdzeń (sposobem dowodzenia). Są także w książce merytorycznie nowe propozycje, jak algorytmiczna metoda wyszukiwania zależności definicyjnych między funktorami prawdziwościowymi oraz uproszczone metody sprawdzania poprawności logicznej wnioskowań ze zdaniami kategorycznymi.
Niektoré texty boli preložené automaticky. Dajte nám vedieť, ak ste si všimli jazykovú chybu.