4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题

• Architecture – Client/Server, P2P – DDBMS,MDBS • Design – Strategies – Issues – Fragmentation – Allocation • Conclusion

 6.1 域名系统  6.2 文件传送协议  6.3 万维网  6.4 电子邮件  6.5 动态主机配置协议  6.6 P2P应用

内力计算 以A点左侧部分为对象,A点的内力由下式计算: (其中“P、P均为A点左侧部分的所有外力)

一.在球面x2+y2+z2=1上找点P(x0,y2),满足x>0,y0>0,z0>0, 使得该球面在点P处的切平面与三个坐标平面围成的四面体的体积最小 二.求球面x2+y2+z2=a2(a>0)被平面z=与z=所夹部分的面积

一、选择题(共20p每小题1p)(请直接圈出你的选择,例如:(A) 1、图示电路,求i

1. 了解心理应激性失眠模型复制方法； 2.掌握脑立体定位技术及睡眠时相的记录方法； 3.观察睡眠时相和睡眠结构，分析其意义； 4.观察心理应激性失眠对大鼠海马神经元细胞P物质表达的影响

一、选择题(共20p每小题1p) CBACA BCCBD CABBC CABCA 二、计算题(共5小题,每题8分) 1、解:

南京大学：Decidability、Complexity（P、NP、NPC）、Reduce（P NP NPC）

2.1 principles of network applications 2.2 Web and HTTP 2.3 FTP 2.4 electronic mail ❖ SMTP, POP3, IMAP 2.5 DNS 2.6 P2P applications 2.7 socket programming with UDP and TCP