Podaj przykład modelu i wartościowania, prze którym fomuła
\(\displaystyle{ P(x,f(x)) \rightarrow \forall x \exists y P(f(y),x)}\)
jest
a)spełniona
b) nie spełniona
Znaleziono 657 wyników
- 15 maja 2011, o 10:52
- Forum: Logika
- Temat: wartościowanie formuły..
- Odpowiedzi: 1
- Odsłony: 789
- 10 kwie 2011, o 19:54
- Forum: Logika
- Temat: Wyznaczyć wartość formuły przy wartosciowaniu
- Odpowiedzi: 3
- Odsłony: 864
Wyznaczyć wartość formuły przy wartosciowaniu
niestety nie wiem..Jan Kraszewski pisze:Wiesz, co to jest interpretacja formuły w strukturze?
JK
- 10 kwie 2011, o 16:20
- Forum: Logika
- Temat: Wskazać strukturę i wartościowanie spełniające formułę
- Odpowiedzi: 1
- Odsłony: 662
Wskazać strukturę i wartościowanie spełniające formułę
Wskazać strukturę i wartościowanie spełniające formułę: a) R(f{x)) \vee Q(y) \rightarrow (R(f(y)) \rightarrow x=y) ; b) (R(x) \rightarrow Q(f(x))) \wedge (R(f(x)) \rightarrow Q(y)) ; c) (R(x) \rightarrow R(y)) \rightarrow (Q(f(x)) \rightarrow R(f(y))) , oraz strukturę i wartościowanie nie spełniając...
- 10 kwie 2011, o 16:12
- Forum: Logika
- Temat: Wyznaczyć wartość formuły przy wartosciowaniu
- Odpowiedzi: 3
- Odsłony: 864
Wyznaczyć wartość formuły przy wartosciowaniu
Wyznaczyć wartość formuły x \cdot y = 0 \rightarrow x+y=y a) w strukturze \langle \mathbb{N},+, \cdot ,0,1 \rangle , przy wartościowaniu v(x)=1, v(y)=2 oraz przy wartościowaniu w(x)=0, w(y)=3 b) w strukturze \langle P( \mathbb{N}), \cup , \cap, \cdot ,\emptyset, \mathbb{N} \rangle , przy wartościowa...
- 5 kwie 2011, o 20:25
- Forum: Kombinatoryka i matematyka dyskretna
- Temat: Równanie rekurencyjne
- Odpowiedzi: 1
- Odsłony: 416
Równanie rekurencyjne
Witam,
w jaki sposób rozwiązać takie równanie rekurencyjne i jak będzie wyglądało rozwiązanie:
\(\displaystyle{ T(n) = 3 \cdot T( \frac{n}{2}) + bn}\),
gdzie \(\displaystyle{ b}\) jest liczbą naturalną
z góry dziękuję za pomoc
w jaki sposób rozwiązać takie równanie rekurencyjne i jak będzie wyglądało rozwiązanie:
\(\displaystyle{ T(n) = 3 \cdot T( \frac{n}{2}) + bn}\),
gdzie \(\displaystyle{ b}\) jest liczbą naturalną
z góry dziękuję za pomoc
- 5 sty 2010, o 20:43
- Forum: Algebra liniowa
- Temat: norma macierzy..
- Odpowiedzi: 2
- Odsłony: 723
norma macierzy..
hmm, znalazłem taki wzór:
\(\displaystyle{ ||A|| _{2} = \sqrt{\lambda _{max}(A ^{T}A) }}\), gdzie \(\displaystyle{ \lambda _{max}(A ^{T}A)}\) oznacza największą wartość własną macierzy \(\displaystyle{ A ^{T}A}\).
i licząc z niego wychodzi taki wynik: \(\displaystyle{ \frac{13(3+ \sqrt{5}) }{2}}\) i nie wiem czy to jest dobrze...
\(\displaystyle{ ||A|| _{2} = \sqrt{\lambda _{max}(A ^{T}A) }}\), gdzie \(\displaystyle{ \lambda _{max}(A ^{T}A)}\) oznacza największą wartość własną macierzy \(\displaystyle{ A ^{T}A}\).
i licząc z niego wychodzi taki wynik: \(\displaystyle{ \frac{13(3+ \sqrt{5}) }{2}}\) i nie wiem czy to jest dobrze...
- 5 sty 2010, o 20:18
- Forum: Algebra liniowa
- Temat: norma macierzy..
- Odpowiedzi: 2
- Odsłony: 723
norma macierzy..
Witam. W jaki sposób obliczyć \(\displaystyle{ ||A|| _{2}}\) macierzy:
\(\displaystyle{ A = \begin{bmatrix} 1&-3\\-5&2\end{bmatrix}}\)
proszę o pomoc..
\(\displaystyle{ A = \begin{bmatrix} 1&-3\\-5&2\end{bmatrix}}\)
proszę o pomoc..
- 18 gru 2009, o 14:42
- Forum: Funkcje wymierne
- Temat: Rozwiąż nierówność
- Odpowiedzi: 8
- Odsłony: 882
Rozwiąż nierówność
mianownik nie może być równy zero czyli dziedziną będą liczby rzeczywiste, oprócz tych co dają w mianowniku 0.
- 18 gru 2009, o 13:57
- Forum: Funkcje wymierne
- Temat: Rozwiąż nierówność
- Odpowiedzi: 8
- Odsłony: 882
Rozwiąż nierówność
\left| \frac {x ^{2}+3x+2} {2x ^{2}+7x+6} \right| \le 1 wskazówka: ... = \frac {x ^{2}+3x+2} {2x ^{2}+7x+6} \le 1 \wedge \frac {x ^{2}+3x+2} {2x ^{2}+7x+6} > 1 i teraz możesz sobie wyliczyć te równania kwadratowe i powinno się coś skrócić w liczniku i mianowniku, a jak nie to rozwiązujesz jak zwykł...
- 18 gru 2009, o 13:54
- Forum: Rachunek całkowy
- Temat: całka z cosx i tgx
- Odpowiedzi: 2
- Odsłony: 1311
całka z cosx i tgx
... = \(\displaystyle{ \int\frac{1}{cosx}dx + \int \frac{tgx}{cosx}dx}\)kruczek_100 pisze:jak rozwizac taką całke?
\(\displaystyle{ \int}\)\(\displaystyle{ \frac{1+tgx}{cosx}dx}\)
i teraz rozwiązujesz te 2 całki
- 5 gru 2009, o 17:02
- Forum: Informatyka
- Temat: Znak zodiaku dla wczytanej daty
- Odpowiedzi: 7
- Odsłony: 2589
Znak zodiaku dla wczytanej daty
bo nie ma 13 miesiąca, czyli jak ktoś wpisuje 13, to przeskakuje na pierwszy
- 5 gru 2009, o 09:49
- Forum: Informatyka
- Temat: Znak zodiaku dla wczytanej daty
- Odpowiedzi: 7
- Odsłony: 2589
Znak zodiaku dla wczytanej daty
Dla ułatwienia dodam że tablice i pętlę nie wchodzą w grę bo tego materiału jeszcze nie miałam. a szkoda bo wtedy możnaby to ładnie zrobić.. i wtedy byłoby bardziej potrzebne dzielenie modulo, dzięki któremu można by się odwoływać do danego elementu tablicy.. np: String[] tablicaMiesiecy = {"&...
- 23 lis 2009, o 21:27
- Forum: Ciąg arytmetyczny i geometryczny
- Temat: ciąg arytmetyczny sprawdzenie
- Odpowiedzi: 2
- Odsłony: 348
ciąg arytmetyczny sprawdzenie
Obie są prawidłowe, tylko to zależy od tego jaki ten ciąg ma być, tzn:
- jeżeli malejący to prawidłowa jest : \(\displaystyle{ a _{1} = \frac{4}{3} \ r = - \frac{1}{3}}\)
- jeżeli rosnący to : \(\displaystyle{ a _{1} = - \frac{4}{3} \ r = \frac{1}{3}}\)
- jeżeli malejący to prawidłowa jest : \(\displaystyle{ a _{1} = \frac{4}{3} \ r = - \frac{1}{3}}\)
- jeżeli rosnący to : \(\displaystyle{ a _{1} = - \frac{4}{3} \ r = \frac{1}{3}}\)
- 23 lis 2009, o 20:59
- Forum: Informatyka
- Temat: mnożenie w systemie dwójkowym
- Odpowiedzi: 1
- Odsłony: 3689
mnożenie w systemie dwójkowym
___________1 1 1 1 0 1 ___________1 1 0 1 1 0 --------------------- ___________0 0 0 0 0 0 _________1 1 1 1 0 1 _______1 1 1 1 0 1 ___.1 1 1 1 0 1 __1 1 1 1 0 1 ------------------------- _1 1 0 0 1 1 0 1 1 1 1 0 Tak mniej więcej jest równo. Te linie po lewej to wcięcia,tylko dla lepszego zorientowan...
- 23 lis 2009, o 20:35
- Forum: Przekształcenia algebraiczne
- Temat: oblicz sumę wszytkich....
- Odpowiedzi: 1
- Odsłony: 332
oblicz sumę wszytkich....
wydaje mi się że można to zrobić za pomocą sumy ciągu arytmetycznego, gdzie:
\(\displaystyle{ a _{1} =2}\)
\(\displaystyle{ r = 4}\)
\(\displaystyle{ a _{n} = 98}\)
\(\displaystyle{ a _{1} =2}\)
\(\displaystyle{ r = 4}\)
\(\displaystyle{ a _{n} = 98}\)