Jak spolehlivý je počítačový důkaz?
C. W. H. Lam (1991)
Pokroky matematiky, fyziky a astronomie
Similarity:
Displaying similar documents to “Matematické texty a osobní počítače”
Jak spolehlivý je počítačový důkaz?
Jak žít s novou matematickou bytostí
Lynn Arthur Steen (1988)
Pokroky matematiky, fyziky a astronomie
Similarity:
LaTeX v sazečské praxi
Zdeněk Wagner (2008)
Zpravodaj Československého sdružení uživatelů TeXu
Similarity:
TeX je znám zejména v akademickém světě a používán při psaní odborných publikací. Mnoho lidí ví, že pomocí TeXu lze vytvořit kvalitní sazbu. V dnešní době, kdy převládají programy s grafickým uživatelským rozhraním, v němž jsou důležité informace před uživatelem skryty, je však obtížné získat návod, jak připravit pomocí TeXu soubor pro osvit či digitální tisk. V přednášce budou předvedeny postupy, jak lze v sazečské praxi využít LaTeX. Bude představeno několik nových makrobalíčků, které...
Zavádění počítačů do škol a matematická výchova
Andrej Jeršov (1990)
Pokroky matematiky, fyziky a astronomie
Similarity:
Struktura matematiků a programů
Jiří Hořejš (1976)
Pokroky matematiky, fyziky a astronomie
Similarity:
Co je LOGO?
Petr Štěpánek (1981)
Pokroky matematiky, fyziky a astronomie
Similarity:
Pražský závislostní korpus aneb Co tady před padesáti lety nebylo
Barbora Hladká (2002)
Pokroky matematiky, fyziky a astronomie
Similarity: