Znaleziono 10 wyników

autor: 1122
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...
autor: 1122
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)}\)
autor: 1122
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...
autor: 1122
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...
autor: 1122
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(?)
autor: 1122
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)}\)
autor: 1122
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
autor: 1122
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ć
autor: 1122
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
autor: 1122
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