文章
301
标签
57
分类
41
首页
文章
归档
标签
分类
更多
留言板
网址收藏
友情链接
关于
NX の 博客
『离散数学』数理逻辑:谓词逻辑
返回首页
首页
文章
归档
标签
分类
更多
留言板
网址收藏
友情链接
关于
『离散数学』数理逻辑:谓词逻辑
发表于
2022-05-23
|
更新于
2023-08-15
|
基础课复习
离散数学
|
总字数:
0
|
阅读时长:
1分钟
上一篇
『离散数学』数理逻辑:命题逻辑推理理论
下一篇
『字节青训营-3rd』L11:Git 的正确使用姿势与最佳实践
Git 是什么 版本控制 版本控制是什么? 一种记录一个或若干文件内容变化,以便将来查阅特定版本修订情况的系统 本地版本控制 代表:RCS 依托于本地磁盘进行版本控制 集中式版本控制 代表:SVN 存在一个统一的远端服务器,用于版本控制,本地不存储版本控制 分布式版本控制 代表:Git 每个库都拥有所有的版本控制信息,远端服务器用于不同库之间进行版本信息同步 Git 发展历史 最初版由 Liunx 创始人 Linus Torvalds 花两周时间开发而成,主要是为了用于 Linux 项目的维护 Git 基本使用方式 Git 目录介绍 项目初始化 123mkdir democd demogit init 其他参数 --initial-branch 初始化的分支 --bare 创建裸仓库(纯 Git 目录,没用工作目录) --template 通过模板构建自定义 git 目录 观察 .git 目录 HEAD:当前的分支 config:配置 objects:文件信息 refs:分支信息 hooks 里面的一堆 .sample 文件是例子,不会执行 工作区和暂存区 Git Config 不同级别的 Git 配置:全局、系统、当前 低级别可以覆盖高级别 常见的 Git 配置 用户名配置 12git config --global user.name "xxx"git config --global user.email xxx@xxx.com Instead of 配置 相当于替换 1git c...
评论
Giscus
Twikoo
Nick Xu
这家伙真勤奋,什么都留下了
文章
301
标签
57
分类
41
Follow Me
公告
因为本人最近工作和学习都很忙,所以博客更新会比较慢,敬请谅解!
最新文章
2026 我想写点什么
2026-01-17
编程十年:那些人,那些事,那些瞬间
2025-10-29
腾讯六月:未曾拥有过的美好时光😘
2024-12-07
做原汁原味的自己
2024-10-16
『七个月的挣扎之路』支线合集
2024-07-15
繁
繁