5.1 利用网络检索科研信息 5.1.1 国外网络数据库的检索 5.1.2 国内网络数据库的检索 5.1.3 网上电子期刊 5.1.4 网上专利文献检索 5.1.5 数字图书馆 5.1.6 利用搜索引擎

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

由CAD部分在计算机上进行图形设计（三维电子模型），然后在CAM环节编制刀具路径（NCI），通过后处理转换成NC程序（G代码指令），传送至数控机床立即可以加工（DNC）

载波同步的方法一般分为两类： 一类是插入导频法，即在发送调制信号时插入载波分量， 使调制信号本身带有载波分量，接收端直接用窄带滤波和锁 相环捕获跟踪来提取载波。 另一类是自同步法或直接法。在抑制载波的调制中，用 非线性处理提取载波。 这一节主要讨论自同步法

4.2气体热力学 4.3稀溶液中两个重要的定律 4.4理想液体混合物各组分化学势及通性 4.5实际液体混合物各组分化学势 4.6稀溶液各组分化学势 4.7实际溶液各组分化学势 4.8稀溶液的依数性

Legendre多项式是首先在势论的研究中引进的.设在距原点r处放有一个单位点电荷,取点电荷所在点的位置为2轴方向,这时点电荷在,0,点的电势(显然与中无关)即为

目前大多数使用D、小K触发器,在需要使用其它类型触发器时,可以 通过逻辑功能转换的方法,把D、JK触发器转换为需要的触发器

对于任何一个逻辑函数的功能描述都可以作出真值表，根据真值表可以写出该函数的最小项之和及最大项之积的形式

一、ROM分类： 1、固定ROM(掩膜ROM): 用户专用ROM,用户将程序代码交给IC生产商，生产商在芯片制造过程中将用户程序代码固化在IC的ROM中，用户在使用过程只能读出不能写入

ROM与阵列是固定的,是不可编程的,叫做完全译码器, 如果有n位地址输入,与阵列就必须存储2个最小项。或阵列 根据需要是可编程的