资源列表
[其他小程序] application_ofmathematical_logic
说明:输入一个一阶语言,开头和结尾必须是括号。例如,(@a(P(a)). 数理逻辑的应用:通过C语言进行一阶语言的判断约束符号只限P,Q,R 变员符号只限a,b,c 命题符号为:&,|,~,-(蕴含),=(等价) 量词符号:全称量词:@ 存在量词:# -Enter a first order language must start and end brackets. For example, (@ a (P (a)).<涵> 在 2025-01-29 上传 | 大小:2kb | 下载:0
[数据库编程] VC_project_development_throughout_Record1-2
说明:VC项目开发全程实录(书籍光盘)非常实用的资源!-VC project development throughout Record (Book CD) is very useful resource!<周伟> 在 2025-01-29 上传 | 大小:7.68mb | 下载:0
[C#编程] TCPIP_Sockets_in_Csharp_Practical_Guide_for_Progra
说明:Review "TCP/IP sockets in C# is an excellent book for anyone interested in writing network applications using Microsoft .Net fr a meworks." -Adarsh Khare, SDT, .Net fr a meworks Team, Microsoft Corporation Book Descr<fuha_tk> 在 2025-01-29 上传 | 大小:1.53mb | 下载:0
[其他小程序] telephonebook_cellphone
说明:一个模拟手机电话簿程序,可以按照名字字母排序,添加,删除,修改联系人,可以读取文件,并把相关资料保存进文件中,还可根据名字或电话号码查询联系人的相关信息。是个非常好用的程序,仿真度高,功能多,实用性好。-A simulated mobile phone book program, you can sort the letters by name, add, delete, modify contacts, you can read th<涵> 在 2025-01-29 上传 | 大小:4kb | 下载:0