- 博客(5)
- 资源 (4)
- 收藏
- 关注
原创 离散数学复习--谓词逻辑
1. 再次提醒各位注意先存在后任意,存在不能用变元替换2.涉及双量词问题,一定要联系空间想象(坐标系)3.等值式判断想一致性(任意–且,存在–或)区分跳跃项和连续项,或只要连续项为1总体为1;且只有总体为1才能保证连续项为1易错点–每步转换务必把否定提到量词里面判断此题选ABD...
2020-03-28 19:54:02 1578
原创 America:The story of us episode2
New Wordsprostitute['prɑstətut]IELTSn. 妓女 来自pro-,向前,-stit,站立,词源同stand,institute.字面意思即站在前面,引申词义买卖,供挑选等。Oral languageNews leaks out,...
2020-03-27 13:19:03 212
原创 服务器配置
显示所有可用于tensorflow的设备from tensorflow.python.client import device_libprint(device_lib.list_local_devices())Sample output[名称:“ / cpu:0” device_type:“ CPU” memory_limit:268435456位置{}化身:440227751934...
2020-03-26 22:19:43 165
原创 CS162 Lecture1 --Operating System Overview
BIOS:Basic Input Output SystemIP=PC(program counter)CS:IP code segment : instruction pointer..s source code files written in assembly
2020-03-21 20:12:10 528
武汉理工大学-MATLAB课设报告.docx
2020-06-22
基于改进逆透视变换的智能车测距技术.docx
2020-04-17
2019第十四届智能车竞赛创意组步步为营下棋策略部分.zip
2020-04-17
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人