Geodesic

Tome 9 (1973) no. 3

Sommaire

A note on grammars with regular restrictions
p. 159-161
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
p. 162-173
A comparison of three optimality criteria for observation channels
p. 174-186
Automatic listing of important observational statements. I
p. 187-205
Algebraic theory of discrete optimal control for single-variable systems. II. Open-loop control
p. 206-221
Nové knihy
p. 222-224
Zprávy
p. 225-230