资源列表
[数学计算/工程计算] HandoutForLogic_fromArizonaStateUniversity
说明:这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言(ASP)Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tut<刘新玲> 在 2025-07-05 上传 | 大小:874kb | 下载:0
[数学计算/工程计算] theory_of_computation
说明:国外计算机专业重要研究生课程 theory of computation 的中文第一版和英文原版第二版。以及课后习题答案。-Computer important overseas post-graduate courses in Chinese theory of computation of the first edition and second edition of the English original. And Homework answer.<刘新玲> 在 2025-07-05 上传 | 大小:15.21mb | 下载:0
[数学计算/工程计算] binaries-2.0.5-win32
说明:上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言,对于求解NP问题有良好的时间上限优势。例如图的着色问题,哈密顿回路问题,sudoku问题,生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples. Answer set programming is a<刘新玲> 在 2025-07-05 上传 | 大小:2.91mb | 下载:0
[数学计算/工程计算] 43kindoffinitedifferencemethodcode(Fortran)
说明:43种计算流体力学有限差分法的格式代码 见证了计算流体力学的发展历程-43 finite difference method of computational fluid dynamics code format witnessed the course of development of computational fluid dynamics<chengguoqiang> 在 2025-07-05 上传 | 大小:489kb | 下载:0
[数学计算/工程计算] multinomial
说明:多项式求值中用到的一系列的方法,有一维的也有二维的-multinomial<asd> 在 2025-07-05 上传 | 大小:5kb | 下载:0