附电子科技大学计算机学院

若一个命题已不能分解成更简单的命题, 则这个命题叫原 子命题或本原命题。 例 1 中(a) , (b) , (d) , (e)都是本原命题, 但(c) 不是, 因为它可写成“2 是偶数”和“3 是奇数”两个命题。 命题和本原命题常用大写字母P , Q , R表示。 如用P表示 “4 是质数”, 则记为 ; P: 4 是质数。 表示命题的符号称为命题标识符。一个命题标识符如果表示确 定的命题，就称为命题常元；如果表示任意命题，就称为命题 变元。命题变元不是命题。可以对命题变元进行指派。
4
……
西安电子科技大学计算机学院 毛立强
lqmao@
课程信息
离散数学是现代数学的一个分支，以离散对象的结 构和相互关系为研究对象。 主要包括数理逻辑、集合论、代数结构和图论四部 分 通过学习本课程，掌握基本的离散信息的组织和管 理方法，了解计算机科学的部分理论基础。 强调逻辑性、抽象性，注重概念、方法与应用。
西安电子科技大学计算机学院 毛立强
14
lqmao@
在代数式x+3 中, x , 3 叫运算对象, +叫运算符, x+3 表示运算结果。在命题演算中, 也用同样术语。联 结词就是命题演算中的运算符, 叫逻辑运算符或叫逻 辑联结词（logic connective） 。常用的有以下 5 个：否定、合取、析取、条件、双条件
22
lqmao@
3. 析取∨ 如果P和Q是命题，那么“P或Q”是一个复合命题，记做P∨Q， 称为P和Q的析取（disjunction）。当且仅当P、Q至少有一个为T 时，P∨Q为T，否则，P∨Q为F。
P 0 0 1 1 Q 0 1 0 1
23
P∨Q 0 1 1 1 西安电子科技大学计算机学院 毛立强

电子科技大学计算机学院导师及其科研能力介绍为方便大家报考我们学校,了解各位导师的学术和科研能力,科大考研网www.**将提供给大家详细的信息。

陈雷霆,1966年7月出生,男,现任电子科技大学计算机学院副教授、副院长,主管学院的科研、产业和外事工作,在职博士研究生;现为中国软件行业协会理事,四川省计算机学会理事。

主要研究方向:(1)信息安全;(2)网络多媒体与虚拟现实。

主要科研项目:国家“863-317-403”项目—综合业务多媒体通讯终端与系统;“八五”军事预研项目激光成像雷达系统;多媒体安全监控系统;“九五”军事预研项目激光防撞雷达系统;总装备部项目军用移动图象采集压缩传输系统;航空科技信息集成处理系统;模拟实战射击训练系统;国家“十五”863信息安全项目等。

开设研究生课程:多媒体技术及应用、计算机图形学、软件认证;本科生课程:多媒体技术、数字逻辑。

--------------------------------------------------------------------------------李毅超,男,1969年6月,硕士,副教授。

1997年4月毕业于电子科技大学,获计算机应用硕士学位。

现任网络安全基础实验室主任,计算机网络与通信研究室主任,计算机网络与安全技术研究所副所长,兼成都市软件行业协会副秘书长。

研究方向为计算机网络与通信、网络信息安全、嵌入式应用。

参加或主持"恩威网络MIS系统“、“420驻厂军代室光纤网络MIS系统”、“路由器开发”、信产部基金项目“IP电话网关”,成都华易“美视数字录像监控系统”、西部网信“软交换关守和IP电话多功能终端研发”等近10个科研项目,获得四川省科技三等奖1项,省部级科技成果鉴定5项,国家版权局软件著作权2项。

出版《计算机网络》教材1本在国内外重要刊物和国际会议上发表论文十余篇。

为本科和硕士生开设了若干课程。

获得Microsoft、Novell、SCO、Cisco、Compaq等各大公司认证证书和授权讲师资格。

西安电子科技大学网络与继续教育学院《计算机应用基础(一)》考试试题及答案(同名27318)西安电子科技大学网络与继续教育学院2012学年下学期《计算机应用基础（一）》期末考试试题一、填空题（每题4分，共40分，请将答案写在试卷后的答题纸上）1、按计算机性能高低和规模大小分类，把计算机分为（巨型计算机）、（大型计算机）、小型计算机、（工作站）和个人计算机等几种类型。

2、计算机的软件一般分为（系统软件）和（应用软件）两种。

3、中央处理器简称CPU，它是计算机系统的核心。

中央处理器由（控制器）、（运算器）、内部寄存器组和（储存器）等部分组成。

4、某因特网用户的电子邮件地址为llanxi@yawen．kasi．com，这表明该用户在其邮件服务器上的(邮箱)账户名是（llanxi ）。

5、计算机网络是由负责信息处理并向全网提供可用资源的资源子网和负责信息传输的（通信）子网组成。

6、提供网络通讯和网络资源共享功能的操作系统称为（服务器）。

7、“国家顶层域名”代码中，中国的代码是（cn ）。

8、在计算机网络中，通信双方必须共同遵守的规则或约定，称为（TCP/IP协议）。

9、在因特网（Internet）中，电子公告板的缩写是（BBS ）。

10、PowerPoint中，开始幻灯片播放按动的按键是（F5 ）。

二、单项选择题(每题1分，共60分，请将答案写在试卷后的答题纸上)1、计算机硬件五大构件包括运算器、存储器、输入设备、输出设备和_ B_。

A．显示器B．控制器C．硬盘存储器D．鼠标器2、不同的芯片有不同的字长，奔腾IV芯片的字长是__C__。

A．8位B．16位C．32位D．64位3、计算机的通用性使其可求解不同的算术和逻辑运算，取决于它的_B__。

A．高速运算B．指令系统C．可编程序D．存储功能4、能够将高级语言源程序加工为目标程序的系统软件是__C___。

A．解释程序B．汇编程序C．编译程序D．编辑程序5、计算机存储器中，组成一个字节的二进制位数是_B___。

电子科技大学计算机学院导师及其科研能力介绍为方便大家报考我们学校,了解各位导师的学术和科研能力,科大考研网www.**将提供给大家详细的信息。

陈雷霆,1966年7月出生,男,现任电子科技大学计算机学院副教授、副院长,主管学院的科研、产业和外事工作,在职博士研究生;现为中国软件行业协会理事,四川省计算机学会理事。

主要研究方向:(1)信息安全;(2)网络多媒体与虚拟现实。

主要科研项目:国家“863-317-403”项目—综合业务多媒体通讯终端与系统;“八五”军事预研项目激光成像雷达系统;多媒体安全监控系统;“九五”军事预研项目激光防撞雷达系统;总装备部项目军用移动图象采集压缩传输系统;航空科技信息集成处理系统;模拟实战射击训练系统;国家“十五”863信息安全项目等。

开设研究生课程:多媒体技术及应用、计算机图形学、软件认证;本科生课程:多媒体技术、数字逻辑。

--------------------------------------------------------------------------------李毅超,男,1969年6月,硕士,副教授。

1997年4月毕业于电子科技大学,获计算机应用硕士学位。

现任网络安全基础实验室主任,计算机网络与通信研究室主任,计算机网络与安全技术研究所副所长,兼成都市软件行业协会副秘书长。

研究方向为计算机网络与通信、网络信息安全、嵌入式应用。

参加或主持"恩威网络MIS系统“、“420驻厂军代室光纤网络MIS系统”、“路由器开发”、信产部基金项目“IP电话网关”,成都华易“美视数字录像监控系统”、西部网信“软交换关守和IP电话多功能终端研发”等近10个科研项目,获得四川省科技三等奖1项,省部级科技成果鉴定5项,国家版权局软件著作权2项。

出版《计算机网络》教材1本在国内外重要刊物和国际会议上发表论文十余篇。

为本科和硕士生开设了若干课程。

获得Microsoft、Novell、SCO、Cisco、Compaq等各大公司认证证书和授权讲师资格。