Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想,应用和谐性质方法,建立了无穷逻辑中的二阶语言Lω1ω（Q）公理系统及模型论,对Lω1ω（Q）中的同构定理及Craig插值定理给予了证明

一.图论与网络介绍 二.网络最大流问题

第一节财政支出增长的宏观经济模型 一、政府活动扩张论 二、梯度渐进增长论

清华大学出版社：《运筹学》课程教学资源（PPT课件讲稿，教材第三版）第13章 存储论 第1节 存储论的基本概念、第2节 确定性存贮模型

8.1 引言 8.2 路与回路 8.3 欧拉图 8.4 哈密顿图 8.5 最短路 8.6 图论模型和证明

一、介绍博弈论 （一）概念，什么是博弈论 1．概念：博弈论Ｇａｍｅ Ｔｈｅｏｒｙ，又称对策论，是使用严谨的数学模型研究冲突对抗条件下最优决策问题的理论，是研究竞争的逻辑和规律的数学分支。简单地说，博弈论是研究决策主体在给定信息结构下如何决策以最大化自己的效用，以及不同决策主体之间决策的均衡

北京化工大学：《数学建模》课程教学资源（课件讲稿）第五章 图论模型 第三节 红绿灯的调节

北京化工大学：《数学建模》课程教学资源（课件讲稿）第五章 图论模型 第二节 循环比赛的名次

北京化工大学：《数学建模》课程教学资源（课件讲稿）第五章 图论模型 第一节 消防设施与监狱看守