☆☆☆☆☆
简体网页||繁体网页



点击这里下载

类似图书 点击查看全场最低价

---

内容简介

　　《现代数学基础丛书·典藏版83：数理逻辑引论与归结原理（第二版）》在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的理论等4部分，同时，在第一版的基础上对“计量逻辑学”，关于一阶系统K&完备性的证明等诸多内容做了补充或改写。
　　《现代数学基础丛书·典藏版83：数理逻辑引论与归结原理（第二版）》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

内页插图

目录

前言/序言

　　对于数学研究与培养青年数学人才而言，书籍与期刊起着特殊重要的作用。许多成就的数学家在青年时代都曾钻研或参考过一些优秀书籍，从中汲取营养，获得教益。
　　20世纪70年代后期，我国的数学研究与数学书刊的出版由于文化大革命的浩劫已经破坏与中断了10余年，而在这期间国际上数学研究却在迅猛地发展着。1978年以后，我国青年学子重新获得了学习、钻研与深造的机会。当时他们的参考书籍大多还是50年代甚至更早期的著述，据此，科学出版社陆续推出了多套数学丛书，其中《纯粹数学与应用数学专著》丛书与《现代数学基础丛书》更为突出，前者出版约40卷，后者则逾80卷。它们质量甚高，影响颇大，对我国数学研究、交流与人才培养发挥了显著效用。
　　《现代数学基础丛书》的宗旨是面向大学数学专业的高年级学生、研究生以及青年学者，针对一些重要的数学领域与研究方向，作较系统的介绍，既注意该领域的基础知识，又反映其新发展，力求深入浅出，简明扼要，注重创新。
　　近年来，数学在各门科学、高新技术、经济、管理等方面取得了更加广泛与深入的应用，还形成了一些交叉学科。我们希望这套丛书的内容由基础数学拓展到应用数学、计算数学以及数学交叉学科的各个领域。
现代数学基础丛书·典藏版83：数理逻辑引论与归结原理（第二版） 电子书 下载 mobi epub pdf txt

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价