Zobrazeno 1 - 10
of 298
pro vyhledávání: '"Pevný bod"'
Autor:
Bednář Kamil
Sborník, který obsahuje práce autorů blízkých si v názoru na tvůrčí činnost: Antonína Bartuška, Kamila Bednáře, Emilie Bednářové, Karla Bodláka, Jarmily Otradovicové, dále autorů přizvaných: Miloše Dvořáka a Arnošta Vaně
Autor:
Volín, Jan, Šturm, Pavel
Publikováno v:
Naše řeč / Our Speech. 99(2):92-100
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=342325
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Karasová, Klára
The topic of the thesis are common fixed points of commuting functions. With the help of the Mountain climbing theorem we will prove the theorem about extending commuting functions, which will allow us to construct commuting self-mappings of the unit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::d196aea4618c6e878832961f427dc2dc
http://www.nusl.cz/ntk/nusl-435197
http://www.nusl.cz/ntk/nusl-435197
Autor:
Zelina, Michael
This thesis is devoted to show various applications of fixed point theorems on dif- ferential equations. In the beginning we use a notion of topological degree to derive several fixed points theorems, primarily Brouwer, Schauder and Kakutani-Ky Fan t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::bc0cb6297f909c1dbdddabac51bf18a1
http://www.nusl.cz/ntk/nusl-415504
http://www.nusl.cz/ntk/nusl-415504
Autor:
Tvrdý, David
This work studies a linear agorithm which decides if a given word is a fixed point of any nontrivial morphism. This work also contains a description of auxiliary data structures which are crucial for linear time complexity of the algorithm. A Java im
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::d566eb08a3874b83f79852356703c9b9
http://www.nusl.cz/ntk/nusl-415427
http://www.nusl.cz/ntk/nusl-415427
Autor:
Holík, Lukáš
The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of arithmetical completeness. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b370f8e2e819f3af3b1d48614327304
http://www.nusl.cz/ntk/nusl-341334
http://www.nusl.cz/ntk/nusl-341334