07 2020 档案

[翻译转载]离散数学教程--命题逻辑,谓词逻辑和推理规则
摘要：Discrete Mathematics 命题逻辑 数理逻辑的规则指定了如何判断一个数学语句的正确性. 古希腊哲学家,亚里士多德是数理逻辑的先驱. 数理逻辑为数学和计算机科学的许多领域提供了理论的基础. 它在计算机科学领域中也有着许多实际的应用,如计算器,人工智能,编程语言中数据结构的定义等等. 命 阅读全文
posted @ 2020-07-14 23:26 新新人類 阅读(1703) 评论(0) 推荐(0) 编辑
[翻译转载] 操作系统教程--进程和进程调度,调度算法
摘要：进程 进程基本上就是执行中的程序,进程内部的执行必须有顺序性. 进程被定义成一个表示系统中需要实现的基本工作单元的实体 简单地说,当执行被写成文本文件的计算机程序时,它就变成一个执行程序中的指令的进程. 当程序被加载进内存成为进程时,可以被划分成四个部分-- 栈,堆,文本区和数据区. 下面这幅图片简 阅读全文
posted @ 2020-07-04 16:55 新新人類 阅读(357) 评论(2) 推荐(0) 编辑

点击右上角即可分享
微信分享提示