[ Posty: 2 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 10 cze 2009, o 23:44 
Użytkownik

Posty: 4
Pojęcie dowodu na gruncie aksjomatycznym. Rozstrzygalność teorii matematycznych. Co to jest?
Proszę o pomoc.
Góra
Mężczyzna Offline
PostNapisane: 11 cze 2009, o 09:33 
Użytkownik
Avatar użytkownika

Posty: 1979
Lokalizacja: inowrocław
zajrzyj se np. do Grzegorczyk "Zarys logiki matematycznej". albo Marciszewski "Logika formalna. Zarys encyklopedyczny"
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 spójniki Łukasiewicza aksjomatyczne ujęcie KRZ zadania
Witam, mam okropny problem z logiką, dostałam masę zadań które mają mi pomóc w przygotowaniu do zaliczenia i zostały mi tylko te, których nie jestem w stanie ogarnąc.Byłabym bardzo wdzięczna za każdą pomoc. 1) Podaj definicję implikacji przy pomocy...
 nouvecoco  4
 Proszę o pomoc w zrozumieniu dowodu.
http://matwbn.icm.edu.pl/ksiazki/mon/mon18/mon1801.pdf Na stronie 17 pliku a 32 książki jest Twierdzenie 5. Dlaczego, wg. dowodu do tego twierdzenia, N_{1} \wedge N_{2} ma...
 aeaeae  4
 Zapisz zdania w formalnym języku teorii mnogości Zermela.
1.Suma zbiorów x i y jest zbiorem zawierającym dokładnie dwa elementy. 2.Suma zbiorów x i y jest zbiorem zawierającym dokładnie trzy e...
 stella17  0
 Szukam zbioru zadań i podręcznika o teorii relacji
Może znacie jakiś fajny zbiór zadań i podręcznik o relacjach. Serdeczne dzięki....
 qwert16  0
 Przykłądowe testy egz z logiki i teorii mnogości
Witam mam niedługo egzamin z logiki i teorii mnogości i pomyslałem że może tu ktoś mieć jakieś przykładowe testy egzaminacyjne, jak tak to bardzo proszę o linka bądź coś na mejla łaskawie : michal321@o2.pl...
 michal_inf  5
 Sprawdzenie "dowodu"
Witam, mam do zrobienia następujące zadanie: Które z poniższych zdań są prawdziwe dla dowolnych formuł zdaniowych \phi i \psi? 1. Jeśli \phi \Rightarrow \psi ora...
 kolaszek  1
 Prezentacja o teorii gier
Witam wszystkich na forum! Jeżeli umieściłem ten temat w złym dziale proszę o przesunięcie go do odpowiedniego działu. Mam do zrobienia(praca domowa) prezentację multimedialną o teorii gier. Problem sprawiają mi dwie rzeczy: 1. Potrzebuję grafikę zw...
 cwaniak95  1
 Weryfikacja poprawności dowodu indykcyjnego. - zadanie 2
Dzień dobry, Rozwiązałem pewne zadanie wykorzystując indykcje matematyczną. Mój problem polega na tym, że jeszcze nie do końca pojmuje kiedy dany dowód oparty na indukcji jest w 100% formalnie poprawny (=> nie do końca rozumiem indukcje ^_^ ). T...
 Ekstremo  0
 metoda dowodu nie-wprost a czynione założenia
Moje pytanie jest bardzo proste i teoretyczne. Jeżeli mam daną funkcję logiczną i zamierzam dowieść jej prawdziwości poprzez metodę dowodu nie-wprost, to przy założeniu, że dana funkcja jest fałszywa, muszę znaleźć sprzeczność w tym twierdzeniu (że j...
 Drkc  8
 Rozstrzygalność problemu tautologii
1. Rozważamy formuły rachunku kwantyfikatorów (I rzędu) z równościa, bez symboli funkcyjnych i innych symboli relacyjnych (termy to zmienne lub stałe). Czy problem bycia tautologią jest przy takich założeniach rozstrzygalny? (czy istnieje algorytm sp...
 Zordon  6
 Niesprzeczność teorii mnogości
Czy logika i teoria mnogości jest teorią niesprzeczną? Czy może się kiedyś w przyszłości okazać, że teoria mnogości zawiera sprzeczności? Nurtują mnie te ważne pytania....
 Jakub Gurak  5
 Dowody formalne teorii Z
nie rozumie co to ta teoria Z chodzi o skorzystanie tw o dedukcji?...
 Maciassss  1
 Kilka pytań z teorii logiki...
1. Jakie są sposoby przekształcania formy zdaniowej w sensie logicznym? 2. Na czym polega aksjomatyczny system dedukcyjny, jak powstaje? (+ jakiś przykład) 3. Na czym polega wnioskowanie przez analogię i jaki to typ wnioskowania?...
 Immanu  0
 Zadanie z teorii matematycznych
Mam takie zadanko i nie wiem jak sobie z nim poradzić Niech φ 1, φ 2, ..., φ n będzie dowodem w r-ku zdań. Wykaż, że: a) dla każdego i istniej...
 ania20  0
 Zastosowanie praw w teorii mnogości
\left( A \cup B\right) \cap \left( B \cup C\right) \cap \left( C \cup A\right)= B \cup \left( A \cap C\right) \cap \left( C \cup A \right) = B \cup A \cap C Zauważyłem, że...
 netsprint  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com