Handbook of Logic in Computer Science. Volume 1： Background： Mathematical Structures（Samson Abramsky， Dov M Gabbay， Thomas S E Maibaum (eds.)）（Oxford University Press 1993）
内容简介：
书名：Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
出版社：Oxford University Press
作者：Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
出版年份：1993
电子书格式： pdf
简介：《Handbook of Logic in Computer Science, Volume 1》是计算机科学逻辑领域的权威参考书，由Samson Abramsky、Dov M. Gabbay和Thomas S. E. Maibaum编辑。该卷着重介绍数学结构背景，深入探讨了逻辑在计算机科学中的应用和理论基础。书中涵盖了逻辑推理、形式化方法、数学基础等多个方面，为读者提供了丰富的知识体系和研究工具。适合计算机科学、数学、逻辑学相关专业的学生、研究人员及专业人士阅读，帮助他们深入理解逻辑在计算机科学中的核心地位。
ISBN：9780198537359, 01985
出版社：Oxford University Press
作者：Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
出版年份：1993
电子书格式： pdf
简介：《Handbook of Logic in Computer Science, Volume 1》是计算机科学逻辑领域的权威参考书，由Samson Abramsky、Dov M. Gabbay和Thomas S. E. Maibaum编辑。该卷着重介绍数学结构背景，深入探讨了逻辑在计算机科学中的应用和理论基础。书中涵盖了逻辑推理、形式化方法、数学基础等多个方面，为读者提供了丰富的知识体系和研究工具。适合计算机科学、数学、逻辑学相关专业的学生、研究人员及专业人士阅读，帮助他们深入理解逻辑在计算机科学中的核心地位。
ISBN：9780198537359, 01985
下载地址：
猜你喜欢：
![COMPUTER PROGRAMMING FOR BEGINNERS： 4 Books in 1. LINUX COMMAND-LINE + PYTHON Programming + NETWORKING + HACKING with KALI LINUX. Cybersecurity， Wireless， LTE， Networks， and Penetration Testing（Mach， Dylan [Mach， Dylan]）（2020）](https://yanxuan.nosdn.127.net/f77dc169c75cb3b884a0914bb28fbd6e.jpg)
![谷歌方法（[美]比尔·基尔迪 [[美]比尔·基尔迪]）（中信出版集团 2019）](https://yanxuan.nosdn.127.net/ce69257448b598ab4095015c88c93fe1.jpg)
