系统

1. 首页
2. 系统

公理化集合论机器证明系统

《公理化集合论机器证明系统》,作者:郁文生,孙天宇,付尧顺 著 出版社:科学出版社 ISBN:9787030640390。　　布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义

壹号书单 2019年12月01日 0 点赞 0 评论 10 浏览

微光机电系统

《微光机电系统》,作者:(日)泽田廉士，(日)羽根一博，(日)日暮荣治著；李元燮译 出版社:科学出版社 ISBN:7030133137。本书第一篇介绍微光机电系统在各领域中的应用，即开关、反射镜阵列、显示器等；第二篇介绍微光机电系统中应用的光学原理，即光的反射与折射、干涉、衍射等；第三篇介绍材料、制造、封装等。

壹号书单 2005年01月01日 0 点赞 0 评论 10 浏览

2024年西安邮电大学《824信号与系统》考研全套

贰号书单 2020年06月17日 0 点赞 0 评论 10 浏览

南京信息工程大学《811信号与系统》历年考研真题汇总

贰号书单 2019年09月12日 0 点赞 0 评论 10 浏览

不确定系统的鲁棒控制及其应用

《不确定系统的鲁棒控制及其应用》,作者:杨盐生著 出版社:科学出版社 ISBN:7030143140。本书全面介绍不确定系统的鲁棒控制的理论基础、各种设计方法、主要实现技术、计算机模拟验证技术及其在船舶运动控制设计中的应用等问题。

壹号书单 2004年09月01日 0 点赞 0 评论 10 浏览

长沙理工大学计算机与通信工程学院《832信号与系统（B）》历年考研真题汇总

贰号书单 2021年01月08日 0 点赞 0 评论 10 浏览

期货交易：入场系统

贰号书单 2019年10月21日 0 点赞 0 评论 10 浏览

2024年中国科学院深海科学与工程研究所《859信号与系统》考研全套

贰号书单 2022年07月25日 0 点赞 0 评论 10 浏览

2024年河北工程大学《807信号与系统》考研全套

贰号书单 2022年07月25日 0 点赞 0 评论 10 浏览

北京邮电大学《804信号与系统》历年考研真题汇总（含部分答案）

贰号书单 2020年10月23日 0 点赞 0 评论 10 浏览