Matematické Fórum

1) To podle mě není potřeba, přijde mi to jako duplikování Matwebu samotného a částečně wikipedie. Spíš by se něco podobného objevit přímo na matwebu. Nějaká sekce s řešenými příklady. Protože jich tam sice v každém oboru několik je, ale čím více, tím lépe.

A nebo odkazovat z matwebu na příslušné sekce tady ve vzorových příkladech.

Wiki mi přijde jako overkill na toto.

2) DokuWiki umí matematický latex (máme to na třídním webu), zase s jinou syntaxí (není potřeba \frac, stačí lomítko, ale zase to má nepřesné čáry). Ale ta wiki samotná se musí trochu zpacifikovat.

↑ Kondr:
To naráží na problém, že matweb na žádném RS nejede :-). Je to jen hromada includů.

Z čehož vyplývá, že bych místo wiki mohl napsat nějaký RS pro matematiku. Žádný hotový se mi dva roky zpátky nelíbil, nepředpokládám, že se něco zásadního změnilo.

Takto vypada zdrojovy XML soubor

<h1>Kvantifikace zachovávající rekurzivní spočetnost</h1>
<p>Omezená všeobecná a neomezená existenční kvantifikace přes rekurzivně
   spočetnou množinu zachovávají rekurzivní spočetnost.</p>

<h2>Důkaz</h2>
<dl><dt><strong>Všeobecná kvantifikace</strong></dt>
    <dd>
     Nechť je relace <tex>A \subseteq \mathbb{N}^{n+1}</tex> rekurzivně spočetná.
     Definujme relaci <tex>B \subseteq \mathbb{N}^{n+1}</tex> předpisem
     <math>
      B(\vec{x}, y) \Leftrightarrow (\forall t \leq y)A(\vec{x}, t)
      \Leftrightarrow \bigwedge_{t=0}^y A(\vec{x}, t)
     </math>
     Potom existují rekurzivní relace
     <tex>R_0, \ldots, R_y \subseteq \mathbb{N}^{n+1}</tex> tak,
     že pro libovolné ale pevné <tex>t\leq y</tex> platí
     <math>
      A(\vec{x}, t) \Leftrightarrow (\exists z_t)R_t(\vec{x}, z_t)
     </math>
     a tedy zvolíme-li efektivní bijektivní kódování <tex>(y+1)</tex>-tic
     tak, že <tex>w=\langle z_0, \ldots z_y \rangle</tex>, pak dostáváme
     <math>
      \bigwedge_{t=0}^y A(\vec{x}, t) \Leftrightarrow
      \bigwedge_{t=0}^y (\exists z_t)R_t(\vec{x}, z_t) \Leftrightarrow
      (\exists w)\bigwedge_{t=0}^y R_t(\vec{x}, (w)_t)
     </math>
     Relace <tex>B</tex> je proto rekurzivní podle věty o projekci.
     <br/><br/>
    </dd>
    <dt><strong>Existenční kvantifikace</strong></dt>
    <dd>
     Nechť je relace <tex>A \subseteq \mathbb{N}^{n+1}</tex> rekurzivně spočetná.
     Definujme relaci <tex>B \subseteq \mathbb{N}^{n}</tex> předpisem
     <math>
      B(\vec{x}) \Leftrightarrow (\exists y)A(\vec{x}, y)
     </math>
     Potom existuje rekurzivní relace
     <tex>R \subseteq \mathbb{N}^{n+2}</tex> tak,
     že platí
     <math>
      (\exists y)A(\vec{x}, y) \Leftrightarrow
      (\exists y)(\exists z)R(\vec{x}, y, z)
     </math>
     Potom stačí volit kódování dvojic <tex>w=\langle y, z \rangle</tex> aby
     platilo
     <math>
      B(\vec{x}) \Leftrightarrow
      (\exists w)R(\vec{x}, l(w), r(w))
     </math>
    </dd></dl>

Mám v chytré knize napsáno, že LaTeX do HTML umí převádět programy LaTeX2HTML a TeX4ht. Nikdy jsem to teda nezkoušel ani neviděl… Znáte to někdo?

↑ Lukee: keďže nemám čo robiť bral by som to...=D..ak mi to vedenie dovolí...pokiaľ viem Vikipédia taktiež obsahuje niečo pre vzorce...tiež LaTeX  sa mi zdá...a wikipédiowský RS sa dá stiahnúť FF (for free)

↑ Olin:Bavíme se ale o redakčním systému a pro ten je výhodnější dynamické řešení. Tedy mít data v databázi v podobě zdrojového kódu a na požádání klienta je prohnat jedním PHP skriptem a mít výsledek. Osobně si na 100% typografii nepotrpím, na BRKOSím webu máme Texy! + mimetex. Výsledek považuju za přijatelný: http://bart.math.muni.cz/~brkos/index.p … i&u=11

Ikdyž na základě kájova příspěvku možná přejdeme na jsmath, ten se mi začíná líbit.