磁盘信息获取 要求：用Windows API中有关调用获取系统中磁盘的各种信息（类型、逻辑驱动器、卷标、剩余空间）。
磁盘信息获取 要求：用Windows API中有关调用获取系统中磁盘的各种信息（类型、逻辑驱动器、卷标、剩余空间）。...
数学逻辑技术资料
📦 资源总数：4861
📄 技术文档：1
💻 源代码：6668
🔥 数学逻辑热门资料
查看全部4861个资源 »实现了排队理论在数学中的使用方法
实现了排队理论在数学中的使用方法，是一种图形化的演示，可以加深理解...
数学统计程序 数学统计程序 数学统计程序
数学统计程序 数学统计程序 数学统计程序...
此文件为数字逻辑电路课件
此文件为数字逻辑电路课件，内容丰富，课件重点鲜明，PPT格式。...
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...
📄 数学逻辑技术文档
查看更多 »💻 数学逻辑源代码
查看更多 »📂 数学逻辑资料分类