数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
2024/9/15 4:54:40
4.96MB
1
内容简介······《离散数学导论(第4版)》第1版于1982年问世。
《离散数学导论(第4版)》在基本保持第3版的风格与主要内容的基础上，进行了适当的补充与删改，尤其是新增一篇“离散建模”，将离散数学与计算机紧密结合。
《离散数学导论(第4版)》由六篇组成，分别是绪言、集合论、代数系统、图论、数理逻辑和离散建模，并以离散建模为特色。
《离散数学导论(第4版)》取材精练、重点突出、简明易懂、篇幅短小，既强调数学的严谨性与抽象性，又不拘泥于数学的繁琐细节，非常适合于50－70学时的离散数学课程使用。
《离散数学导论(第4版)》配有相应的辅导教材——《离散数学导论（第4版）——学习指导与习题解析》。
《离散数学导论(第4版)》可作为高等学校计算机及相关专业离散数学课程的教材或参考书，也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。
《离散数学导论(第4版)》在基本保持第3版的风格与主要内容的基础上，进行了适当的补充与删改，尤其是新增一篇“离散建模”，将离散数学与计算机紧密结合。
《离散数学导论(第4版)》由六篇组成，分别是绪言、集合论、代数系统、图论、数理逻辑和离散建模，并以离散建模为特色。
《离散数学导论(第4版)》取材精练、重点突出、简明易懂、篇幅短小，既强调数学的严谨性与抽象性，又不拘泥于数学的繁琐细节，非常适合于50－70学时的离散数学课程使用。
《离散数学导论(第4版)》配有相应的辅导教材——《离散数学导论（第4版）——学习指导与习题解析》。
《离散数学导论(第4版)》可作为高等学校计算机及相关专业离散数学课程的教材或参考书，也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。
2024/1/22 13:01:24
17.2MB
1
面向计算机科学的数理逻辑系统建模与推理原书第2版的课后习题1-5章的英文答案，虽然是英文，不过对照习题，很容易看懂。
2023/11/13 16:01:53
444KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB