网盘文件永久链接 高级语言程序设计: 1、概述 2、基本数据类型与表达式 3、顺序结构与输入输出 4、选择结构 5、循环结构 6、函数 7、数组(上) 8、数组(下) 9、指针(上) 10、指针(下) 11、结构体 数据结构: 12、概述 ......
2022-10-25 13:06:02 269B 计算机科学
本文以适合高年级本科生和研究生的水平全面介绍了现代或抽象代数。
2022-10-24 20:17:00 123B 计算机科学
1
范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论,以抽象的方法来处理数学概念,将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中,以及理论计算机科学和数学物理的一些领域。
2022-10-24 19:55:57 4.25MB category
1
福建师范大学网络教育计算机科学与技术学位考试《数据库管理与应用》真题及部分答案、大纲整理。答案保证正确性
2022-10-21 22:05:03 278KB
1
并行计算机如何成功应用于大规模科学计算的清晰说明。 研究与将来的超级计算机有关的细粒度并行性问题,其中特别着重于超立方体体系结构。
2022-10-16 21:03:15 98B 计算机科学
1
HomeworkTemplate:专为计算机科学作业设计的LaTeX模板
2022-10-14 21:18:34 8KB computer-science template latex homework
1
主要实现的功能有:难度设置、打乱重排、排行榜、计时器、背景音乐、消除音效。本项目几乎涵盖了Android入门级的所有知识点,适合新手练手实践。详细介绍博客链接:https://blog.csdn.net/qq_42257666/article/details/127164944
计算机学概论 计算机专业入门必读书籍 中英文版 带标签 推荐阅读英文版,中文版作为翻译参考
2022-10-10 23:01:20 38.3MB 计算机概论 布鲁克希尔
1
递归方程组解的渐进阶的求法,算法时间复杂度,迭代算法,递归算法,母函数法,套用公式法,迭代树法
1
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
2022-09-28 14:41:11 11.82MB 数理逻辑 建模 推理
1