📄 1_08_26.htm
字号:
<html>
<head>
<title>教材简介</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link rel="stylesheet" href="../css/text.css" type="text/css">
</head>
<body bgcolor="#FFFFFF" text="#000000" leftmargin="0" topmargin="0">
<table width="100%" border="0" cellspacing="0" cellpadding="0" align="center" background="../images/bg2.gif">
<tr>
<td><img src="../images/top2.jpg" width="777" height="50"></td>
</tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0" align="center" height="100%">
<tr>
<td width="5%" bgcolor="#dddddd"> </td>
<td width="85%" valign="top"> <br>
<br>
<table width="80%" border="1" bordercolorlight="#ffffff" bordercolordark="#aaaaaa" cellspacing="0" cellpadding="15" align="center">
<tr bgcolor="#E0E1ED">
<td width="39%" height="238">
<div align="center"><img src="../cover/1_08_26.jpg" height="200" border="1"></div>
</td>
<td width="61%" height="238">
<table width="90%" border="0" cellspacing="0" cellpadding="5" align="center">
<tr>
<td class="blue9b"> 数理逻辑与集合论(第二版)</td>
</tr>
<tr>
<td class="black9" height="146">作者：石纯一 等<br>
书号：ISBN 7-302-04042-7/TP·2381<br>
字数：352千字 <br>
开本：16开 <br>
定价：18.00元<br>
版次：2000年12月第2版2000年12月第1次印刷
<p></p>
<p></p>
</td>
</tr>
</table>
</td>
</tr>
<tr bgcolor="#E0E1ED">
<td colspan="2" class="black9">内容简介：<br>
离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。<br>
清华大学计算机系把离散数学安排为"数理逻辑与集合论"和"代数结构与图论"两门课程，分两个学期讲授，各占50学时。本书是编著者在讲授"数理逻辑与集合论"时所编写的讲义基础上完成的。<br>
《数理逻辑与集合论》一书的第1版发行至今已有十多年了，在教学过程中已感到数理逻辑部分内容浅了些，需增加深层知识，这是本书再版的原因。为此我们在原书的基础上增加了模型论和证明论两部分，理解这部分内容不甚容易，不求立即直接会用，而是做为基础知识的储备。<br>
本书是离散数学的主要组成部分，是计算机科学的数学基础。全书共12章。前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。<br>
本书可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。
<p></p>
</td>
</tr>
</table>
<br>
<br>
</td>
<td width="5%" bgcolor="#dddddd"> </td>
</tr>
</table>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -