Równościowe i zdaniowe logiki P-zgodne - Krystyna Mruczek-Nasieniewska
- Dodał: administrator
- Data: 08:53 14-11-2018
- Kategoria: Informatyka i matematyka
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej pracy wskażemy pewne ogólne związki zachodzące między wybranym klasami logik a odpowiadającymi im podlogikami generowanymi przez tzw. równości, czy szerzej formuły P-zgodne. Wybierając ze zbioru formuł tylko te formuły, które mają pewną określoną strukturę (i domykając ten zbiór ze względu na określony operator konsekwencji) otrzymujemy podsystem logiki wyjściowej. Klasa modeli otrzymanej logiki jest większa w sensie inkluzji od klasy modeli odpowiadającej wyjściowej logice. Takie podejście daje pewien szerszy wgląd w istotę logik. Prowadząc takie badania możemy ‘patrzeć’ na dany system z pewnej ‘odległości’. Mając taką perspektywę możemy rozważać istotne aspekty każdego systemu i pytać o skończoną bazowalność, algebry wolno-generowane, modele podprosto-nierozkładalne (i inne) oraz badać, na ile są one powiązane (odpowiednio) z bazą równościową, algebrami wolno-generowanymi, modelami podprosto-nierozkładalnymi wyjściowego systemu. W niniejszej pracy będziemy ‘patrzeć’ z szerszej perspektywy na klasę modeli związaną z logiką klasyczną, logiką wielkowartościową i kwantową. źródło opisu: https://wydawnictwo.umk.pl/pl/products/2925/rownos...(?) źródło okładki: https://wydawnictwo.umk.pl/media/img/cms/front_cov...»
| język | polski | ||
| kategoria | informatyka i matematyka | ||
| słowa kluczowe | matematyka, logika, logiki P-zgodne, logika formalna, logika matematyczna, teoria modeli | ||
| data wydania | 2013 (data przybliżona) | ||
| liczba stron | 140 | ||
| ISBN | 9788323130826 |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do Równościowe i zdaniowe logiki P-zgodne - Krystyna Mruczek-Nasieniewska
Księga wychodzenia za dnia. Tajemnice egipskiej Księgi umarłych - Mirosław Barwik
Zbiór formuł zapisywanych na staroegipskich papirusach wkładanych wraz ze zmarłymi do grobu zwykło się nazywać Księgą Umarłych. Sami Egipcjanie określali je „Księgą wychodzenia za dnia”, co wyrażało nadzieję, że zaklęcia zapisane na papirusie umożliw...
Excel 2003 PL. Biblia - John Walkenbach
Microsoft Excel 2003 jest chyba najpopularniejszą aplikacją biurową używaną do przetwarzania danych liczbowych. Jego możliwości są niezwykle duże -- od wykonywania prostych obliczeń i zestawień, poprzez analizy statystyczne i rozwiązywanie złożonych...
O Francji - Emil Cioran
Emil Cioran (1911–1995), zaliczany dziś do najbardziej oryginalnych myślicieli XX wieku, większość życia spędził we Francji, którą wybrał na swoją nową ojczyznę – po Rumunii, kraju jego młodości. Osiadł we Francji jeszcze przed II wojną światową i ni...
Excel 2010 PL. Z Excelem sie kalkuluje! - Witold Wrotek
Umiesz liczyć — licz z Excelem! Czym jest arkusz kalkulacyjny Excela? To doskonałe narzędzie ze stajni Microsoft Office jest odpowiedzią na tony zeszytów wraz z tabelami, pomyłki popełniane przy liczeniu, kalkulatory z ograniczoną liczbą funkcji czy...
Metodologiczne i dydaktyczne aspekty bezpieczeństwa narodowego - Waldemar Kitler, Tomasz Kośmider
Akademia Obrony Narodowej we współpracy z innymi ośrodkami akademickimi podjęła badania, których celem stało się zdiagnozowanie stanu teorii i praktyki bezpieczeństwa narodowego oraz określenie jego głównych kierunków rozwoju. Rezultaty podjętych bad...
Excel. Wykresy, analiza danych, tabele przestawne. Niebieski podręcznik - Paul McFedries
Excel to narzędzie należące do pakietu MS Office, charakteryzujące się nieskończoną cierpliwością w wykonywaniu najbardziej mozolnych i skomplikowanych obliczeń. Rozwijany od wielu lat, zdobył ogromną popularność i obecnie jest najbardziej znanym ark...