Miejsce do testów i prób: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m (Zastępowanie tekstu - "{\em" na "\mathit{")
 
(Nie pokazano 124 wersji utworzonych przez 8 użytkowników)
Linia 1: Linia 1:
 
Dodanie obrazka... [[Grafika:Come logo.gif]]
 
Dodanie obrazka... [[Grafika:Come logo.gif]]
  
== matematyka ==
+
== matematyka [[Grafika:R_do_n.png]]==
 
<math>\sum_{n=0}^\infty \frac{x^n}{n!}</math>
 
<math>\sum_{n=0}^\infty \frac{x^n}{n!}</math>
  
dodawanie flasha (potrzebne rozszerzenie http://meta.wikimedia.org/wiki/Flash) <flash>file=Demoflash.swf</flash>
+
macierze i tablice wzorków
  
[[Template:testowy]]
+
<math>{\large \begin{matrix}\sum_{n=0}^\infty \frac{x^n}{n!} & \sum_{n=0}^\infty \frac{x^n}{n!} \\ \sum_{n=0}^\infty \frac{x^n}{n!} & \sum_{n=0}^\infty \frac{x^n}{n!}\end{matrix}}</math>
  
{{testowy|hey|ho}}
 
  
 +
<math> \begin{matrix}\sum_{n=0}^\infty \frac{ \frac{x^n}{2} + \frac{3^{2^i}}{7} }{n!} & \sum_{n=0}^\infty \frac{x^n}{n!} \\ \sum_{n=0}^\infty \frac{x^n}{n!} & \sum_{n=0}^\infty \frac{x^n}{n!}\end{matrix}</math>
  
{{testowy|hey|<math>\sum_{n=0}^\infty \frac{x^n}{n!}</math>}}
+
klamerka
<flash>file=Flash_level1.swf</flash>
 
  
 +
<center><math>|x| = \begin{cases}x & \text{;\ gdy } x \ge 0 \\-x & \text{;\ gdy } x < 0\end{cases}</math></center>
 +
 +
i inna
 +
 +
<math>\begin{matrix} \underbrace{ 1+2+\cdots+99 } \\ x \end{matrix}</math>
 +
 +
wstawianie kodu i tekstu do wzorów (jest problem z polskimi znakami)
 +
 +
<math>\texttt{\mbox{funkcja (x)}} = \frac{1}{x + 3}</math>
 +
 +
alternatywnie
 +
 +
<tt>funkcja (x)</tt><math> = \frac{1}{x}</math>
 +
 +
Kaligrafowanie
 +
 +
<math>\mathcal{R} \to \mathcal{C}</math>
 +
 +
 +
 +
Frak: <math>{\mathfrak X} = \frac{x - 1}{x + 1}</math>
 +
 +
Frak: <math>e = \frac{x - 1}{x + 1}</math>
 +
 +
Polskie litery:
 +
 +
<math> moduł\ współbieżny</math><br />
 +
<math> \texttt{moduł współbieżny} </math><br />
 +
<math> \mbox{\texttt{moduł współbieżny}} </math><br />
 +
 +
== materiały we Flashu ==
 +
dodawanie flasha: {{kotwica|materialy_flash|}}
 +
 +
<flash>file=Demoflash.swf</flash>
 +
 +
lub z wykorzystaniem parametrów
 +
 +
<flash>file=Flash_level1.swf|width=400|height=400</flash>
 +
 +
==Flash z automatyczną nawigacją==
 +
 +
Poniższy flash będzie miał automatycznie dołączoną nawigację, należy użyć tagu <nowiki><flashwrap></nowiki>
 +
 +
<nowiki><flashwrap>file=ZO-12-5-rys.swf|width=500|height=500</flashwrap></nowiki>
 +
 +
<flashwrap>file=ZO-12-5-rys.swf|width=500|height=500</flashwrap>
  
 
==latex==
 
==latex==
Linia 27: Linia 72:
  
 
=Przykładowy wykład=
 
=Przykładowy wykład=
[[Miejsce_do_testów_i_prób|#matematyka]]
 
 
{{definicja|Trójkąt prostokątny|dfn:kat_prosty|'''Trójkątem prostokątnym''' nazywamy taki trójkąt, który ma przynajmniej jeden kątprosty.
 
{{definicja|Trójkąt prostokątny|dfn:kat_prosty|'''Trójkątem prostokątnym''' nazywamy taki trójkąt, który ma przynajmniej jeden kątprosty.
 
}}
 
}}
 
{{twierdzenie|Pitagoras|thm:pitagoras|
 
{{twierdzenie|Pitagoras|thm:pitagoras|
 
W trójkącie prostokątnym o przyprostokątnych <math>a</math>, <math>b</math> i przeciwprostokątnej <math>c</math>
 
W trójkącie prostokątnym o przyprostokątnych <math>a</math>, <math>b</math> i przeciwprostokątnej <math>c</math>
{\em zawsze} zachodzi  
+
\mathit{ zawsze} zachodzi  
 
{<math>a^2+b^2 = c^2,
 
{<math>a^2+b^2 = c^2,
 
</math>}
 
</math>}
ale nie zawsze musi zachodzić równość&nbsp;(\ref{eq:wujek}).
+
ale nie zawsze musi zachodzić równość&nbsp;[[#wujek|(1)]]).
 
}}
 
}}
  <math>\label{eq:wujek}
+
<span id="wujek">
 +
  <math>
 
a^2 + b^2 = 10
 
a^2 + b^2 = 10
 
</math>
 
</math>
Linia 43: Linia 88:
  
 
\begin{proof}
 
\begin{proof}
Prosty dowód twierdzenia Pitagorasa może być {\em czysto geometryczny}, dlatego
+
Prosty dowód twierdzenia Pitagorasa może być \mathit{ czysto geometryczny}, dlatego
 
pomijamy go, w zamian przedstawiając działający aplet:
 
pomijamy go, w zamian przedstawiając działający aplet:
  
Linia 195: Linia 240:
 
==Teksty do pominięcia w Wikitekście==
 
==Teksty do pominięcia w Wikitekście==
  
 
+
{{#if:a|jest|nie ma}}
 
To zdanie będzie na Wiki. To będzie na Wiki.
 
To zdanie będzie na Wiki. To będzie na Wiki.
  
Linia 206: Linia 251:
 
==Strona z filmem Flash==
 
==Strona z filmem Flash==
 
[[FilmFlashDemo|Demo]]
 
[[FilmFlashDemo|Demo]]
[[(1)|#wujek]]
+
[[#wujek|(1)]]
 +
 
 +
==Załączniki z kodem źródłowym programów==
 +
{{kotwica|src_att|}}
 +
[[media:DemoApplet.java|DemoApplet.java]]
 +
 
 +
 
 +
== Flasz ==
 +
 
 +
Poniższy flash będzie miał automatycznie dołączoną nawigację
 +
 
 +
Aby w ten sposób dodać animację Flash należy dodać do strony nie własną animację Flash, a animację o nazwie Zewnetrzny.swf, i przekazać nazwę swojej animacji '''wraz ze ścieżką''' jako parametr '''bez rozszerzenia SWF'''.
 +
 
 +
<nowiki>
 +
<flash>file=Zewnetrzny.swf|width=400|height=500|nazwa_animacji=images/d/d0/ZO-12-5-rys</flash>
 +
</nowiki>
 +
 
 +
aaaa
 +
 
 +
<flashwrap>file=ZO-12-5-rys.swf|width=400|height=500</flashwrap>
 +
== Niestandardowe symbole matematyczne ==
 +
 
 +
<math>\mathfr{R}</math>
 +
 
 +
<math>\mathit\Sigma '</math> osiągalnego ze stanu <math>\mathit{\Sigma}</math> predykat ten jest również prawdziwy.
 +
Innymi słowy, predykat jest nazywany stabilnym, gdy spełniany jest następujący warunek:
 +
:<math>\mathit  (\vartheta(\mathit\Sigma)) \land (\mathit\Sigma \rightsquigarrow \Sigma ')) \Rightarrow \mathit\vartheta(\mathit\Sigma ')</math>
 +
 
 +
gdzie  <math>\mathit  \Sigma \rightsquigarrow \mathit\Sigma '</math> oznacza, że stan <math>\mathit  \Sigma '</math> jest osiągalny ze stanu <math>\Sigma</math>.
 +
Czy dziala succeq?
 +
<math> \succeq </math>
 +
Czy dziala squigarrow?
 +
<math>\leftsquigarrow \'\!</math>
 +
<math>\rightsquigarrow \,\!</math>
 +
<math>\leftrightsquigarrow\,\!</math>
 +
 
 +
Prec:
 +
<math>\prec ^+_{i,j}</math> <math>\nexists</math>
 +
 
 +
Jeżeli natomiast zachodzi predykat:
 +
 
 +
:<math> M  \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land
 +
M  \prec ^+_{i,j} M'' \land
 +
M''  \prec ^+_{i,j} M'
 +
</math>
 +
 
 +
to  powiemy, że <math>M</math> '''bezpośrednio poprzedza''' <math>M'</math> i fakt ten oznaczamy
 +
<math>M \prec _{i,j} M'</math>, tym samym:
 +
:<math> \prec _{i,j} := \{\left \langle M, M' \right \rangle : (M \mbox{ bezpośrednio poprzedza } M')\}
 +
 
 +
</math>
 +
 
 +
 
 +
 
 +
Przez ''predykat globalny'' <math>\mathit \vartheta(\Sigma)</math> będziemy rozumieć predykat zdefiniowany na zbiorze osiągalnych stanów globalnych przetwarzania rozproszonego.
 +
 
 +
Predykaty opisują właściwości przetwarzania w poszczególnych stanach. Szczególne znaczenie mają w praktyce ''predykaty stabilne'' (określane czasami własnościami stabilnymi. ang. ''stable properties'' ), których zajście w pewnym stanie globalnym <math>\Sigma</math> implikuje, że dla każdego stanu
 +
<math>\Sigma '</math> osiągalnego ze stanu <math>\Sigma</math> predykat ten jest również prawdziwy.
 +
Innymi słowy, predykat jest nazywany stabilnym, gdy spełniany jest następujący warunek:
 +
:<math>\mathit  (\vartheta(\Sigma}) \land (\Sigma \rightsquigarrow \Sigma ')) \Rightarrow \vartheta(\Sigma ')</math>
 +
 
 +
gdzie  <math>\mathit  \Sigma \rightsquigarrow \Sigma '</math> oznacza, że stan <math>\mathit  \Sigma '</math> jest osiągalny ze stanu <math>\Sigma</math>.
 +
 
 +
Predykaty, które nie spełniają tego warunku nazwiemy ''predykatami niestabilnymi'' .
 +
 
 +
Przykładami predykatów stabilnych są predykaty definiujące stan zakleszczenia, zakończenia przetwarzania, utraty znacznika, przekroczenia czasu obliczeń czy czasu transmisji itp.
 +
 
 +
Predykaty można także klasyfikować w inny sposób. Przykładem są tutaj predykaty słabe, które uznaje się za predykaty prawdziwe w przetwarzaniu rozproszonym, jeżeli istnieje taki spójny stan globalny, w którym są spełnione, oraz predykaty ''silne'' , które uznaje się za prawdziwe w przetwarzaniu rozproszonym wtedy, gdy są uznawane za prawdziwe w pewnej chwili przez wszystkich uczestników przetwarzania.
 +
 
 +
Duże znaczenie praktyczne posiadają też predykaty zdefiniowane na zbiorze wykonań <math>\boldsymbol{\Upsilon}</math>, a w szczególności predykaty ''possibly'' oraz ''definitely'' .
 +
 
 +
'''Predykat''' '''possibly''' '''(<math>\mathit \boldsymbol{\vartheta}</math>)''' zachodzi wtedy i tylko wtedy, gdy istnieje wykonanie
 +
<math>\mathit{\Upsilon} \in \boldsymbol{\Upsilon}</math> zawierające stan globalny <math>\mathit \Sigma</math> , dla którego zachodzi predykat
 +
<math>\mathit \vartheta(\Sigma)</math>.
 +
 
 +
'''Predykat''' '''definitely''' '''(<math>\boldsymbol{\vartheta}</math>)''' jest prawdziwy wtedy i tylko wtedy, gdy w każdym możliwym wykonaniu osiągalny jest stan <math>\mathit \Sigma</math> , dla którego zachodzi
 +
<math>\mathit \vartheta(\Sigma)</math>.
 +
 
 +
W ogólności, wyznaczenie predykatów globalnych w pełni asynchronicznym systemie rozproszonym bez przyjęcia dodatkowych założeń jest niemożliwe, jeżeli chociaż jeden proces może ulec awarii.
 +
 
 +
== Ukrywajka ==
 +
 
 +
 
 +
 
 +
<div class="mw-collapsible mw-made=collapsible mw-collapsed">
 +
co ma być
 +
 
 +
<div class="mw-collapsible-content" style="display:none">Rozważ, jak się zachowuje suma argumentów w badanym ciągu.
 +
</div>
 +
</div>
 +
 
 +
<center>
 +
CENTER</center>

Aktualna wersja na dzień 13:38, 9 cze 2020

Dodanie obrazka... Come logo.gif

matematyka R do n.png

macierze i tablice wzorków

Parser nie mógł rozpoznać (nieznana funkcja „\large”): {\displaystyle {\large \begin{matrix}\sum_{n=0}^\infty \frac{x^n}{n!} & \sum_{n=0}^\infty \frac{x^n}{n!} \\ \sum_{n=0}^\infty \frac{x^n}{n!} & \sum_{n=0}^\infty \frac{x^n}{n!}\end{matrix}}}


klamerka

Parser nie mógł rozpoznać (nieznana funkcja „\begin{cases}”): {\displaystyle |x| = \begin{cases}x & \text{;\ gdy } x \ge 0 \\-x & \text{;\ gdy } x < 0\end{cases}}

i inna

wstawianie kodu i tekstu do wzorów (jest problem z polskimi znakami)

alternatywnie

funkcja (x)

Kaligrafowanie


Frak:

Frak:

Polskie litery:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle moduł\ współbieżny}
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \texttt{moduł współbieżny} }
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \mbox{\texttt{moduł współbieżny}} }

materiały we Flashu

dodawanie flasha:

<flash>file=Demoflash.swf</flash>

lub z wykorzystaniem parametrów

<flash>file=Flash_level1.swf|width=400|height=400</flash>

Flash z automatyczną nawigacją

Poniższy flash będzie miał automatycznie dołączoną nawigację, należy użyć tagu <flashwrap>

<flashwrap>file=ZO-12-5-rys.swf|width=500|height=500</flashwrap>

<flashwrap>file=ZO-12-5-rys.swf|width=500|height=500</flashwrap>

latex

W poniższych dwóch pierwszych rozdziałach testowych (pliki źródłowe: \lstux!WIKIwyklad01.tex! i \lstux!WIKIcwiczenia01.tex!) zobaczymy, jak konwerter (wymiennie nazywany parserem) \LaTeX{} do Wiki radzi sobie z prostym dokumentem. Informacje o tym, jakich poleceń \LaTeX'a możemy używać dla wygodnej współpracy z parserem, znajdują się w rozdziale \link{sec:podstawy}{Podstawy pisania dokumentów w \LaTeX'u dla OSIŁKA} (plik źródłowy \lstux!WIKIwyklad02.tex!). {Co to jest \lstux nie mówiliśmy o tym}

Przykładowy wykład

Definicja Trójkąt prostokątny

Trójkątem prostokątnym nazywamy taki trójkąt, który ma przynajmniej jeden kątprosty.

Twierdzenie Pitagoras

W trójkącie prostokątnym o przyprostokątnych , i przeciwprostokątnej \mathit{ zawsze} zachodzi {} ale nie zawsze musi zachodzić równość (1)).


\rysunek{WIKItrojkat.png}{Ilustracja twierdzenia Pitagorasa.}

\begin{proof} Prosty dowód twierdzenia Pitagorasa może być \mathit{ czysto geometryczny}, dlatego pomijamy go, w zamian przedstawiając działający aplet:

\applet{WIKIpitagoras.jar}{Dowód twierdzenia Pitagorasa.}

Dodatkowo, skądinąd wiadomo, że twierdzenie jest prawdziwe, co kończy dowód. \end{proof}

W \link{thm:pitagoras}{twierdzeniu Pitagorasa} widać, jak można wykorzystać definicję \ref{dfn:kat_prosty} do tego, by sformułować je bez potrzeby stosowania slajdów w \href{http://www.microsoft.com}{PowerPoincie}.


Stwierdzenie

Nie każdy trójkąt jest prosty.

\flash{WIKIvideo.swf}{Przegląd możliwych trójkątów}

Wniosek

Są trójkąty o bokach długości , , , dla których .
Uwaga
To nie jest cała prawda o trójkątach! Dodatkowo, wiemy, że:
  • w każdym trójkącie o bokach , , zachodzi:
    {}
  • suma kątów w trójkącie jest większa od 90 stopni
  • itd.

Ciekawa może być w tym kontekście następująca nierówność:

Fakt

Dla ,

{}

Wynika to wprost z poniższego lematu:

\begin{lem} Dla , {} \end{lem}

A teraz pora na przykład.

\begin{example}[Jak to działa] Można pliczyć na kalkulatorze, że rzeczywiście \[ 3^2 + 4^2 = 5^2. \] \end{example}


Równania


\begin{align} a + b &= c\\ c + d + e &= f \end{align}

\begin{equation*} a + b = c \end{equation*}

\begin{align*} a + b &= c\\ c + d + e &= f \end{align*}


Hiperłącza

\label{sec:hiper}

Na zewnątrz:

[[1]]

http://www.mimuw.edu.pl

  • do definicji, twierdzeń, itp.:
    W \link{thm
    pitagoras}{twierdzeniu Pitagorasa} widać, jak można wykorzystać
    \link{dfn
    kat_prosty}{definicję kąta prostego} do tego, by sformułować je bez potrzeby
    stosowania slajdów.
  • do programów: zobacz kod źródłowy programu \link{code:hello}{Hello World w
    C}

Do innych wykładów na Osiłku:

Podstawowy \LaTeX

Wyliczenia:

  1. pierwszy
  2. drugi
  3. trzeci

Wypunktowania:

  • pierwszy
  • drugi
  • trzeci

Listy:

\begin{description} \item[raz] pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy pierwszy \item[dwa] drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi drugi \item[dwa i pół] trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzeci trzecitrzeci \end{description}

Proste tabele:

\begin{tabular}{c|cc} \hline\\ Procesor & MFLOPs & Cena\\ \hline\\ Pentium 4 & 2000 & 200\\ Z80 & 0.0002 & 200\\ \hline \end{tabular}

Obsługa cudzysłowów

,,Hello!, ``cytat, dziwny cytat.

Wstawki w gołym Wikitekście

W tekście źródłowym poniżej znajduje się wstawka w wikitekście:


Możemy pisać wstawki w gołymi Wikitekście

image.png

...stosując dowolne znaczniki Wikitekstu.


Nie widzimy jej na wydruku, ale powinniśmy widzieć w Wikitekście wyprodukowanym przez konwerter!

Podobnie możemy zamieszczać krótkie fragmenty gołego wikitekstu: Pan Tadeusz. Znów widoczne to jest tylko na Wiki.

Teksty do pominięcia w Wikitekście

{{#if:a|jest|nie ma}} To zdanie będzie na Wiki. To będzie na Wiki.

Slajdy

Sjaldy

Applety Java

Strona z appletem

Strona z filmem Flash

Demo (1)

Załączniki z kodem źródłowym programów

DemoApplet.java


Flasz

Poniższy flash będzie miał automatycznie dołączoną nawigację

Aby w ten sposób dodać animację Flash należy dodać do strony nie własną animację Flash, a animację o nazwie Zewnetrzny.swf, i przekazać nazwę swojej animacji wraz ze ścieżką jako parametr bez rozszerzenia SWF.

<flash>file=Zewnetrzny.swf|width=400|height=500|nazwa_animacji=images/d/d0/ZO-12-5-rys</flash>

aaaa

<flashwrap>file=ZO-12-5-rys.swf|width=400|height=500</flashwrap>

Niestandardowe symbole matematyczne

Parser nie mógł rozpoznać (nieznana funkcja „\mathfr”): {\displaystyle \mathfr{R}}

osiągalnego ze stanu predykat ten jest również prawdziwy. Innymi słowy, predykat jest nazywany stabilnym, gdy spełniany jest następujący warunek:

gdzie oznacza, że stan jest osiągalny ze stanu . Czy dziala succeq? Czy dziala squigarrow? Parser nie mógł rozpoznać (nieznana funkcja „\leftsquigarrow”): {\displaystyle \leftsquigarrow \'\!}

Prec:

Jeżeli natomiast zachodzi predykat:

Parser nie mógł rozpoznać (nieznana funkcja „\nexistsM”): {\displaystyle M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land M \prec ^+_{i,j} M'' \land M'' \prec ^+_{i,j} M' }

to powiemy, że bezpośrednio poprzedza i fakt ten oznaczamy , tym samym:


Przez predykat globalny będziemy rozumieć predykat zdefiniowany na zbiorze osiągalnych stanów globalnych przetwarzania rozproszonego.

Predykaty opisują właściwości przetwarzania w poszczególnych stanach. Szczególne znaczenie mają w praktyce predykaty stabilne (określane czasami własnościami stabilnymi. ang. stable properties ), których zajście w pewnym stanie globalnym implikuje, że dla każdego stanu osiągalnego ze stanu predykat ten jest również prawdziwy. Innymi słowy, predykat jest nazywany stabilnym, gdy spełniany jest następujący warunek:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \mathit (\vartheta(\Sigma}) \land (\Sigma \rightsquigarrow \Sigma ')) \Rightarrow \vartheta(\Sigma ')}

gdzie oznacza, że stan jest osiągalny ze stanu .

Predykaty, które nie spełniają tego warunku nazwiemy predykatami niestabilnymi .

Przykładami predykatów stabilnych są predykaty definiujące stan zakleszczenia, zakończenia przetwarzania, utraty znacznika, przekroczenia czasu obliczeń czy czasu transmisji itp.

Predykaty można także klasyfikować w inny sposób. Przykładem są tutaj predykaty słabe, które uznaje się za predykaty prawdziwe w przetwarzaniu rozproszonym, jeżeli istnieje taki spójny stan globalny, w którym są spełnione, oraz predykaty silne , które uznaje się za prawdziwe w przetwarzaniu rozproszonym wtedy, gdy są uznawane za prawdziwe w pewnej chwili przez wszystkich uczestników przetwarzania.

Duże znaczenie praktyczne posiadają też predykaty zdefiniowane na zbiorze wykonań , a w szczególności predykaty possibly oraz definitely .

Predykat possibly () zachodzi wtedy i tylko wtedy, gdy istnieje wykonanie zawierające stan globalny , dla którego zachodzi predykat .

Predykat definitely () jest prawdziwy wtedy i tylko wtedy, gdy w każdym możliwym wykonaniu osiągalny jest stan , dla którego zachodzi .

W ogólności, wyznaczenie predykatów globalnych w pełni asynchronicznym systemie rozproszonym bez przyjęcia dodatkowych założeń jest niemożliwe, jeżeli chociaż jeden proces może ulec awarii.

Ukrywajka

co ma być

CENTER