wnico

摘要： buaa oo unit1 第一单元 总述 本博客为2023年北京航空航天大学面向对象课程第一单元作业的总结，作业要求如下： 简单表达式的化简 包含函数调用与有嵌套的三角函数的表达式化简 包含函数调用与有嵌套的三角函数与偏导数的表达式化简 总之就是越来越变态 架构设计体验 主要架构 使用的架构将表达 阅读全文

摘要： 嵌入式微型机器学习与系统应用 week1 任务 每周/隔周汇报进展 (PPT) final: 确定研究方向与主体开展研究工作 参考 arduino tinyml CS249r 工作周期 研究方向 研究问题 研究方法 方法实现 实验验证、结果分析 抽象、凝练 论文写作 考核 算法、系统报告 课程总结报 阅读全文

摘要： 谓词逻辑公式语义 谓词逻辑语法 谓词逻辑语言 谓词逻辑语言，又称一阶逻辑语言 逻辑符号：包括变元、联结词、量词 非逻辑符号：包括常量、函词、谓词 仅有个体变元 按形成规则构成的合式公式集合 谓词逻辑，也称为狭义谓词逻辑 谓词都是关于个体的性质或关系，而不涉及关系的性质或关系之间的关系 函数是关于个体 阅读全文

摘要： 这是一个测试 \(\LaTeX\) 使用 \(markdown\) 编辑 int tesfile(int c) { return c*10+1; } 阅读全文