logic in computer science(面向计算机的数理逻辑)英文pdf附答案
2021-10-09 12:30:46 2.23MB 数理逻辑 答案
1
著名在线课程的配套教材,亚马逊同类书籍销量第一
2021-10-07 09:19:38 8.56MB 线性代数 算法
1
This is the PhD. Proposal of a Ph.D candidate at University of South Australia. This document can be used as an example or a template of making Ph.D proposals when you have to do so.
2021-10-05 19:24:21 447KB PhD research proposal UniSa
1
这本书集中在紧密相关的一组主题上,这些主题构成了该主题的基础。 这些包括规范,实现,语义,程序,编程,正确性,抽象和计算。
2021-09-18 11:53:20 27.65MB 计算机科学
1
量子计算机科学介绍 入门量子计算的书籍,非常适合入门
2021-09-15 15:52:29 2.35MB 量子计算
1
量子计算简介。介绍了量子计算理论,处于需要,对量子理论也做了简要讲述。
2021-09-15 15:27:25 3.63MB quantum computin
1
The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy).pdf
2021-09-04 22:00:17 788KB computerscience
1
mit 最新出版,非常适合AI入门的同学。 另外,里面的数学公式是面向应用的。
2021-08-30 09:50:17 10.17MB mathematics computer
1
:cactus: JavaScript 的手指树。 请参阅。 父级是 。 data FingerTree x = Empty | Single x | Deep ( Digit x ) ( FingerTree ( Node x ) ) ( Digit x ) :woman_teacher: 接口参考 :cactus: Tree定义 :straight_ruler: Measure定义Measure示例 :package: 如何import :baby: 如何创建一Tree empty(Measure) -> Tree from(Measure, Iterable) -> Tree :red_question_mark: 谓词 Tree#measure() -> m Tree#isEmpty() -> Boolean :salt: 添加值 Tree#push(x) -> Tree Tree#cons(x) -> Tree Tree#a
2021-08-03 18:04:32 237KB javascript computer-science immutable functional
1
Fang, K. T., Li, R., and Sudjianto, A. (2006), Design and Modeling for Computer Experiments, CRC Press, New York. 国外应用很广泛的教材
2021-07-29 15:18:41 6.32MB Computer Experiments data analysis
1