形式化方法课程知识点分章节总结前言 集合相关理论 对数学逻辑基本的理解 目标 学习使用最广泛的形式化表达方式 掌握形式化语言 对形式化验证方法有基本的了解 对于什么问题...

在Ubuntu/deepin上安装Ruby安装 Rudy输入以下命令： sudo apt-get install Ruby-full这里选择安装 Ruby-feed 是因为在Ubuntu的包里...

传统软件工程学科中的概念、相关知识点总结1、软件与软件工程1.1 软件的概念、软件的特点、软件发展的四个阶段软件的概念 软件是计算机系统的重要组成部分； 软件是逻辑产品，需要计算机硬件和系统...

同一个项目同时向两个仓库push代码查看当前远端仓库 git remote -v可以看到当前的远程仓库，正常情况下有两个，一个是 fetch，一个是push添加一个远端仓库这里以 Github...

操作系统作业 os03CPU ALARM 使用 grep 命令找出带有 update 的文件，仿照这个系统调用来完成我们的作业 在 syscal.c 文件中增加函数声明 ...

查看、添加、提交、删除、找回，重置修改文件 git help # 显示command的help git show # 显示某次提交的内容 - git show $id git co – ...

谈谈 anguler 框架中的组件组件负责控制屏幕上的某一块区域，我们也称这块区域为视图，即组件是用来控制视图显示的逻辑。我们在类中定义组件的应用逻辑，为视图提供支持。组件通过一些由属性和方法组...