逻辑·语言·计算：马希文文选
图书信息
书名：逻辑·语言·计算：马希文文选作者：马希文
包装：精装
开本：16
页数：679页
出版社：商务印书馆
出版时间：2019-5
图书简介
作为计算机、语言、逻辑、哲学等学科交叉的代表人物，马希文的学术思想具有深刻的启迪意义。本书收集20篇马希文的重要论文和一部专著。其中《数学双曲函数》介绍了双曲函数的定义和与指数函数的关系；《有限传输设备系统的Feinstein引理》证明了Feinstein引理；《树计算机与树程序》探讨了树程序的运行和描述公式；《关于拟因子方法》则解决了拟因子设计上的问题。《什么是理论计算机科学》阐释了元计算、人工智能等概念；《什么是可计算性》则探讨了“可计算”的含义。此外，本书还涉及人工智能、语言学、哲学等方面的重要论文，深度剖析计算机与社会、计算机与汉字、语言学知识的计算机辅助发现等问题。
推荐理由
本书汇聚了马希文在多学科领域的发展前沿成果，其深刻的学术思想对学习计算机、语言学、哲学、逻辑学等学科的读者都具有重要的指导意义。此外，随着信息技术与其他学科的交叉深化，本书也为多学科交叉的研究提供了有益的参考。
