zpravodajství z různých zdrojů na jednom místě...
volba zobrazení
vše v rubrice
s detailem
dle zdrojů
nejstarší noviny
vyhledávání
se všemi slovy
aspoň jedno
s přesnou frází
zdroje
Úvod
Česko
Zahraničí
Ekonomika
Technika
Sport
Bulvár
Žena/Styl
Počasí
Cestujeme
Ostatní
volba zobrazení:
vše v rubrice
s detailem
dle zdrojů
starší noviny
vyhledávání:
se všemi slovy
aspoň jedno
s přesnou frází
zdroje
Intermezzo: Stručná historie teorie typů
Intermezzo: Stručná historie teorie typů
Teorie typů začala svou existenci jako prostředek k formalizaci Cantorovy teorie množin. Její první ...
Více ZDE
19.9.18 19:26 |
ROOT.cz Blog
Nahoru