应用逻辑
Anil Nerode Richard A.ShoreAvez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的许多概念,是一本真正面向计算机科学的逻辑著作。另外,每章最后给出了进一步阅读建议,书末又分主题给出了相当多的参考文献,便于读者深入学习。
本书不要求读者具备逻辑基础知识,适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的许多概念,是一本真正面向计算机科学的逻辑著作。另外,每章最后给出了进一步阅读建议,书末又分主题给出了相当多的参考文献,便于读者深入学习。
本书不要求读者具备逻辑基础知识,适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
Catégories:
Année:
2007
Editeur::
机械工业出版社
Langue:
chinese
Pages:
284
ISBN 10:
7111214048
ISBN 13:
9787111214045
Collection:
计算机科学丛书
Fichier:
PDF, 18.31 MB
Vos balises:
IPFS:
CID , CID Blake2b
chinese, 2007
Lire en ligne
- Télécharger
- pdf 18.31 MB Current page
- Checking other formats...
- Convertir en
- Débloquer la conversion des fichiers de plus de 8 MoPremium
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Le fichier sera envoyé à votre adresse de courriel dans 1 à 5 minutes.
Dans 1-5 minutes, le fichier sera delivré à votre compte Telegram.
Note : Assurez-vous que vous avez lié votre compte au bot Telegram de Z-Library.
Dans 1-5 minutes, le fichier sera delivré à votre appareil Kindle.
Remarque: vous devez valider chaque livre avant de l'envoyer à Kindle. Veuillez vérifier votre messagerie pour voir le mail avec la confirmation par Amazon Kindle Support.
La conversion en est effectuée
La conversion en a échoué
Avantages du statut Premium
- Envoyez aux e-lecteurs
- Limite de téléchargement augmentée
- Convertissez des fichiers
- Plus de résultats de recherche
- Autres avantages