如何证明,任意命题都能找到等价的析取/合取范式
书上写的,把命题的真值表画出来,然后根据这个真值表写出一个析取/合取范式,那么就和原命题是等价命题了。问题是,我觉得这里隐含了一个条件,就是"对任意的真值表,可以构造出一个析取/合取范式",这个隐含条件本身又怎么证明呢?有点循环论证的意思了。这个似乎并不能用数学归纳法证明啊。
作者: shmemio 发布时间: 12-23
给出接受下列在字母表{0,1}上的语言的确定型有限自动机(DFA)
1.给出接受下列在字母表{0,1}上的语言的确定型有限自动机(DFA)(1)所有倒过来解释成二进制整数时是3的倍数的串的集合。(2)0的个数被5整除,1的个数被4整除的二进制整数串的集合。
作者: feng_sssss 发布时间: 12-22
请教页游服务端开发问题,任务系统一般如何实现?
我是用C#.Net来开发服务端的,不过这个不重要,想请教各位,一般页游(类似神仙道)的任务系统是如何实现的,探讨一下设计思路,谢谢
作者: ztchen 发布时间: 12-24
问一下这个函数到底是如何旋转矩阵的??
是在三个轴上分别旋转,那先后顺序呢??谢谢C/C++codeinlineD3DXMATRIX*SetRotation(D3DXMATRIX*pOut,floatfX,floatfY,floatfZ){#ifdefDEBUGif(!pOut){assert(0);returnNULL;}#endif
作者: RabbitLBJ 发布时间: 12-23
做一个3D软件,具有良好的人机交互性,类似于3D游戏。跪求指点。
可以在3D模型的基础下实现鼠标拖动物体,键盘输入参数等功能。前台的3D场景模型可以用3dMax制作这个先不用说(可以找人),就说底层这些交互性的功能如何实现??最简单最易上手的编程语言是什么?或者是用什么软件什么工具?如何入手?。。。满意另加分!!跪求。。再补充一下:3dmax感觉是用来做模型的,我注重的是在人家做好的这些3D模型的基础下实现功能,就是一些简单的用户交互性功能。。。麻烦大家帮我
作者: xinxinZhaochao 发布时间: 12-23
组合语言的问题
我朋友问我说这要怎么做,完全无头绪,请拜托帮帮忙如果compareaandbA比较大所以我要用甚么instrucitonjump甚么instruciton
作者: Chenke 发布时间: 04-24
程式设计入门大问题
我想请问一下,因为我是一个从没有接触过程式设计的学生(非相关科系)。但是对於程式设计还蛮有兴趣的,一直很想学却不知道该从何种程式语言入门。希望各位大大能够对我提出一些建议,感恩
作者: zax579 发布时间: 11-12
关于NFA的问题
大家好,我是个计算理论的小学生,什么都不太懂,可是现在却不得不看NFA,请问NFA具体在计算语言中的应用体现在哪,还有如何将正则表达式转换成NFA
作者: pooh_remax 发布时间: 12-23