博弈理论及其经济应用研究的历史 非合作博弈的产生: 博弈论始于1944年,它是以冯·诺伊曼(Von Neumann)和摩根斯坦恩(Oskar Morgenstern)合 作的《博弈论与经济行为》一书的出版为标志。 到20世纪50年代,合作博弈发展到鼎盛期,非合 作博弈也开始产生。纳什(Nash.J.)的《N人博 弈的均衡点》(1950),《非合作博弈》(1951)明 确提出了纳什均衡(Nash Equilibrium),图克 (Tucker)则定义了囚徒困境(Prisoners' Dilemma, 1950)。两人的著作奠定现代非合作博弈论的基石

第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理

一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

1. Peano系统 2.后继,归纳集,自然数,自然数集 3.数学归纳法原理 4.传递集 5.自然数的运算 6.自然数上的序关系

一、信号的描述 二、信号的特点(模拟 三、信号的能量、大小及功率 四、典型信号的数学描述

6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一