书籍简介:

本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序语言各流派的语义模型和新一代计算机计算模型的理论问题。例如Curry的组合逻辑，MartinLof的直觉主义数学的讨论都是现代计算机理论较重要的基础内容。

书籍规格:

书籍详细信息
书名	形式语义学基础与形式说明站内查询相似图书
	9787030262387 如需购买下载《形式语义学基础与形式说明》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	2版	印次	1
定价(元)	58.0	语种	简体中文
尺寸	24 × 0	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

形式语义学基础与形式说明是科学出版社于2010.出版的中图分类号为 TP301.2 的主题关于形式语义学的书籍。