会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
一条咸得发慌的鱼
博客园
首页
新随笔
联系
订阅
管理
2024年6月7日
Docker学习
摘要: DOCKER Docker概述帮助命令帮助命令镜像命令容器命令常用其他命令端口暴露的概念部署ES+kibana理解分层Commit镜像 容器数据卷使用数据卷尝试安装MySQL具名挂载和匿名挂载 DockerFileDockerFile指令 Docker 网络Docker0--link Docker概
阅读全文
posted @ 2024-06-07 16:48 一条咸得发慌的鱼
阅读(12)
评论(0)
推荐(0)
2023年7月24日
期末总结:面向计算机科学的数理逻辑:系统建模与推理
摘要: 面向计算机科学的数理逻辑:系统建模与推理 Chapter 1 命题逻辑 ——逻辑符号 ——证明规则 ——作为形式语言的命题逻辑 ——命题逻辑的语义 ——范式 Chapter 2 谓词逻辑 ——作为形式语言的谓词逻辑 ——谓词逻辑的证明论 ————自然演绎规则 ——谓词逻辑的语义 ——谓词逻辑的不可判
阅读全文
posted @ 2023-07-24 15:53 一条咸得发慌的鱼
阅读(110)
评论(0)
推荐(0)
2023年6月24日
华为ATLAS200DK踩坑指北
摘要: 华为ATLAS200DK踩坑指北 连接200dk方式 200dk连接至网络 更改时间 虚拟机安装MindStudio 在gitee ascend/samples wiki找合设环境、下载最新版本进行sd卡烧录 连接200dk方式 预先安装vmware和ubuntu 用usb线将200dk和电脑连接,
阅读全文
posted @ 2023-06-24 13:00 一条咸得发慌的鱼
阅读(163)
评论(0)
推荐(0)
2022年1月8日
数字电子技术B——总览
摘要: 数字电子技术基础B ——从入门到入土 绪论 课程目的:掌握基本概念、基本设计和分析的方法、以及基本实验技能;具有能够继续深入学习和接受电子技术新发展的能力,以及将所学知识用于本专业的能力。 1.数字量和模拟量 ·数字量:在时间上和数量上都是离散、不连续的。(存在一个最小数量单位Δ) ·模拟量:数
阅读全文
posted @ 2022-01-08 23:05 一条咸得发慌的鱼
阅读(1001)
评论(0)
推荐(0)
操作系统重点复习
摘要: 操作系统复习重点整理 1.死锁的概念和死锁的原因、死锁的必要条件 死锁的概念 死锁:是指两个或两个以上的进程在执行过程中,因争夺资源二造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。 称这些永远在互相等待的进程为死锁进程。 所占用的资源或者需要它
阅读全文
posted @ 2022-01-08 12:58 一条咸得发慌的鱼
阅读(38)
评论(0)
推荐(0)
2022年1月4日
操作系统复习重点
摘要: 老何操作系统复习重点整理 1.死锁的概念和死锁的原因、死锁的必要条件 死锁的概念 死锁:是指两个或两个以上的进程在执行过程中,因争夺资源二造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。 称这些永远在互相等待的进程为死锁进程。 所占用的资源或者需
阅读全文
posted @ 2022-01-04 14:58 一条咸得发慌的鱼
阅读(554)
评论(0)
推荐(0)
2021年12月21日
C++期末课程设计:设计一个学生学籍管理系统
摘要: 学生信息包括:姓名、学号、性别和英语、数学、程序设计、体育成绩。 从键盘输入数据,建立数据文件student.dat。 实现对学生或学号查询,显示信息。 对所有学生,按照班级计算平均成绩。 分别按照英语、数学、程序设计和体育成绩排序生成结果文件。 话不多说,上测试结果图 代码如下:
阅读全文
posted @ 2021-12-21 12:07 一条咸得发慌的鱼
阅读(62)
评论(0)
推荐(0)
公告