稀土掘金 稀土掘金
    • 首页
    • AI Coding NEW
    • 沸点
    • 课程
    • 直播
    • 活动
    • AI刷题
      • APP
      插件
      • 搜索历史 清空
        • 写文章
        • 发沸点
        • 写笔记
        • 写代码
        • 草稿箱
        创作灵感 查看更多
    • vip
      会员
用户750023039347的个人资料头像

用户750023039347

掘友等级
掘友3级：新星掘友
获得徽章 0
动态
文章
专栏
沸点
收藏集
关注
作品
赞
1
文章 1 沸点 0
赞
1
返回
|
搜索文章
关注
关注的用户 关注的团队 关注者 订阅的专栏 关注标签
系统分析与验证
系统分析与验证
在跟华师大郭建老师学习该门课程时，积累的各种笔记，方便自己复习，也希望方便大家学习
文章数 8 · 订阅人数 1 · print_Hyon
面向计算机的数理逻辑
面向计算机的数理逻辑
本专栏主记录了在学习陈仪香教授的《软件工程形式化基础课》时，对课上知识点的整理和解释，主要内容以和计算机有关的数理逻辑为主，希望能给求学路上的你一丝帮助。
文章数 11 · 订阅人数 1 · print_Hyon
新建专栏
欢迎大家使用稀土掘金专栏，让你的写作更加体系化～
0/50
0/150
点击上传图片
建议尺寸：480*270px
关注了
4
关注者
0
收藏集
4
关注标签
0
加入于
2025-03-01