程序设计语言很多,各有特点。本课程不试图 介绍某种具体的语言,而是抽象出程序设计语 言的共同特点,力图系统讲述程序设计语言的 语法、语义和编译实现之间的关系,介绍数据 结构、顺序控制、子程序、封装、继承等概念 。 及其实现技术,涉及函数式语言、逻辑式语言 、命令式语言和面向对象的语言。讨论程序设 计语言的一般设计和实现方法。本课程分为12 章

冯·诺伊曼J(1903~1957) 著名数学家.1903年生于匈牙利布达佩斯,1957年2月在华 盛顿因病去世 诺伊曼从小就显示出数学天才,1921年入柏林大学,1923年 入瑞士苏黎世联邦工业大学学习化学,在此期间开始研究数 理逻辑,1926年春在布达佩斯大学获博士学位.之后相继在 柏林大学、汉堡大学和普林斯顿大学任教,1933年成为普林 斯顿高等研究所教授.第二次世界大战期间,曾任研制原子 弹顾问,参加研制计算机

19世纪末产生的实在主义以反对唯心主义为旗号，反对黑格尔 派的思辨唯心主义，承认外部世界和人的认识对象的实在性，积 极利用数学和逻辑学的成就，对英美哲学思想的发展产生了相当 大的影响。本章主要介绍迈农、怀特海等人的实在主义思想观点、 以及美国新实在主义和批判实在主义思想

 关系代数 ◦ 关系运算（选择、投影、连接，除运算）  关系演算 ◦ 以数理逻辑中的谓词演算为基础的。可分为：  元组关系演算语言（get，put等6条语句）  域关系演算语言QBE

一． 多值依赖及第四范式 二． 数据依赖的公理系统  逻辑蕴涵  Armstrong公理系统  函数依赖集的闭包  函数依赖集的等价及最小函数依赖集

本章概述 19世纪末产生的实在主义以反对唯心主义为旗号,反对黑格尔 派的思辨唯心主义,承认外部世界和人的认识对象的实在性,积 极利用数学和逻辑学的成就,对英美哲学思想的发展产生了相当 大的影响。本章主要介绍迈农、怀特海等人的实在主义思想观点 、以及美国新实在主义和批判实在主义思想

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系