- 博客(2)
- 收藏
- 关注
RSS订阅原创 北航计网实验笔记-网络实验入门
实验内容学习 设备配置 1.console口配置 2.console线 网线+com口 超级终端软件配置 1.启动 名称 2.选择串口 3.设置参数 9600秒位数 8数据位 无奇偶校验 1停止位 无数据流控制 4.桌面有 交换机配置 1.用户视图<名称> reset save reboot debugging 2.system-view进入系统视图[名称] interface rip ospf acl进入对应视图 3.例如 interface Ethernet 0/0 进入E0/0的接口视图
2021-03-20 15:42:51
1521
原创 2020年北航高等数理逻辑期末试题
2020年北航高等数理逻辑期末试题 1.前提不成立，则结论成立。列举三个利用该性质的证明 2.证明空集公理、外延公理、子集公理无法推出无穷公理 3.两种方式证明，非零自然数都有前驱（前继） 4.设x+={x}x^+=\{x\}x+={x}，重新构造自然数集ω′\omega^{'}ω′，证明该集合满足Peano公理 5.证明Σ,A⊢C,Σ,B⊢CΣ,A∨B⊢C\frac{\varSigma,A\vdash C,\varSigma,B\vdash C}{\varSigma,A\lor B\vdash C}Σ,A
2021-01-24 13:05:44
619
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人