数理逻辑在计算机中的应用,数理逻辑在实际中的应用

内容介绍

原文档由会员 即刻启程 发布

数理逻辑在实际中的应用

目录

第一章 数理逻辑在问路问题中的应用 …………………………………………1

1.1 预备知识…………………………………………………………………………………1

1.1.1 问路问题………………………………………………………………………………1

1.1.2 列表法…………………………………………………………………………………1

1.2 具体应用…………………………………………………………………………………1

第二章 数理逻辑在排队论中的应用 ……………………………………………3

2.1 预备知识…………………………………………………………………………………3

2.1.1 排队论…………………………………………………………………………………3

2.1.2 范式……………………………………………………………………………………3

2.2 具体应用…………………………………………………………………………………3

第三章 数理逻辑在计算机科学中的应用 ………………………………………5

3.1 为计算机的可计算性研究提供依据……………………………………………………5

3.2 为计算机硬件系统的设计提供依据……………………………………………………5

3.3 为计算机程序设计语言提供主要思想…………………………………………………6

第四章 数理逻辑思想在英语语法教学中的应用 ………………………………8

第五章 数理逻辑在数学证明中的应用…………………………………………11

5.1 一些常用的证明方法、证明技巧 ……………………………………………………11

5.2 弄清逻辑命题之间的关系 ……………………………………………………………12

第六章 数理逻辑在案件审理