1、General Information书名=1960.08 数理逻辑与控制论作者=复旦大学数学系页数=277SS号=10526485出版日期=1960年08月第1版前言目录第一篇 自动系统逻辑设计（） 引言 第一章接点电路的逻辑设计 1接点电路的代数 2命题演算 3接点电路的分析 4接点电路的化简 5命题演算在电路综合中的应用 第二章继电器电路逻辑设计 1继电器电路代数 2多步电路的综合 3继电器电路综合实例继电器式计数器电路 4继电器电路的分析第二篇 自动系统逻辑设计（） 引言 第一章电子数字计算机概论 1电子数字计算机的作用 2一般介绍 3电子数字计算机的设备 4运算器 5存储器 6输入和
2、输出 7M-3与简介 第二章 神经网络 1基本概念 2确定事件的表示 第三章网络理论 1基本概念 2良态网络 3确定网络 4合式网络 5合式网络和数字计算机线路 第四章概率逻辑 1问题的提出，概率逻辑的主要对象 2关于单线输出自动机的误差控制 3多端网络 4多端网络中的误差分析第三篇 算法描述 引言 第一章算子图示 1基本概念 2算子和算子图示 3算子图示的等价性问题 第二章 编制程序的程序描述控制过程的例子 1算子分类 2机器上编制程序的程序的信息和编码 3算术算子的程序设计 第三章机器翻译和数理语言 1机器翻译 2数理语言第四篇 能行性问题 引言 1判定问题介绍 2算法概念的特征 第一章正规算法 1正规算法概念 2正规算法的例子 3正规化原则 4正规算法的构成 第二章递归函数论和图灵机器 1原始递归函数 2谓词与原始递归谓词 3几种与原始递归式稍有不同的递归式 4原始递归式的化简 5非原始递归函数之一例 6一般递归函数 7递归函数在程序设计中的应用 8图灵机器参考文献
