-
如何证明,任意命题都能找到等价的析取/合取范式书上写的,把命题的真值表画出来,然后根据这个真值表写出一个析取/合取范式,那么就和原命题是等价命题了。问题是,我觉得这里隐含了一个条件,就是"对任意的真值表,可以构造出一个析取/合取范式",这个隐含条件本身又怎么证明呢?有点循环论证的意思了。这个似乎并不能用数学归纳法证明啊。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;}#endifRabbitLBJ 时间:12-23 + 阅读全文
-
做一个3D软件,具有良好的人机交互性,类似于3D游戏。跪求指点。可以在3D模型的基础下实现鼠标拖动物体,键盘输入参数等功能。前台的3D场景模型可以用3dMax制作这个先不用说(可以找人),就说底层这些交互性的功能如何实现??最简单最易上手的编程语言是什么?或者是用什么软件什么工具?如何入手?。。。满意另加分!!跪求。。再补充一下:3dmax感觉是用来做模型的,我注重的是在人家做好的这些3D模型的基础下实现功能,就是一些简单的用户交互性功能。。。麻烦大家帮我xinxinZhaochao 时间:12-23 + 阅读全文