Author: Hořejš, Jiří
-
Hořejš, Jiří:
Computer Science versus matematika.
(Czech) [Computer Science versus mathematics].
Pokroky matematiky, fyziky a astronomie,
vol. 32
(1987),
issue 1,
pp. 39-41
-
Hořejš, Jiří:
Doc. J. Kopřiva šedesátiletý.
(Czech) [On the occasion of the 60th birthday of Jiří Kopřiva].
Časopis pro pěstování matematiky,
vol. 110
(1985),
issue 3,
pp. 333-336
-
Hořejš, Jiří:
Stav a koncepce matematické informatiky v ČSSR.
(Czech) [The state and the concept of mathematical informatics in the Czechoslovak Socialist Republic].
Pokroky matematiky, fyziky a astronomie,
vol. 28
(1983),
issue 3,
pp. 154-162
-
Hořejš, Jiří:
Struktura matematiků a programů.
(Czech) [Structure of mathematicians and programmes].
Pokroky matematiky, fyziky a astronomie,
vol. 21
(1976),
issue 2,
pp. 84-88
-
Hořejš, Jiří:
Teoretické základy informatiky.
(Czech) [Theoretical foundations of computer science].
Pokroky matematiky, fyziky a astronomie,
vol. 20
(1975),
issue 1,
pp. 15-26
-
Hořejš, Jiří:
Recursive functions computable within $C \bar f \log\bar f$.
(English).
Kybernetika,
vol. 5
(1969),
issue 5,
pp. (384)-399
-
Hořejš, Jiří:
Automaty bez vnitřní paměti.
(Czech) [Automata without internal memory].
Časopis pro pěstování matematiky,
vol. 92
(1967),
issue 2,
pp. 193-205
-
Hořejš, Jiří; Glanc, Alois:
O vztahu formy a obsahu v matematice a logice. II.
(Czech) [On the relation of the form and the content in mathematics and logic. II].
Pokroky matematiky, fyziky a astronomie,
vol. 12
(1967),
issue 2,
pp. 67-84
-
Hořejš, Jiří:
O vztahu formy a obsahu v matematice a logice. I.
(Czech) [On the relation of the form and the content in mathematics and logic. I].
Pokroky matematiky, fyziky a astronomie,
vol. 10
(1965),
issue 6,
pp. 325-338
-
Hořejš, Jiří:
On generalizations of a theorem on recursive sets.
(English).
Archivum Mathematicum,
vol. 1
(1965),
issue 4,
pp. 221-227
-
Hořejš, Jiří:
Principy samočinných číslicových počítačů.
(Czech) [Principles of automatic computing machines].
Pokroky matematiky, fyziky a astronomie,
vol. 7
(1962),
issue 1,
pp. 15-33
Partner of