Znaleziono 10 wyników
- 8 sty 2011, o 20:57
- Forum: Logika
- Temat: rekursja - ackermann
- Odpowiedzi: 0
- Odsłony: 582
rekursja - ackermann
Niech \psi (m,n= \left\{ \begin{array}{lll} n+1 \ dla \ m=0 \\ \psi(m-1,1) \ dla\ n=0, m>0 \\ \psi(m-1, \psi(m,n-1)) \ dla \ m>0, n>0}\end{array} \right . Pokazać, że \psi(m,n) \in Rek Gdzie Klasa funkcji rekurencyjnych Rek jest najmniejszą klasa zawierająca funkcje inicjujące i zamknięta na rekursj...
- 8 sty 2011, o 10:29
- Forum: Logika
- Temat: funkcje rekurencyjne
- Odpowiedzi: 0
- Odsłony: 684
funkcje rekurencyjne
Udowodnić, że podane funkcje są pierwornie (prymitywnie) rekurencyjne:
1. \(\displaystyle{ \sum_{y<z}^{} f(x,y) = s(x,z)}\)
2. \(\displaystyle{ \prod_{y<z}^{} f(x,y) = p(x,z)}\)
1. \(\displaystyle{ \sum_{y<z}^{} f(x,y) = s(x,z)}\)
2. \(\displaystyle{ \prod_{y<z}^{} f(x,y) = p(x,z)}\)
- 20 lis 2010, o 21:17
- Forum: Informatyka
- Temat: Maszyna Turinga
- Odpowiedzi: 0
- Odsłony: 631
Maszyna Turinga
mam takie zadanie z którym nie umiem sobie poradzić, napisać maszynę turinga która rozpoznaje język n^2 (gdzie n jest w zapisie binarnym)-- 24 listopada 2010, 21:59 --źle podałam treść tego zadania poprawna wersja: napisać maszynę turinga która na wejściu ma podaną liczbę n w zapisie binarnym i ma p...
- 16 sty 2010, o 18:00
- Forum: Logika
- Temat: Udowodnij z aksjomatów
- Odpowiedzi: 5
- Odsłony: 1054
Udowodnij z aksjomatów
chodzi o klasyczną , wiem, że mój post jest nieczytelny, ale nie iwem jak go edytować by był poprawny, i być może zmieniłeś wersje na poprawną, ale ja tego nie zauważyłam bo w między czasie go edytowałam, a ponieważ nie udało mi się go poprawnie zapisać zostawiłam tak jak był, prawdopodobnie, nieświ...
- 16 sty 2010, o 14:00
- Forum: Logika
- Temat: Udowodnij z aksjomatów
- Odpowiedzi: 5
- Odsłony: 1054
Udowodnij z aksjomatów
hmm a co ci dokł chodzi?
dowód z aksjomatów jest jeden(?)
dowód z aksjomatów jest jeden(?)
- 16 sty 2010, o 13:49
- Forum: Logika
- Temat: Udowodnij z aksjomatów
- Odpowiedzi: 5
- Odsłony: 1054
Udowodnij z aksjomatów
Udowodnij z aksjomatów
\(\displaystyle{ \exists_{x} (p(x) \Rightarrow q(x))\Rightarrow ( \exists_{x}p(x) \Rightarrow \exists_{x}q(x)}\)
\(\displaystyle{ \exists_{x} (p(x) \Rightarrow q(x))\Rightarrow ( \exists_{x}p(x) \Rightarrow \exists_{x}q(x)}\)
- 5 maja 2009, o 21:54
- Forum: Łamigłówki i zagadki logiczne
- Temat: Nowa zagadka Einsteina.
- Odpowiedzi: 51
- Odsłony: 87751
Nowa zagadka Einsteina.
Hmm nie czytałam podpowiedzi, ale w pierwszej - powszechnie znanej zagadce jeżeli było sformułowanie po lewej tzn bezspośredni sąsiad.
Gratuluje rozw zagadki
Gratuluje rozw zagadki
- 5 maja 2009, o 21:12
- Forum: Łamigłówki i zagadki logiczne
- Temat: Nowa zagadka Einsteina.
- Odpowiedzi: 51
- Odsłony: 87751
Nowa zagadka Einsteina.
nie zgadza się Michał na prawo od Ani na lewo od niej Mateusz , postaram się jutro wytłumczyć
- 28 kwie 2009, o 13:25
- Forum: Łamigłówki i zagadki logiczne
- Temat: Nowa zagadka Einsteina.
- Odpowiedzi: 51
- Odsłony: 87751
Nowa zagadka Einsteina.
Nie da się tego rozwiązać, albo jest bląd w treści, jak chcecie to podam uzasadnienie
- 22 paź 2008, o 20:44
- Forum: Rachunek różniczkowy
- Temat: równania różnicowe
- Odpowiedzi: 0
- Odsłony: 681
równania różnicowe
Wyznacz rozwiązanie ogólbe równań różnicowych:
\(\displaystyle{ y_{t+1} - 2y_t =(3t-2)(2sin2t+3cos2t)}\)
I ogólnie co się przewiduje jeżeli jest po prawej stronie równości jest sint lub cost
\(\displaystyle{ y_{t+1} - 2y_t =(3t-2)(2sin2t+3cos2t)}\)
I ogólnie co się przewiduje jeżeli jest po prawej stronie równości jest sint lub cost