书籍：Mathematical Foundations of Information Sciences
作者：Esfandiar Haghverdi，Liugen Zhu
出版：World Scientific Publishing Company
编辑：陈萍萍的公主@一点人工一点智能
01 书籍介绍
这是一本简明扼要的书籍，旨在引导学生进入逻辑思维的基本原理和重要的数学结构的世界。这些知识对于深入理解逻辑形式主义本身以及为探索基于此类逻辑原则的其他领域打下必要的背景至关重要。尽管篇幅精炼且紧凑，书中包含了许多已解决的问题和每章节后的练习题，有助于读者巩固对材料的理解。
本书是所有对信息学、计算机科学、数据科学、人工智能以及其他相关领域中的逻辑基础感兴趣的读者的必读之选。它特别适合本科阶段的学生，能够很好地满足那些希望掌握构建这些领域的逻辑原则的求知欲强的读者的需求。阅读此书无需具备超出高中所学的数学技能。
适用对象：信息学、信息科学、计算机科学、数据科学、人工智能、认知科学等专业的本科生。
02 作者简介
Esfandiar Haghverdi是美国印第安纳大学布卢明顿分校Luddy信息、计算与工程学院的计算机科学教授及数学兼职教授。他的研究兴趣包括范畴论、数理逻辑及其在计算机科学中的应用。Esfandiar Haghverdi于2000年获得加拿大渥太华大学科学学院最佳博士学位的总督金奖。
Esfandiar教授讲授了从证明理论到模型理论，再到信息理论和金融数学等多种课程。他的主要教学兴趣在于逻辑、离散数学以及密码学的数学基础。他曾两次获得印第安纳大学校董会教学奖。每当他理解了一个深刻数学思想的重要应用时，都会感到异常兴奋。
Esfandiar在土耳其的安卡拉大学和中东技术大学分别获得了电气电子工程的学士和硕士学位，随后在加拿大的渥太华大学获得了数学博士学位。在加入印第安纳大学之前，他在宾夕法尼亚大学数学系度过了两年愉快的博士后研究员/讲师时光。
Liugen Zhu于2001年在美国伊利诺伊大学香槟分校获得了博士学位。自那时起，他致力于本科教育和研究工作。目前，他是印第安纳大学印第安纳波利斯分校Luddy信息、计算与工程学院的信息学高级讲师。他教授了广泛的课程，从信息学的数学基础到计算机编程、关系数据库设计、应用程序开发和信息系统中的网络服务。他的研究兴趣包括前端和后端应用程序开发、关系型和非关系型数据库设计与管理、面向服务的架构和云计算。他分别在2015年和2023年两次获得印第安纳大学校董会教学奖。此外，他还获得了多项STEM研究资助，包括一项名为“增强信息学多样性劳动力”的4M国家科学基金会拨款。