三年疫情都没有笔试,今年恢复,大概率会有笔试。
2023年3月19号,广州那边计算机学院发布的复试通知好像没有笔试,准备了这么久,有点可惜了,部分没有整理完。因为是跨考的,其实还有有笔试比较友好,不然的话笔试的100分就会换成综合评价,但是我也没有什么获奖经历,所以怕综合评价的分数会比较低。这里吧目前整理的先发出来。
收集到之前中大学长学姐的复试离散数学题目回忆版,以及自己补充一些类似的例题,作为复试复习的笔记吧。
题目大都在王道论坛搜集,基本都是5道大题,证明比较多。
每个年份下面对应的题目就是该年的考试题目。
第二题应该是关于谓词逻辑命题符号化,这里举一些例子:
个体词
个体常项或个体常元:使用 x, y, z 表示
个体变项或个体变元:使用 a, b, c 表示
个体域或论域:个体变元的取值
全总个体域:宇宙件一切事物
谓词
概念:表示个体性质或彼此之间关系的词
举例说明:A(x) 可表示 x 是学生,B(x,y) 可表示 x 大于 y
量词
全称量词 ∀:∀x 表示个体域中所有 x
存在量词 ∃:∃x 表示个体域中存在 x
例题:
在个体域分别限制为 (a) 和 (b) 条件时,将下面命题符号化:
命题:
(1) 对任意的 x,都有 x2-5x+6=(x-2)(x-3)。
(2) 存在 x,使得 x+1=0。
条件:
(a) 个体域 D1 为自然数集合。
(b) 个体域 D2 为实数集合。
解:令 F(x):x2-5x+6=(x-2)(x-3),G(x):x+1=0
对于条件(a),个体域 D1 符号化后可得
(1) ∀xF(x),真命题。
(2) ∀xG(x),假命题,自然数大于等于 0。
对于条件(b),个体域 D2 符号化后可得
(1) ∀xF(x),真命题。
(2) ∀xG(x),真命题。
命题符号化
基本公式:
F(x):x 具有性质 F
G(x):x 具有性质 G
(1)在个体域中有性质 F 的个体都有性质 G
命题符号化:∀x(F(x)→G(x))
(2)在个体域中存在性质 F 和性质 G 的个体
命题符号化:∃x(F(x)∧G(x))
命题符号化步骤
(1)确定个体域范围(人类集合、全总个体域…)
(2)确定谓词(G(x):x 是素数、F(x):x 天生近视…)
(3)得出命题符号化结果
例题:
并不是所有的兔子都比乌龟跑得快。
解:
(1) 个体域为全总个体域
(2)F(x):x 是兔子,G(y):y 是乌龟,H(x,y):x 比 y 跑得快
(3)¬∀x(F(x)∧∀y(G(y)→H(x,y)))
(1)设f(a)=f(b),R自反,故(a,a)∈R,a∈f(a),故a∈f(b),(a,b)∈R,同理,R自反,故(b,b)∈R,b∈f(b),故b∈f(a),(b,a)∈R, R反对称,得a=b,故f为单射.
(2)对任意x∈f(a),则(x,b)∈R,又(a,b)∈R,由R有传递性(x,b)∈R,故x∈f(b),f(a)包含于f(b)
第二题大概就是选取设定不同的谓词,有时为真,有时为假,故为非永真式的可满足式。
第三题,简单来说就是把-A
替换成∩~A
,下面的A写成A了,没注意,抱歉:
文章浏览阅读1.6k次。安装配置gi、安装数据库软件、dbca建库见下:http://blog.csdn.net/kadwf123/article/details/784299611、检查集群节点及状态:[root@rac2 ~]# olsnodes -srac1 Activerac2 Activerac3 Activerac4 Active[root@rac2 ~]_12c查看crs状态
文章浏览阅读1.3w次,点赞45次,收藏99次。我个人用的是anaconda3的一个python集成环境,自带jupyter notebook,但在我打开jupyter notebook界面后,却找不到对应的虚拟环境,原来是jupyter notebook只是通用于下载anaconda时自带的环境,其他环境要想使用必须手动下载一些库:1.首先进入到自己创建的虚拟环境(pytorch是虚拟环境的名字)activate pytorch2.在该环境下下载这个库conda install ipykernelconda install nb__jupyter没有pytorch环境
文章浏览阅读5.2k次,点赞19次,收藏28次。选择scoop纯属意外,也是无奈,因为电脑用户被锁了管理员权限,所有exe安装程序都无法安装,只可以用绿色软件,最后被我发现scoop,省去了到处下载XXX绿色版的烦恼,当然scoop里需要管理员权限的软件也跟我无缘了(譬如everything)。推荐添加dorado这个bucket镜像,里面很多中文软件,但是部分国外的软件下载地址在github,可能无法下载。以上两个是官方bucket的国内镜像,所有软件建议优先从这里下载。上面可以看到很多bucket以及软件数。如果官网登陆不了可以试一下以下方式。_scoop-cn
文章浏览阅读4.5k次,点赞2次,收藏3次。首先要有一个color-picker组件 <el-color-picker v-model="headcolor"></el-color-picker>在data里面data() { return {headcolor: ’ #278add ’ //这里可以选择一个默认的颜色} }然后在你想要改变颜色的地方用v-bind绑定就好了,例如:这里的:sty..._vue el-color-picker
文章浏览阅读640次。基于芯片日益增长的问题,所以内核开发者们引入了新的方法,就是在内核中只保留函数,而数据则不包含,由用户(应用程序员)自己把数据按照规定的格式编写,并放在约定的地方,为了不占用过多的内存,还要求数据以根精简的方式编写。boot启动时,传参给内核,告诉内核设备树文件和kernel的位置,内核启动时根据地址去找到设备树文件,再利用专用的编译器去反编译dtb文件,将dtb还原成数据结构,以供驱动的函数去调用。firmware是三星的一个固件的设备信息,因为找不到固件,所以内核启动不成功。_exynos 4412 刷机
文章浏览阅读2w次,点赞24次,收藏42次。Linux系统配置jdkLinux学习教程,Linux入门教程(超详细)_linux配置jdk
文章浏览阅读3.3k次,点赞5次,收藏19次。xlabel('\delta');ylabel('AUC');具体符号的对照表参照下图:_matlab微米怎么输入
文章浏览阅读119次。顺序读写指的是按照文件中数据的顺序进行读取或写入。对于文本文件,可以使用fgets、fputs、fscanf、fprintf等函数进行顺序读写。在C语言中,对文件的操作通常涉及文件的打开、读写以及关闭。文件的打开使用fopen函数,而关闭则使用fclose函数。在C语言中,可以使用fread和fwrite函数进行二进制读写。 Biaoge 于2024-03-09 23:51发布 阅读量:7 ️文章类型:【 C语言程序设计 】在C语言中,用于打开文件的函数是____,用于关闭文件的函数是____。
文章浏览阅读3.4k次,点赞2次,收藏13次。跟随鼠标移动的粒子以grid(SOP)为partical(SOP)的资源模板,调整后连接【Geo组合+point spirit(MAT)】,在连接【feedback组合】适当调整。影响粒子动态的节点【metaball(SOP)+force(SOP)】添加mouse in(CHOP)鼠标位置到metaball的坐标,实现鼠标影响。..._touchdesigner怎么让一个模型跟着鼠标移动
文章浏览阅读178次。项目运行环境配置:Jdk1.8 + Tomcat7.0 + Mysql + HBuilderX(Webstorm也行)+ Eclispe(IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持)。项目技术:Springboot + mybatis + Maven +mysql5.7或8.0+html+css+js等等组成,B/S模式 + Maven管理等等。环境需要1.运行环境:最好是java jdk 1.8,我们在这个平台上运行的。其他版本理论上也可以。_基于java技术的停车场管理系统实现与设计
文章浏览阅读3.5k次。前言对于MediaPlayer播放器的源码分析内容相对来说比较多,会从Java-&amp;gt;Jni-&amp;gt;C/C++慢慢分析,后面会慢慢更新。另外,博客只作为自己学习记录的一种方式,对于其他的不过多的评论。MediaPlayerDemopublic class MainActivity extends AppCompatActivity implements SurfaceHolder.Cal..._android多媒体播放源码分析 时序图
文章浏览阅读2.4k次,点赞41次,收藏13次。java 数据结构与算法 ——快速排序法_快速排序法