Znaleziono 15 wyników

autor: peterek
22 cze 2014, o 17:44
Forum: Informatyka
Temat: [Algorytmy] Dowód poprawności algorytmu.
Odpowiedzi: 1
Odsłony: 594

[Algorytmy] Dowód poprawności algorytmu.

Jak dowieść poprawność poniższego algorytmu metodą niezmienników?
Z góry dziękuję za pomoc.

Kod: Zaznacz cały

i = 1;
s = 1;

while(i<=n)
{
    s = s * i;
    i++;
}
autor: peterek
28 sty 2014, o 01:55
Forum: Kinematyka i dynamika
Temat: Zadania pęd i praca
Odpowiedzi: 1
Odsłony: 553

Zadania pęd i praca

Cześć,

Mam problem z zadaniem 1 i 3 z obrazka. Czy mógłby mnie ktoś nakierować jak je ruszyć?
Z góry dziękuję za pomoc.

autor: peterek
20 lut 2013, o 19:52
Forum: Logika
Temat: Hilbertowski system dowodzenia [przechodniość implikacji]
Odpowiedzi: 0
Odsłony: 576

Hilbertowski system dowodzenia [przechodniość implikacji]

Cześć, mam do udowodnienia przechodniość implikacji w Hilbertowskim systemie dowodzenia. Byłbym wdzięczny jeżeli ktoś mógłby mnie pokierować od czego zacząć. Oto zadanie:

\Delta=\left\{p\rightarrow q, q \rightarrow r, p, \neg r\right\} \vdash p \rightarrow r

Do zadania mam wskazówkę - rozszerzyć ...
autor: peterek
19 lut 2013, o 15:04
Forum: Logika
Temat: Rachunek kwantyfikatorów
Odpowiedzi: 9
Odsłony: 1076

Rachunek kwantyfikatorów

Dziękuję bardzo
autor: peterek
19 lut 2013, o 12:26
Forum: Logika
Temat: Rachunek kwantyfikatorów
Odpowiedzi: 9
Odsłony: 1076

Rachunek kwantyfikatorów

Mam pytanie, czy da się to jakoś dokładniej pokazać? Generalnie nie wiem co tutaj zaszło (skąd ten \(\displaystyle{ y_1}\)).
autor: peterek
17 lut 2013, o 14:52
Forum: Logika
Temat: Rachunek kwantyfikatorów
Odpowiedzi: 9
Odsłony: 1076

Rachunek kwantyfikatorów

Cześć, mam sprawdzić czy następujące zdanie jest tautologią.

\(\displaystyle{ \forall x \exists y \varphi(x,y) \Leftarrow \exists y \forall x \varphi(x,y)}\)

Z góry dzięki za pomoc.
autor: peterek
30 sty 2013, o 18:25
Forum: Zbiory. Teoria mnogości
Temat: Równoliczność zbiorów
Odpowiedzi: 1
Odsłony: 457

Równoliczność zbiorów

Cześć, mam problem z rozwiązaniem takiego zadania z logiki.

Proszę pokazać, że zbiór \(\displaystyle{ \RR^\RR}\) funkcji o argumentach i wartościach rzeczywistych nie jest równoliczny ze zbiorem \(\displaystyle{ \RR}\).

Z góry dzięki za pomoc.
autor: peterek
29 sty 2013, o 18:39
Forum: Rachunek całkowy
Temat: Całka z funkcji wymiernej.
Odpowiedzi: 1
Odsłony: 358

Całka z funkcji wymiernej.

Cześć, mam do policzenia taką całkę, prosiłbym o pomoc.

\(\displaystyle{ \frac{6x^2+5x+15}{x^3+3x^2-3x-45}}\)

Korzystając z tabelki Hornera uprościłem dół do takiej postaci: \(\displaystyle{ (x-3)(x^2+6x+15)}\). No i tutaj zaczyna się problem, bo nie wiem jak to uprościć. Z góry dzięki za pomoc.
autor: peterek
18 sty 2013, o 01:21
Forum: Rachunek całkowy
Temat: Całka funkcji wymiernej.
Odpowiedzi: 2
Odsłony: 298

Całka funkcji wymiernej.

Dzięki za pomoc.
autor: peterek
18 sty 2013, o 00:14
Forum: Rachunek całkowy
Temat: Całka funkcji wymiernej.
Odpowiedzi: 2
Odsłony: 298

Całka funkcji wymiernej.

Cześć, mam problem z obliczeniem takiej całki, nie wiem jak rozbić wielomian w mianowniku na czynniki pierwsze. Bardzo bym prosił o wskazówki.

\(\displaystyle{ \int\frac{7-2x}{x^2+4x+13}}\)
autor: peterek
15 gru 2012, o 16:17
Forum: Rachunek różniczkowy
Temat: Obliczyć pochodną
Odpowiedzi: 3
Odsłony: 298

Obliczyć pochodną

Czyli dobrze mi wyszło, dzięki za pomoc. Pozdrawiam.
autor: peterek
15 gru 2012, o 16:12
Forum: Rachunek różniczkowy
Temat: Obliczyć pochodną
Odpowiedzi: 3
Odsłony: 298

Obliczyć pochodną

Mam obliczyć pochodną do pewnego zadania, niestety nie mam odpowiedzi i nie wiem czy mi dobrze wychodzi, prosiłbym tylko o wynik.

\(\displaystyle{ \frac{x^2(2x-3)}{(x-1)^2}}\)

Z góry dzięki za pomoc.
autor: peterek
14 lis 2012, o 20:43
Forum: Logika
Temat: Hilbertowski system dowodzenia.
Odpowiedzi: 1
Odsłony: 1576

Hilbertowski system dowodzenia.

Cześć, mam niemały problem z przyswojeniem tego materiału z logiki, kompletnie nie wiem jak się za to zabrać, wiem tyle, że są aksjomaty i jedna reguła dowodzenia. Mam do zrobienia kilka przykładów, nie chodzi mi o to, żeby ktoś je rozwiązał tylko w miarę możliwości mnie pokierował.

1) \vdash\perp ...
autor: peterek
14 cze 2010, o 19:17
Forum: Termodynamika i fizyka statystyczna
Temat: Przemiana izochoryczna i izobaryczna.
Odpowiedzi: 0
Odsłony: 1387

Przemiana izochoryczna i izobaryczna.

Proszę o pomoc z zadaniem.

Mol gazu o cząsteczkach trójatomowych znajdował się w naczyniu o objętości V1 = 11,2 dm3 i temperaturze T1 = 546K. Gaz poddano kolejno dwóm przemianom: izobarycznej, w której temperatura wzrosła o deltaT = 273K i izochorycznej, w której przyrost energii wewnętrznej był ...
autor: peterek
10 cze 2010, o 18:06
Forum: Kinematyka i dynamika
Temat: Jednorodny pręt
Odpowiedzi: 1
Odsłony: 2835

Jednorodny pręt

Witam, proszę o pomoc z tym zadaniem.

O jaki kąt należy odchylić jednorodny pręt o długości 1m zawieszony na osi poziomej przechodzącej przez jego górny koniec, aby dolny koniec pręta przy przechodzeniu przez położenie równowagi osiągnął prędkość 5 m/s.