暴发户
发表于 2025-3-23 13:46:12
The concept of a program; programs as objects of computation and generationp. 1.2 and chap. 1.4) exist and can in their turn be considered as objects for algorithmic transformations or generation. This discovery was made by Turing in . In this chapter we discuss the notions of a “programming system” (or a “method of programming”) and a “program” arising in this conn
Employee
发表于 2025-3-23 15:58:34
http://reply.papertrans.cn/16/1534/153309/153309_12.png
讽刺滑稽戏剧
发表于 2025-3-23 20:54:01
Klassische Astronomie. Das Planetensystem,f introducing new concepts and refining old ones. A.Maltsev wrote in this connection: “A system of concepts and a language are not something external for a mathematical theory but constitute an essential part of it” .
符合规定
发表于 2025-3-23 22:37:16
Kosmologie: Der Kosmos als Ganzeserating model is called . if for any calculus generating a subset of . there exists a calculus of this model generating the same subset.) The notion of a generating model appears in the same way as the notion of a computational model.
收藏品
发表于 2025-3-24 06:06:59
http://reply.papertrans.cn/16/1534/153309/153309_15.png
善于
发表于 2025-3-24 10:04:13
http://reply.papertrans.cn/16/1534/153309/153309_16.png
在驾驶
发表于 2025-3-24 12:55:51
http://reply.papertrans.cn/16/1534/153309/153309_17.png
不吉祥的女人
发表于 2025-3-24 17:40:20
https://doi.org/10.1007/978-3-662-00491-3a formal explication of the notion of algorithm (or, better to say, computable function) — therefore the notion of algorithm was considered as existing independently of (and before) these constructions.
Morose
发表于 2025-3-24 20:15:02
http://reply.papertrans.cn/16/1534/153309/153309_19.png
EVEN
发表于 2025-3-24 23:11:39
https://doi.org/10.1007/978-3-662-06529-7obably the earliest examples of calculuses in a real world. Of course when we consider a game as a calculus we ignore completely its competitive nature and are interested only in its “juridical” aspects — in the possibility to make moves according to certain rules.