| 查看: 198 | 回复: 0 | |||
| 当前主题已经存档。 | |||
[交流]
【求助】这种问题有没有一般解法？
|
|||
|
把一个小程序写成逻辑表达式，比如 function d(n) { var a = 0; // initializing variable a while (a+a+a+2 可以写成表达式 \forall x\forall y [(3 * d(x) <= x) ^ (3 * y <= x => y<=d(x))]. 上面这个是例子 对下面这几个呢 function f(n) { var a = 0; var b = 0; var c = 0; while (a+a+b < n) { c = c+b+b+b+a+a+a+1; b = b+a+a+1; a = a+1; } return(c); } function g(n) { var a=1; var b=0; var c=2; while ((c { while (b else { a=c; b=0; } c=c+1; } return(a); } ================================ 我想知道是不是有一般性的方法，而不是一个程序一个方法，那也太累了 多谢了 |
回复此楼» 猜你喜欢
售SCI一区文章，我:8 O5 51O 54,科目齐全
已经有6人回复
-
酰胺脱乙酰基
已经有12人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全
已经有3人回复
-
同年申请2项不同项目，第1个项目里不写第2个项目的信息，可以吗
已经有4人回复
-
有时候真觉得大城市人没有县城人甚至个体户幸福
已经有10人回复
-
天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人）
已经有5人回复
-
有院领导为了换新车，用横向课题经费买了俩车
已经有5人回复
-
CSC & MSCA 博洛尼亚大学能源材料课题组博士/博士后招生｜MSCA经费充足、排名优
已经有6人回复
-
面上项目申报
已经有3人回复