Przeprowadzić dowód poprawności częściowej następującego programu:
{\(\displaystyle{ a:{n \ge 1}}\)}
\(\displaystyle{ x: =1; y:=0;}\)
\(\displaystyle{ while x\le n do}\)
\(\displaystyle{ y:=y+ 2x;}\)
\(\displaystyle{ x:= x+1}\)
{\(\displaystyle{ {y=2 ( n \frac{(n+1)}{2} ) }}\)}
czy ktos moze pomoc w ogarnięciu zadania?
Znaleziono 25 wyników
- 5 lut 2013, o 19:12
- Forum: Informatyka
- Temat: [Algorytmy] Poprawnosc algorytmu
- Odpowiedzi: 0
- Odsłony: 353
- 19 sty 2013, o 17:48
- Forum: Informatyka
- Temat: [C][BNF] Jak napisac instrukcję warunkową
- Odpowiedzi: 0
- Odsłony: 367
[C][BNF] Jak napisac instrukcję warunkową
jak napisac instrukcje switch, if, while w kodzie BNF w jezyku C?
- 1 lis 2012, o 10:04
- Forum: Informatyka
- Temat: [TPI] Najsłabszy warunek wstępny - pętla
- Odpowiedzi: 0
- Odsłony: 324
[TPI] Najsłabszy warunek wstępny - pętla
Proszę o pomoc w zadaniu, if x >= 5 then begin y=y+3; x=y-x; end dla warunku końcowego { x < 70 \wedge y > 3 } należy wyznaczyc nww, znalazłem wzór jednak zakłada on konstrukcję pętli if z else, a w zadaniu mamy tylko if, oto on: nww(if W then S1 else S2, q) = (W ! \Rightarrow nww(S1, q)) \wedge (¬W...
- 10 cze 2012, o 15:01
- Forum: Prawdopodobieństwo
- Temat: prawdopod. zdarzen
- Odpowiedzi: 1
- Odsłony: 274
prawdopod. zdarzen
Niech X ∼ N(0, σ). Określić prawdopodobieństwa zdarzeń
X \(\displaystyle{ \le}\) kσ
oraz
|X| \(\displaystyle{ \ge}\) kσ
dla k = 1, 2, 3.
X \(\displaystyle{ \le}\) kσ
oraz
|X| \(\displaystyle{ \ge}\) kσ
dla k = 1, 2, 3.
- 9 cze 2012, o 12:56
- Forum: Prawdopodobieństwo
- Temat: zmienne losowe ciągłe (kilka zadanek)
- Odpowiedzi: 7
- Odsłony: 590
zmienne losowe ciągłe (kilka zadanek)
\(\displaystyle{ \mathbb EX = \int\limits_{-\infty}^{+\infty}~x f(x) dx}\)
- 9 cze 2012, o 12:24
- Forum: Prawdopodobieństwo
- Temat: zmienne losowe ciągłe (kilka zadanek)
- Odpowiedzi: 7
- Odsłony: 590
zmienne losowe ciągłe (kilka zadanek)
Jeżeli X jest zmienną losową typu ciągłego zdefiniowaną na przestrzeni probabilistycznej (\(\displaystyle{ \Omega, \mathcal F, \mathbb P}\)), to wartość oczekiwaną zmiennej losowej X definiuje się jako całkę
\(\displaystyle{ \mathbb EX = \int\limits_\Omega X d\mathbb P}\)
\(\displaystyle{ \mathbb EX = \int\limits_\Omega X d\mathbb P}\)
- 9 cze 2012, o 11:20
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
\(\displaystyle{ \lambda e ^{- \lambda \frac{1}{2} }}\)
\(\displaystyle{ \sqrt{ \frac{1}{\lambda e }^{\lambda} }}\)
cos takiego?
\(\displaystyle{ \sqrt{ \frac{1}{\lambda e }^{\lambda} }}\)
cos takiego?
- 9 cze 2012, o 11:11
- Forum: Prawdopodobieństwo
- Temat: zmienne losowe ciągłe (kilka zadanek)
- Odpowiedzi: 7
- Odsłony: 590
zmienne losowe ciągłe (kilka zadanek)
Szczerze powiem ze nie widze zadnych podobnych zadan a tez mam z takimi problem ... Czy ktos moglby przykladowo chociaz jedno rozwiązac?
- 6 cze 2012, o 16:28
- Forum: Statystyka
- Temat: rozkład równomierny-rozkład normalny
- Odpowiedzi: 3
- Odsłony: 1001
rozkład równomierny-rozkład normalny
Nie wiem czy to dobrze , moze ktos sprawdzic?
w podpunkcie b)
\(\displaystyle{ P\left(U\leq \frac{8-2}{100} \right)=\Phi(0,06)}\)
w a)
\(\displaystyle{ P\left(U\leq \frac{10-8}{10} \right)}\)
w tym drugim jestem pewny ze cos poknocilem...-- 9 cze 2012, o 11:09 --pomoze ktos?
w podpunkcie b)
\(\displaystyle{ P\left(U\leq \frac{8-2}{100} \right)=\Phi(0,06)}\)
w a)
\(\displaystyle{ P\left(U\leq \frac{10-8}{10} \right)}\)
w tym drugim jestem pewny ze cos poknocilem...-- 9 cze 2012, o 11:09 --pomoze ktos?
- 6 cze 2012, o 16:06
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
dobra już bez żarcików :
gestosc prawdopodobienstwa:
\(\displaystyle{ \lambda e ^{-\lambda x}}\)
dystrybuanta:
\(\displaystyle{ 1-e ^{-\lambda x}}\)
No i co dalej należy z tym zrobić?
gestosc prawdopodobienstwa:
\(\displaystyle{ \lambda e ^{-\lambda x}}\)
dystrybuanta:
\(\displaystyle{ 1-e ^{-\lambda x}}\)
No i co dalej należy z tym zrobić?
- 5 cze 2012, o 20:42
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
\(\displaystyle{ g= \frac{m}{v}}\) ?
- 3 cze 2012, o 11:53
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
\(\displaystyle{ f(x)= \int_{- \infty }^{x}f(t)dt}\)
- 2 cze 2012, o 19:26
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
wydaje się że chodzi o jednak o wykładniczy. Ale skąd mam wziąć ten wzór na dystrybuantę zmiennej losowej z tym parametrem ?
- 2 cze 2012, o 13:17
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
\(\displaystyle{ \Phi(x)= \frac{1}{ \sqrt{2 \pi } } \int_{-\infty}^{ x} e^{-t ^{2}/2 }}\)
powyżej zadania istnieje tylko informacja że Rozkład normalny: Wartości funkcji Laplace’a i powyższy wzór, więcej danych nie ma w zadaniu...
powyżej zadania istnieje tylko informacja że Rozkład normalny: Wartości funkcji Laplace’a i powyższy wzór, więcej danych nie ma w zadaniu...
- 2 cze 2012, o 12:11
- Forum: Prawdopodobieństwo
- Temat: mediana zmiennej losowej
- Odpowiedzi: 12
- Odsłony: 1199
mediana zmiennej losowej
Medianą zmiennej losowej \(\displaystyle{ X}\) jest liczba \(\displaystyle{ \mu}\) spełniająca \(\displaystyle{ F_X(\mu ) = \frac 12}\). Określić medianę
zmiennej losowej o rozkładzie wykladniczym z parametrem \(\displaystyle{ \lambda}\) .
zmiennej losowej o rozkładzie wykladniczym z parametrem \(\displaystyle{ \lambda}\) .