|
|
|
|
|
|
|
|
数理逻辑(英文版·第2版) 内容提要 |
《数理逻辑(英文版·第2版)》是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。《数理逻辑(英文版·第2版)》特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选《数理逻辑(英文版·第2版)》的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。《数理逻辑(英文版·第2版)》适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。 |
|
|
数理逻辑(英文版·第2版) 目录 |
Contents
CHAPTER ZERO Useful Facts about Sets 1
CHAPTER ONE Sentential Logic 11
1.0 Informal Remarks on Formal Languages 11
1.1 The Language of Sentential Logic 13
1.2 Truth Assignments 20
1.3 A Parsing Algorithm 29
1.4 Induction and Recursion 34
1.5 Sentential Connectives 45
1.6 Switching Circuits 54
1.7 Compactness and Effectiveness 59
CHAPTER TWO First-Order Logic 67
2.0 Preliminary Remarks 67
2. l First-Order Languages 69
2.2 Truth an |
| → 目录全文 |
|
|
调换货原则 |
|
|
|
|
查看评论 |
|
|
|
发布评论 |
|
|
|
|
| |
|
|
|
|
