cs-cac-train-s65w

Universal Dependencies - Czech - CAC

LanguageCzech
ProjectCAC
Corpus Parttrain
AnnotationHladká, Barbora; Zeman, Daniel
Javascript seems to be turned off, or there was a communication error. Turn on Javascript for more display options.
index • sentence 1 - 6 < sentence 7 - 17 > sentence 18 - 28
Úspěšně se rozvíjely směry, v nichž se pracovalo před válkou, a začala se soustavně rozvíjet činnost v disciplínách, které v Československu neměly tradici, ale jsou nezbytné pro rozvoj vědecké práce jak v matematice, tak všude, kde se matematiky užívá. Některé z těchto disciplín jako teorie diferenciálních rovnic sahají až k počátkům novověku, jiné, teorie výpočetních procesů a systémů, teorie informace, teorie algoritmů, jsou nové a vznikly v rámci vývoje, který zahrnuje zrod kybernetiky a vyúsťuje do vědeckotechnické revoluce. Na rozvoji vědecké práce v matematice se podílela a úzce spolupracovala pracoviště vysokých škol ČSAV, SAV a některých resortních výzkumných ústavů. Proto nelze ve stručnosti ani v hrubých rysech odlišit a charakterizovat podíl a přínos jednotlivých institucí. Významných výsledků bylo dosaženo v oblasti matematické logiky a základů matematiky, v níž se v Československu začalo soustavně pracovat až po druhé světové válce. Byla zkoumána axiomatická teorie množin a její různé modely. Byla vytvořena teorie polomnožin, což znamenalo podstatný přínos a vytvoření nového směru bádání. V matematické logice se dosáhlo pozoruhodných výsledků v syntetické a sémantické problematice matematických teorií. Důležité výsledky byly získány v konstruktivní analýze. Intenzívně se pracovalo v aplikacích matematické logiky na automatizaci některých složek výzkumných prací. V analytické teorii čísel bylo dosaženo řady výsledků, které udržují tradiční mezinárodní úroveň matematiky v této oblasti.

Download XML • Download text • Sentence view • Dependency trees