主题:【原创】浏览器是怎么变成操作系统的 -- 美人他爹
共:💬233 🌺560
SQL就是一阶谓词逻辑First-Order Logic(FOL),如果你们的语言是FOL的超集,那么你们的语言只能是高阶逻辑Higher-Order Logic(HOL)。在数理逻辑里,HOL比FOL表达能力更强和更加有效,但是在系统的可靠性和完备性方面的限制会更多。通常的一个观点是,FOL能够有效地处理和表达绝大多数的问题,如果不能用FOL表达,只能用HOL,那么有相当大的可能是你的问题本身就有问题。
- 相关回复 上下关系8
🙂【原创】浏览器是怎么变成操作系统的 58 美人他爹 字809 2009-07-15 11:55:13
🙂【原创】浏览器是怎么变成操作系统的 6 云深不知处 11 美人他爹 字2859 2009-09-04 22:56:37
🙂还是拿SQL和数理逻辑进行对应吧
🙂【原创】我关心的是数据的组织方式 1 美人他爹 字685 2009-09-07 07:51:07
🙂呵呵,是我没说清楚。 1 唐家山 字271 2009-09-07 18:45:14
🙂你说的,不就是MS所提的LINQ的概念嘛 moniker 字124 2009-09-06 08:15:39
🙂能描述不代表高效阿 yueyu 字58 2009-09-05 09:48:49
🙂刚把问题抛出来,就草草收尾 1 邓侃 字529 2009-09-05 04:28:43