Sentence view

Universal Dependencies - Czech - CAC

LanguageCzech
ProjectCAC
Corpus Parttrain
AnnotationHladká, Barbora; Zeman, Daniel

Text: -


showing 1 - 100 of 150 • next


[1] tree
Před třiceti lety byly naše národy osvobozeny ze jha německého fašismu.
s-1
s65w-s1
s65w#1
Před třiceti lety byly naše národy osvobozeny ze jha německého fašismu.
[2] tree
S velkým elánem se začala budovat naše socialistická společnost, začala se rozvíjet československá ekonomika, věda a kultura.
s-2
s65w-s2
s65w#2
S velkým elánem se začala budovat naše socialistická společnost, začala se rozvíjet československá ekonomika, věda a kultura.
[3] tree
Třicáté výročí osvobození našich zemí sovětskou armádou dává podnět k zamyšlení nad výsledky a rozvojem československé vědy za posledních třicet let.
s-3
s65w-s3
s65w#3
Třicáté výročí osvobození našich zemí sovětskou armádou dává podnět k zamyšlení nad výsledky a rozvojem československé vědy za posledních třicet let.
[4] tree
Vědecké kolegium matematiky ČSAV pověřilo skupinu našich předních matematiků, aby v hlavních rysech zhodnotili vědeckou činnost v matematice za posledních třicet let.
s-4
s65w-s4
s65w#4
Vědecké kolegium matematiky ČSAV pověřilo skupinu našich předních matematiků, aby v hlavních rysech zhodnotili vědeckou činnost v matematice za posledních třicet let.
[5] tree
Předkládáme čtenářům výsledek jejich práce.
s-5
s65w-s5
s65w#5
Předkládáme čtenářům výsledek jejich práce.
[6] tree
Společenská potřeba po druhé světové válce vyvolala intenzívní růst vědecké práce v matematice.
s-6
s65w-s6
s65w#6
Společenská potřeba po druhé světové válce vyvolala intenzívní růst vědecké práce v matematice.
[7] tree
Ú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á.
s-7
s65w-s7
s65w#7
Ú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á.
[8] tree
Některé z těchto disciplín jako teorie diferenciálních rovnic sahají 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.
s-8
s65w-s8
s65w#8
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.
[9] tree
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ů.
s-9
s65w-s9
s65w#9
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ů.
[10] tree
Proto nelze ve stručnosti ani v hrubých rysech odlišit a charakterizovat podíl a přínos jednotlivých institucí.
s-10
s65w-s10
s65w#10
Proto nelze ve stručnosti ani v hrubých rysech odlišit a charakterizovat podíl a přínos jednotlivých institucí.
[11] tree
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 po druhé světové válce.
s-11
s65w-s11
s65w#11
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.
[12] tree
Byla zkoumána axiomatická teorie množin a její různé modely.
s-12
s65w-s12
s65w#12
Byla zkoumána axiomatická teorie množin a její různé modely.
[13] tree
Byla vytvořena teorie polomnožin, což znamenalo podstatný přínos a vytvoření nového směru bádání.
s-13
s65w-s13
s65w#13
Byla vytvořena teorie polomnožin, což znamenalo podstatný přínos a vytvoření nového směru bádání.
[14] tree
V matematické logice se dosáhlo pozoruhodných výsledků v syntetické a sémantické problematice matematických teorií.
s-14
s65w-s14
s65w#14
V matematické logice se dosáhlo pozoruhodných výsledků v syntetické a sémantické problematice matematických teorií.
[15] tree
Důležité výsledky byly získány v konstruktivní analýze.
s-15
s65w-s15
s65w#15
Důležité výsledky byly získány v konstruktivní analýze.
[16] tree
Intenzívně se pracovalo v aplikacích matematické logiky na automatizaci některých složek výzkumných prací.
s-16
s65w-s16
s65w#16
Intenzívně se pracovalo v aplikacích matematické logiky na automatizaci některých složek výzkumných prací.
[17] tree
V analytické teorii čísel bylo dosaženo řady výsledků, které udržují tradiční mezinárodní úroveň matematiky v této oblasti.
s-17
s65w-s17
s65w#17
V analytické teorii čísel bylo dosaženo řady výsledků, které udržují tradiční mezinárodní úroveň matematiky v této oblasti.
[18] tree
Pokroku bylo dosaženo v elementární teorii čísel, v algebraické teorii čísel, i v aplikacích teorie čísel na jiná odvětví matematiky.
s-18
s65w-s18
s65w#18
Pokroku bylo dosaženo v elementární teorii čísel, v algebraické teorii čísel, i v aplikacích teorie čísel na jiná odvětví matematiky.
[19] tree
V metrické teorii čísel se výsledky týkaly různých typů rozvojů čísel z hlediska Hausdorffovy dimenze a sigma řídkosti.
s-19
s65w-s19
s65w#19
V metrické teorii čísel se výsledky týkaly různých typů rozvojů čísel z hlediska Hausdorffovy dimenze a sigma řídkosti.
[20] tree
V teorii kategorií se dospělo k významným výsledkům, především v problémech reprezentace kategorií, a to zejména reprezentace pomocí jednoduchých struktur.
s-20
s65w-s20
s65w#20
V teorii kategorií se dospělo k významným výsledkům, především v problémech reprezentace kategorií, a to zejména reprezentace pomocí jednoduchých struktur.
[21] tree
Při zkoumání struktur byly získány nové typy jejich popisu a výběru vhodných zobrazení.
s-21
s65w-s21
s65w#21
Při zkoumání struktur byly získány nové typy jejich popisu a výběru vhodných zobrazení.
[22] tree
Dosažené výsledky mají značný význam též pro topologii, algebru, teorii grafů a úzce souvisí s kombinatorickými problémy.
s-22
s65w-s22
s65w#22
Dosažené výsledky mají značný význam též pro topologii, algebru, teorii grafů a úzce souvisí s kombinatorickými problémy.
[23] tree
V teorii algebraických struktur mají naše výsledky světovou úroveň, zejména v oblasti binárních a relačních systému.
s-23
s65w-s23
s65w#23
V teorii algebraických struktur mají naše výsledky světovou úroveň, zejména v oblasti binárních a relačních systému.
[24] tree
Nejvíce byly vyšetřovány abelské grupy, pologrupy, kvazigrupy, svazy a binární systémy s uspořádáním.
s-24
s65w-s24
s65w#24
Nejvíce byly vyšetřovány abelské grupy, pologrupy, kvazigrupy, svazy a binární systémy s uspořádáním.
[25] tree
Byla vybudována teorie grupoidů a její množinový základ, teorie rozkladů množin.
s-25
s65w-s25
s65w#25
Byla vybudována teorie grupoidů a její množinový základ, teorie rozkladů množin.
[26] tree
Pro uspořádané množiny byla vybudována teorie dimenze a prohloubena aritmetika jejich typů.
s-26
s65w-s26
s65w#26
Pro uspořádané množiny byla vybudována teorie dimenze a prohloubena aritmetika jejich typů.
[27] tree
Cenné výsledky jsou zřejmé v teorii univerzálních algeber, zejména v popisu svazů primitivních tříd.
s-27
s65w-s27
s65w#27
Cenné výsledky jsou zřejmé v teorii univerzálních algeber, zejména v popisu svazů primitivních tříd.
[28] tree
Důležitých výsledků, jež došly širokého uznání, bylo dosaženo při zkoumání strukturálních vlastností algebraických a topologických pologrup a to též v souvislosti s teorií čísel, s teorií matic, s teorií pravděpodobnosti a s teorií grafů i automatů.
s-28
s65w-s28
s65w#28
Důležitých výsledků, jež došly širokého uznání, bylo dosaženo při zkoumání strukturálních vlastností algebraických a topologických pologrup a to též v souvislosti s teorií čísel, s teorií matic, s teorií pravděpodobnosti a s teorií grafů i automatů.
[29] tree
Byla také objasněna souvislost unárních algeber s jistou třídou automatů.
s-29
s65w-s29
s65w#29
Byla také objasněna souvislost unárních algeber s jistou třídou automatů.
[30] tree
V topologii se získaly významné výsledky v oblastech souvisejících s matematickou analýzou, teorií míry a teorií pravděpodobnosti, a to zejména ve zkoumání spojitých struktur z hlediska kategorií v teorii uniformních prostorů, v teorii dimenze, v problematice ultrafiltrů, v otázkách vytváření a klasifikace funkcí i bodových množin.
s-30
s65w-s30
s65w#30
V topologii se získaly významné výsledky v oblastech souvisejících s matematickou analýzou, teorií míry a teorií pravděpodobnosti, a to zejména ve zkoumání spojitých struktur z hlediska kategorií v teorii uniformních prostorů, v teorii dimenze, v problematice ultrafiltrů, v otázkách vytváření a klasifikace funkcí i bodových množin.
[31] tree
V teorii reálných funkcí se kromě zmíněných otázek deskriptivní teorie zkoumaly darbouxovské funkce, míra a integrál na strukturách s operacemi a zobecnění pojmů míry a integrálu.
s-31
s65w-s31
s65w#31
V teorii reálných funkcí se kromě zmíněných otázek deskriptivní teorie zkoumaly darbouxovské funkce, míra a integrál na strukturách s operacemi a zobecnění pojmů míry a integrálu.
[32] tree
V geometrii se práce rozvinula v různých oblastech.
s-32
s65w-s32
s65w#32
V geometrii se práce rozvinula v různých oblastech.
[33] tree
V elementární geometrii bylo pomocí teorie grafů docíleno hlubokých výsledků v metrické teorii simplexů.
s-33
s65w-s33
s65w#33
V elementární geometrii bylo pomocí teorie grafů docíleno hlubokých výsledků v metrické teorii simplexů.
[34] tree
V základech geometrie byly utvořeny skupiny, které dosáhly významných výsledků hlavně v teorii struktury projektivních rovin, sítí a dalších typů incidenčních struktur.
s-34
s65w-s34
s65w#34
V základech geometrie byly utvořeny skupiny, které dosáhly významných výsledků hlavně v teorii struktury projektivních rovin, sítí a dalších typů incidenčních struktur.
[35] tree
V diferenciální geometrii pokračovala soustavná studia v klasických partiích, kde bylo dosaženo výsledků světové úrovně hlavně v teorii soustav podprostorů, projektivního prostoru.
s-35
s65w-s35
s65w#35
V diferenciální geometrii pokračovala soustavná studia v klasických partiích, kde bylo dosaženo výsledků světové úrovně hlavně v teorii soustav podprostorů, projektivního prostoru.
[36] tree
Nově však byly založeny týmy, které rozpracovaly některá odvětví moderní diferenciální a kombinatorické geometrie.
s-36
s65w-s36
s65w#36
Nově však byly založeny týmy, které rozpracovaly některá odvětví moderní diferenciální a kombinatorické geometrie.
[37] tree
Byla vytvořena soustavná teorie diferenciálních objektů, která definitivně osvětlila klasické základní teorie diferenciální geometrie a umožnila získání nových výsledků v parciálních diferenciálních rovnicích a funkcích mnoha komplexních proměnných.
s-37
s65w-s37
s65w#37
Byla vytvořena soustavná teorie diferenciálních objektů, která definitivně osvětlila klasické základní teorie diferenciální geometrie a umožnila získání nových výsledků v parciálních diferenciálních rovnicích a funkcích mnoha komplexních proměnných.
[38] tree
Dále byly podstatně nové výsledky v teorii Riemannových prostorů.
s-38
s65w-s38
s65w#38
Dále byly podstatně nové výsledky v teorii Riemannových prostorů.
[39] tree
V kombinatorické oblasti byly důležité výsledky týkající se buňkových rozkladů uzavřených variet.
s-39
s65w-s39
s65w#39
V kombinatorické oblasti byly důležité výsledky týkající se buňkových rozkladů uzavřených variet.
[40] tree
Ve funkcionální analýze byla vyšetřována struktura lineárních prostorů.
s-40
s65w-s40
s65w#40
Ve funkcionální analýze byla vyšetřována struktura lineárních prostorů.
[41] tree
Byly získány výsledky zásadního významu v teorii lineárních zobrazení, týkající se zejména úplnosti a spojitosti inverzního operátoru.
s-41
s65w-s41
s65w#41
Byly získány výsledky zásadního významu v teorii lineárních zobrazení, týkající se zejména úplnosti a spojitosti inverzního operátoru.
[42] tree
Od základu byla vybudována nová teorie hermiteovských algeber zobecňující pojem calgeber, jež mají důležité souvislosti s fyzikou.
s-42
s65w-s42
s65w#42
Od základu byla vybudována nová teorie hermiteovských algeber zobecňující pojem calgeber, jež mají důležité souvislosti s fyzikou.
[43] tree
Byl zaveden pojem kritického exponentu, který souvisí s otázkou konvergence iteračních procesů.
s-43
s65w-s43
s65w#43
Byl zaveden pojem kritického exponentu, který souvisí s otázkou konvergence iteračních procesů.
[44] tree
Významné výsledky byly získány v teorii operátorů a v oblasti existenčních vět matematické a numerické analýzy.
s-44
s65w-s44
s65w#44
Významné výsledky byly získány v teorii operátorů a v oblasti existenčních vět matematické a numerické analýzy.
[45] tree
Některých důležitých výsledků se dosáhlo též v otázkách integrace podle vektorové míry a integrální reprezentace operátorů.
s-45
s65w-s45
s65w#45
Některých důležitých výsledků se dosáhlo též v otázkách integrace podle vektorové míry a integrální reprezentace operátorů.
[46] tree
Úspěšně se rozvíjela teorie diferenciálních rovnic, v níž se v Československu před válkou skoro nepracovalo.
s-46
s65w-s46
s65w#46
Úspěšně se rozvíjela teorie diferenciálních rovnic, v níž se v Československu před válkou skoro nepracovalo.
[47] tree
Byla vybudována teorie disperzí, která je velmi účinným nástrojem ke studiu obyčejných diferenciálních rovnic # řádu, dále algebraická teorie těchto rovnic a její abstraktní model.
s-47
s65w-s47
s65w#47
Byla vybudována teorie disperzí, která je velmi účinným nástrojem ke studiu obyčejných diferenciálních rovnic # řádu, dále algebraická teorie těchto rovnic a její abstraktní model.
[48] tree
Úspěšně se rozvíjela práce v lineárních diferenciálních rovnicích vyšších řádů a významné výsledky byly dosaženy v teorii stability nelineárních rovnic.
s-48
s65w-s48
s65w#48
Úspěšně se rozvíjela práce v lineárních diferenciálních rovnicích vyšších řádů a významné výsledky byly dosaženy v teorii stability nelineárních rovnic.
[49] tree
Byly zkoumány asymptotické vlastnosti řešení otázky oscilatoričnosti a periodicity.
s-49
s65w-s49
s65w#49
Byly zkoumány asymptotické vlastnosti řešení otázky oscilatoričnosti a periodicity.
[50] tree
Další výsledky se týkaly rovnic s opožďujícím se argumentem.
s-50
s65w-s50
s65w#50
Další výsledky se týkaly rovnic s opožďujícím se argumentem.
[51] tree
V parciálních diferenciálních rovnicích se dospělo k důležitým výsledkům při řešení lineárních problémů variačními metodami a byly úspěšně rozvíjeny metody nelineární funkcionální analýzy a jejich aplikace na nelineární problémy.
s-51
s65w-s51
s65w#51
V parciálních diferenciálních rovnicích se dospělo k důležitým výsledkům při řešení lineárních problémů variačními metodami a byly úspěšně rozvíjeny metody nelineární funkcionální analýzy a jejich aplikace na nelineární problémy.
[52] tree
Důležité jsou výsledky ve spektrální teorii nelineárních operátorů a aplikace těchto výsledků v teorii okrajových úloh pro parciální diferenciální rovnice.
s-52
s65w-s52
s65w#52
Důležité jsou výsledky ve spektrální teorii nelineárních operátorů a aplikace těchto výsledků v teorii okrajových úloh pro parciální diferenciální rovnice.
[53] tree
V numerických metodách byly sestrojeny efektivní postupy, pomocí nichž se na počítačích získají číselné hodnoty řešení matematických úloh.
s-53
s65w-s53
s65w#53
V numerických metodách byly sestrojeny efektivní postupy, pomocí nichž se na počítačích získají číselné hodnoty řešení matematických úloh.
[54] tree
Byly zkoumány otázky stability numerických výpočtů.
s-54
s65w-s54
s65w#54
Byly zkoumány otázky stability numerických výpočtů.
[55] tree
Významné výsledky byly získány v oblasti teorie a užití iteračních metod, zejména v aplikaci na výpočet kritických parametrů jaderných reaktorů.
s-55
s65w-s55
s65w#55
Významné výsledky byly získány v oblasti teorie a užití iteračních metod, zejména v aplikaci na výpočet kritických parametrů jaderných reaktorů.
[56] tree
některé směry výzkumu byly vyvolány konkrétními potřebami praxe, obdržely se výsledky mající obecnou platnost, někdy bylo dosaženo dokonce výsledků definitivních v rámci teorie přibližných metod.
s-56
s65w-s56
s65w#56
Ač některé směry výzkumu byly vyvolány konkrétními potřebami praxe, obdržely se výsledky mající obecnou platnost, někdy bylo dosaženo dokonce výsledků definitivních v rámci teorie přibližných metod.
[57] tree
Další významné výsledky byly získány při rozvíjení metody konečných prvků.
s-57
s65w-s57
s65w#57
Další významné výsledky byly získány při rozvíjení metody konečných prvků.
[58] tree
Teoretické výsledky z oboru parciálních diferenciálních rovnic a numerických metod měly četné praktické aplikace.
s-58
s65w-s58
s65w#58
Teoretické výsledky z oboru parciálních diferenciálních rovnic a numerických metod měly četné praktické aplikace.
[59] tree
Mezi nejvýznamnější patřily výpočet tepelných napjatostí pro stavbu přehrady Orlík, na jehož základě byl navržen ekonomičtější způsob výstavby, ve své době velmi progresívní, výpočet údajů potřebných k posouzení zbytkových napětí svařovaného ocelového pláště jaderné elektrárny v Jaslovských Bohunicích, výpočet mostových desek montovaných z nosníků, výpočty montovaných a monolitických vodojemů v podmínkách působení pružného podloží, výpočty související s otázkami zakládání velkých staveb na šikmých vrstvách.
s-59
s65w-s59
s65w#59
Mezi nejvýznamnější patřily výpočet tepelných napjatostí pro stavbu přehrady Orlík, na jehož základě byl navržen ekonomičtější způsob výstavby, ve své době velmi progresívní, výpočet údajů potřebných k posouzení zbytkových napětí svařovaného ocelového pláště jaderné elektrárny v Jaslovských Bohunicích, výpočet mostových desek montovaných z nosníků, výpočty montovaných a monolitických vodojemů v podmínkách působení pružného podloží, výpočty související s otázkami zakládání velkých staveb na šikmých vrstvách.
[60] tree
V teorii pravděpodobnosti byly dosaženy pozoruhodné výsledky v řešení některých základních otázek, výsledky týkající se podmíněných pravděpodobností souvislosti s konvergenčními prostory.
s-60
s65w-s60
s65w#60
V teorii pravděpodobnosti byly dosaženy pozoruhodné výsledky v řešení některých základních otázek, výsledky týkající se podmíněných pravděpodobností souvislosti s konvergenčními prostory.
[61] tree
Mnoho úsilí bylo věnováno zkoumání prakticky důležitého typu náhodných procesů, v nichž budoucnost je ovlivňována přítomným stavem, nikoliv vzdálenější minulostí, Markovovy procesy.
s-61
s65w-s61
s65w#61
Mnoho úsilí bylo věnováno zkoumání prakticky důležitého typu náhodných procesů, v nichž budoucnost je ovlivňována přítomným stavem, nikoliv vzdálenější minulostí, Markovovy procesy.
[62] tree
Důležitých výsledků bylo dosaženo v řešení statistických problémů obecných, náhodných procesů i některých jejich speciálních typů a dále pak v matematické statistice, zejména v teorii pořadových testů, v nichž hodnoty pozorovaných veličin se pro snadnější praktické použití nahrazují jejich pořadími podle velikosti.
s-62
s65w-s62
s65w#62
Důležitých výsledků bylo dosaženo v řešení statistických problémů obecných, náhodných procesů i některých jejich speciálních typů a dále pak v matematické statistice, zejména v teorii pořadových testů, v nichž hodnoty pozorovaných veličin se pro snadnější praktické použití nahrazují jejich pořadími podle velikosti.
[63] tree
Využití teoretických poznatků ze všech těchto oblastí přineslo výrazné úspěchy v řadě praktických aplikací, v zemědělském výzkumu, genetice, šlechtění kvalitnějších odrůd, v rostlinné a živočišné výrobě, biologii, lékařství, hodnocení nových léků a léčebných metod, technických vědách, dopravě.
s-63
s65w-s63
s65w#63
Využití teoretických poznatků ze všech těchto oblastí přineslo výrazné úspěchy v řadě praktických aplikací, v zemědělském výzkumu, genetice, šlechtění kvalitnějších odrůd, v rostlinné a živočišné výrobě, biologii, lékařství, hodnocení nových léků a léčebných metod, technických vědách, dopravě.
[64] tree
Pozoruhodné jsou výsledky v teorii grafů a v kombinatorické problematice, v níž byly vytvořeny rozmanité metody odvozování kombinatorických identit.
s-64
s65w-s64
s65w#64
Pozoruhodné jsou výsledky v teorii grafů a v kombinatorické problematice, v níž byly vytvořeny rozmanité metody odvozování kombinatorických identit.
[65] tree
Četné výsledky mají praktické použití též v souvislosti s teorií zpracování dat a s otázkami matematické ekonomie.
s-65
s65w-s65
s65w#65
Četné výsledky mají praktické použití též v souvislosti s teorií zpracování dat a s otázkami matematické ekonomie.
[66] tree
Slibně se začaly rozvíjet též novější oblasti zahrnující zejména teorii automatů, teorii jazyků, teorii výpočetních procesů.
s-66
s65w-s66
s65w#66
Slibně se začaly rozvíjet též novější oblasti zahrnující zejména teorii automatů, teorii jazyků, teorii výpočetních procesů.
[67] tree
Významných úspěchů bylo dosaženo v operačním výzkumu a metody operačního výzkumu se ve značné míře uplatnily v matematické ekonomii.
s-67
s65w-s67
s65w#67
Významných úspěchů bylo dosaženo v operačním výzkumu a metody operačního výzkumu se ve značné míře uplatnily v matematické ekonomii.
[68] tree
V teorii konečných automatů byly studovány zejména otázky motivované praktickým použitím automatů v diagnostice při analýze formálních jazyků.
s-68
s65w-s68
s65w#68
V teorii konečných automatů byly studovány zejména otázky motivované praktickým použitím automatů v diagnostice při analýze formálních jazyků.
[69] tree
Byly zkoumány otázky struktury stochastických automatů.
s-69
s65w-s69
s65w#69
Byly zkoumány otázky struktury stochastických automatů.
[70] tree
V teorii algoritmů byly vyšetřovány zvláště otázky jejich složitosti, a to jak z axiomatického hlediska, tak se zřetelem na realizaci pomocí různých automatů a Turingových strojů, bylo dosaženo pozoruhodných výsledků o hierarchiích odpovídajících různým mírám složitosti.
s-70
s65w-s70
s65w#70
V teorii algoritmů byly vyšetřovány zvláště otázky jejich složitosti, a to jak z axiomatického hlediska, tak se zřetelem na realizaci pomocí různých automatů a Turingových strojů, bylo dosaženo pozoruhodných výsledků o hierarchiích odpovídajících různým mírám složitosti.
[71] tree
Byly získány odhady složitosti řady úloh diskretního programování.
s-71
s65w-s71
s65w#71
Byly získány odhady složitosti řady úloh diskretního programování.
[72] tree
Bylo docíleno významných výsledků týkajících se existence gramatiky generující jazyk, algebraického popisu konstrukce gramatických kategorií, analýzy, redukce a deskriptivní složitosti gramatiky a jazyků, zejména bezkontextových.
s-72
s65w-s72
s65w#72
Bylo docíleno významných výsledků týkajících se existence gramatiky generující jazyk, algebraického popisu konstrukce gramatických kategorií, analýzy, redukce a deskriptivní složitosti gramatiky a jazyků, zejména bezkontextových.
[73] tree
Byla vypracována teorie lingvistických transformací, syntaktická analýza a další otázky teorie programovacích jazyků vedly k zavedení a zkoumání vícenásobných gramatik a automatů, podmínkových gramatik a dalších objektů.
s-73
s65w-s73
s65w#73
Byla vypracována teorie lingvistických transformací, syntaktická analýza a další otázky teorie programovacích jazyků vedly k zavedení a zkoumání vícenásobných gramatik a automatů, podmínkových gramatik a dalších objektů.
[74] tree
Byly zkoumány možnosti popisu sekvenčních i paralelních výpočetních procesů a sestaveny některé jejich modely.
s-74
s65w-s74
s65w#74
Byly zkoumány možnosti popisu sekvenčních i paralelních výpočetních procesů a sestaveny některé jejich modely.
[75] tree
Řada teoretických výsledků se promítla do oblasti praktické konstrukce systémových i aplikačních programů pro počítače.
s-75
s65w-s75
s65w#75
Řada teoretických výsledků se promítla do oblasti praktické konstrukce systémových i aplikačních programů pro počítače.
[76] tree
Třicáté výročí vítězného ukončení národně osvobozeneckého boje a osvobození Československa sovětskou armádou zastihuje naši fyziku v plném rozvoji, jak to dokumentují nejen závažné výsledky vědecké, oceněné i nejvyššími státními vyznamenáními a uznáním v cizině, i řada výsledků významných pro technickou praxi, ale také rozsáhlá síť fyzikálních pracovišť vybudovaných převážně v Československu osvobozeném od německé fašistické okupace.
s-76
s65w-s76
s65w#76
Třicáté výročí vítězného ukončení národně osvobozeneckého boje a osvobození Československa sovětskou armádou zastihuje naši fyziku v plném rozvoji, jak to dokumentují nejen závažné výsledky vědecké, oceněné i nejvyššími státními vyznamenáními a uznáním v cizině, i řada výsledků významných pro technickou praxi, ale také rozsáhlá síť fyzikálních pracovišť vybudovaných převážně až v Československu osvobozeném od německé fašistické okupace.
[77] tree
Po osvobození naší vlasti bylo třeba prakticky začít budovat fyziku u nás od základů.
s-77
s65w-s77
s65w#77
Po osvobození naší vlasti bylo třeba prakticky začít budovat fyziku u nás od základů.
[78] tree
Fyzikální ústavy vysokých škol byly po téměř šestiletém uzavření českých vysokých škol zničeny a existovalo jediné fyzikální pracoviště, Fyzikální výzkum Škodových závodů, kde se přes okupaci podařilo udržet poměrně početný kolektiv výzkumných pracovníků, fyziků, a kde se mohla prakticky ihned od osvobození řešit řada významných vědeckých problémů pro potřeby našeho národního hospodářství.
s-78
s65w-s78
s65w#78
Fyzikální ústavy vysokých škol byly po téměř šestiletém uzavření českých vysokých škol zničeny a existovalo jediné fyzikální pracoviště, Fyzikální výzkum Škodových závodů, kde se přes okupaci podařilo udržet poměrně početný kolektiv výzkumných pracovníků, fyziků, a kde se mohla prakticky ihned od osvobození řešit řada významných vědeckých problémů pro potřeby našeho národního hospodářství.
[79] tree
Část fyziků z FV Škodových závodů odešla po osvobození na vysoké školy nebo do některých resortních výzkumných pracovišť, kde začala budovat fyzikální pracoviště.
s-79
s65w-s79
s65w#79
Část fyziků z FV Škodových závodů odešla po osvobození na vysoké školy nebo do některých resortních výzkumných pracovišť, kde začala budovat fyzikální pracoviště.
[80] tree
FV Škodových závodů se v stal prvním školicím střediskem pro výchovu aspirantů ve fyzice.
s-80
s65w-s80
s65w#80
FV Škodových závodů se v stal prvním školicím střediskem pro výchovu aspirantů ve fyzice.
[81] tree
Od # byl začleněn do ústředí vědeckého výzkumu jako Ústřední ústav fyzikální a pověřen základním výzkumem ve fyzice.
s-81
s65w-s81
s65w#81
Od # byl začleněn do ústředí vědeckého výzkumu jako Ústřední ústav fyzikální a pověřen základním výzkumem ve fyzice.
[82] tree
ÚÚF svolal v # do domu vědeckých pracovníků v Liblicích celostátní konferenci fyziků, na které byl přijat jeho návrh, aby se vědecká práce ve fyzice u nás soustředila převážně na fyziku pevných látek, jadernou fyziku a některé obory fyziky významné pro náš průmysl.
s-82
s65w-s82
s65w#82
ÚÚF svolal v # do domu vědeckých pracovníků v Liblicích celostátní konferenci fyziků, na které byl přijat jeho návrh, aby se vědecká práce ve fyzice u nás soustředila převážně na fyziku pevných látek, jadernou fyziku a některé obory fyziky významné pro náš průmysl.
[83] tree
Po založení Československé akademie věd v byl ÚÚF spolu s ostatními ústředními ústavy převeden do ČSAV, v níž pak bylo postupně vybudováno šest fyzikálních pracovišť ČSAV, Ústav fyziky pevných látek ČSAV, Fyzikální ústav ČSAV, Ústav fyziky plazmatu ČSAV, Ústav jaderné fyziky ČSAV, Ústav přístrojové techniky ČSAV, Laboratoř radiologické dozimetrie ČSAV, a dvě fyzikální pracoviště ve Slovenské akademii věd, Fyzikální ústav SAV v Bratislavě a Ústav experimentálnej fyziky SAV v Košicích s celkovým počtem # pracovníků zabývající se fyzikálním bádáním.
s-83
s65w-s83
s65w#83
Po založení Československé akademie věd v byl ÚÚF spolu s ostatními ústředními ústavy převeden do ČSAV, v níž pak bylo postupně vybudováno šest fyzikálních pracovišť ČSAV, Ústav fyziky pevných látek ČSAV, Fyzikální ústav ČSAV, Ústav fyziky plazmatu ČSAV, Ústav jaderné fyziky ČSAV, Ústav přístrojové techniky ČSAV, Laboratoř radiologické dozimetrie ČSAV, a dvě fyzikální pracoviště ve Slovenské akademii věd, Fyzikální ústav SAV v Bratislavě a Ústav experimentálnej fyziky SAV v Košicích s celkovým počtem # pracovníků zabývající se fyzikálním bádáním.
[84] tree
Tato pracoviště vybudovaná za velkorysé podpory stranických a státních orgánů a za vysoce účinné spolupráce SSSR představují dnes silnou základní síť fyzikálních pracovišť v ČSSR, která svou kapacitou, soustředěním a výchovou vysoce kvalifikovaných fyziků nemá v dřívějším vědeckém životě v našich zemích obdoby.
s-84
s65w-s84
s65w#84
Tato pracoviště vybudovaná za velkorysé podpory stranických a státních orgánů a za vysoce účinné spolupráce SSSR představují dnes silnou základní síť fyzikálních pracovišť v ČSSR, která svou kapacitou, soustředěním a výchovou vysoce kvalifikovaných fyziků nemá v dřívějším vědeckém životě v našich zemích obdoby.
[85] tree
Fyzikální bádání na pracovištích ČSAV se soustřeďuje podle dlouhodobé koncepce především na fyziku pevných látek a na vybrané problémy z jaderné fyziky, fyziky plazmatu, elementárních částic a fyzikálních přístrojů.
s-85
s65w-s85
s65w#85
Fyzikální bádání na pracovištích ČSAV se soustřeďuje podle dlouhodobé koncepce především na fyziku pevných látek a na vybrané problémy z jaderné fyziky, fyziky plazmatu, elementárních částic a fyzikálních přístrojů.
[86] tree
Tato koncentrace byla zvolena v souvislosti s úvahami o potřebách hospodářského rozvoje naší socialistické společnosti a s rozvojem vědy tak, aby bylo možno plánovat dosažení výsledků společensky užitečných.
s-86
s65w-s86
s65w#86
Tato koncentrace byla zvolena v souvislosti s úvahami o potřebách hospodářského rozvoje naší socialistické společnosti a s rozvojem vědy tak, aby bylo možno plánovat dosažení výsledků společensky užitečných.
[87] tree
Výsledky dosažené fyzikálními pracovišti ČSAV snesou přísná mezinárodní srovnání.
s-87
s65w-s87
s65w#87
Výsledky dosažené fyzikálními pracovišti ČSAV snesou přísná mezinárodní srovnání.
[88] tree
Tato pracoviště dosáhla i řady výrazných mezinárodních ocenění projevujících se v označení teorií a nově objevených efektů jmény pracovníků či laboratoří, v pověření pořádat význačné světové fyzikální konference, v pověření přednášet vyžádané přehledné referáty na mezinárodních konferencích a v postavení fyziků v mezinárodních fyzikálních organizacích.
s-88
s65w-s88
s65w#88
Tato pracoviště dosáhla i řady výrazných mezinárodních ocenění projevujících se v označení teorií a nově objevených efektů jmény pracovníků či laboratoří, v pověření pořádat význačné světové fyzikální konference, v pověření přednášet vyžádané přehledné referáty na mezinárodních konferencích a v postavení fyziků v mezinárodních fyzikálních organizacích.
[89] tree
Neméně významná byla i účast fyziků na rozvoji některých průmyslových oborů v ČSSR, polovodičová technika, výroba diamantů, feritové součástky, lasery, měřící technika.
s-89
s65w-s89
s65w#89
Neméně významná byla i účast fyziků na rozvoji některých průmyslových oborů v ČSSR, polovodičová technika, výroba diamantů, feritové součástky, lasery, měřící technika.
[90] tree
Význam výsledků dosažených v oblasti fyziky byl zhodnocen řadou cen ČSAV, státních cen KG, společnými cenami ČSAV a AV SSSR.
s-90
s65w-s90
s65w#90
Význam výsledků dosažených v oblasti fyziky byl zhodnocen řadou cen ČSAV, státních cen KG, společnými cenami ČSAV a AV SSSR.
[91] tree
Jeden z pracovníků ČSAV je i členem kolektivu odměněného v SÚJV Leninovou cenou.
s-91
s65w-s91
s65w#91
Jeden z pracovníků ČSAV je i členem kolektivu odměněného v SÚJV Leninovou cenou.
[92] tree
Fyzika pevných látek přispěla v koordinaci dvoustranné a mnohostranné spolupráce s akademiemi věd zemí RVHP k rozvoji polovodičového průmyslu, jehož existence byla podmínkou pro širokou aplikaci polovodičových součástek ve spojové technice, v automatizaci obrábění, v regulační technice, v energetice, v elektrické trakci.
s-92
s65w-s92
s65w#92
Fyzika pevných látek přispěla v koordinaci dvoustranné a mnohostranné spolupráce s akademiemi věd zemí RVHP k rozvoji polovodičového průmyslu, jehož existence byla podmínkou pro širokou aplikaci polovodičových součástek ve spojové technice, v automatizaci obrábění, v regulační technice, v energetice, v elektrické trakci.
[93] tree
I nyní se tato oblast fyzikálního bádání zaměřuje na práce, jejichž výsledky se uplatní v dosavadních i nových oborech společenského využití.
s-93
s65w-s93
s65w#93
I nyní se tato oblast fyzikálního bádání zaměřuje na práce, jejichž výsledky se uplatní v dosavadních i nových oborech společenského využití.
[94] tree
Studium nekrystalických polovodičů je zaměřeno na uplatnění jejich vlastností v obvodové a záznamové technice podobně jako studium magnetických a feroelektrických látek.
s-94
s65w-s94
s65w#94
Studium nekrystalických polovodičů je zaměřeno na uplatnění jejich vlastností v obvodové a záznamové technice podobně jako studium magnetických a feroelektrických látek.
[95] tree
Významným výsledkem byl objev existence bublinových domén ve feromagnetických látkách a vypracování teorie nevlastních feroelektrik, uznávané v mezinárodním měřítku jako významný přínos fyziky pevných látek.
s-95
s65w-s95
s65w#95
Významným výsledkem byl objev existence bublinových domén ve feromagnetických látkách a vypracování teorie nevlastních feroelektrik, uznávané v mezinárodním měřítku jako významný přínos fyziky pevných látek.
[96] tree
Tyto objevy se staly impulsem pro práce zaměřené k vytvoření nových paměťových prvků u nás i v zahraničí.
s-96
s65w-s96
s65w#96
Tyto objevy se staly impulsem pro práce zaměřené k vytvoření nových paměťových prvků u nás i v zahraničí.
[97] tree
Do kontextu těchto prací zapadají i výsledky studia fyzikálních vlastností kalomelu a příbuzných látek, které mohou sloužit jako pasívní paměťové prvky a v oblasti optických přístrojů jako náhrada islandského vápence, jehož cena v posledních letech prudce stoupla, protože ložiska jsou do značné míry vyčerpána.
s-97
s65w-s97
s65w#97
Do kontextu těchto prací zapadají i výsledky studia fyzikálních vlastností kalomelu a příbuzných látek, které mohou sloužit jako pasívní paměťové prvky a v oblasti optických přístrojů jako náhrada islandského vápence, jehož cena v posledních letech prudce stoupla, protože ložiska jsou do značné míry vyčerpána.
[98] tree
Pro potřeby jaderné fyziky a techniky byl vyvinut způsob výroby polovodičových detektorů záření a tím se dosáhlo v této významné oblasti měřicí techniky nezávislosti na zahraničí.
s-98
s65w-s98
s65w#98
Pro potřeby jaderné fyziky a techniky byl vyvinut způsob výroby polovodičových detektorů záření a tím se dosáhlo v této významné oblasti měřicí techniky nezávislosti na zahraničí.
[99] tree
V rámci studia pevných látek a jaderné fyziky byl proveden ve spolupráci s SSSR i rozbor měsíčních hornin u vzorků získaných aparaturou luna.
s-99
s65w-s99
s65w#99
V rámci studia pevných látek a jaderné fyziky byl proveden ve spolupráci s SSSR i rozbor měsíčních hornin u vzorků získaných aparaturou luna.
[100] tree
Výzkum vlastností pevných látek v oboru ultravysokých tlaků vedl ke zdokonalení a zhospodárnění výroby umělých diamantů.
s-100
s65w-s100
s65w#100
Výzkum vlastností pevných látek v oboru ultravysokých tlaků vedl ke zdokonalení a zhospodárnění výroby umělých diamantů.

Edit as listText viewDependency trees