贪求 发表于 2025-3-21 18:01:42

书目名称Computability and Decidability影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0232030<br><br>        <br><br>书目名称Computability and Decidability读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0232030<br><br>        <br><br>

懦夫 发表于 2025-3-21 22:46:21

https://doi.org/10.1007/978-1-4615-0331-6Some definitions concerning strings, sequences of strings and sets of strings are introduced and a few properties are indicated. Particular attention is paid to the enumeration of all strings or ordered sequences of strings over a given vocabulary.

deactivate 发表于 2025-3-22 04:00:14

Performance of stress echocardiography,The Turing machine is introduced both by describing its physical model and by giving a formal (algebraic) definition for it. The notion of computability of (.-string) functions is derived from it. Finally, it is proved that any Turing machine may be replaced by a Turing machine of a particular type, called “normal” Turing machine.

态度暖昧 发表于 2025-3-22 07:36:56

http://reply.papertrans.cn/24/2321/232030/232030_4.png

脆弱带来 发表于 2025-3-22 09:51:59

http://reply.papertrans.cn/24/2321/232030/232030_5.png

做事过头 发表于 2025-3-22 14:05:53

http://reply.papertrans.cn/24/2321/232030/232030_6.png

做事过头 发表于 2025-3-22 19:16:11

Sets and Functions,Some notions and definitions related to sets and functions are briefly recalled.

走调 发表于 2025-3-22 21:15:13

Sets and Functions of Strings,Some definitions concerning strings, sequences of strings and sets of strings are introduced and a few properties are indicated. Particular attention is paid to the enumeration of all strings or ordered sequences of strings over a given vocabulary.

RADE 发表于 2025-3-23 05:27:56

Computable Functions,The Turing machine is introduced both by describing its physical model and by giving a formal (algebraic) definition for it. The notion of computability of (.-string) functions is derived from it. Finally, it is proved that any Turing machine may be replaced by a Turing machine of a particular type, called “normal” Turing machine.

Lice692 发表于 2025-3-23 05:47:37

http://reply.papertrans.cn/24/2321/232030/232030_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: Computability and Decidability; An Introduction for Jacques Loeckx Textbook 1972 Springer-Verlag Berlin · Heidelberg 1972 Decidability.com