数理逻辑基础与应用

智能系统与技术丛书 智能科学技术导论

本书主要围绕着学科内涵展开，强调学科基础知识、主要研究方法、核心研究领域、若干热点问题以及前沿应用技术等内容，涉及智能哲学、智能科学、智能技术、智能服务等多个方面。本书覆盖了智能科学与技术专业入...

科学和工业中温度的测量与控制 上

电力系统分析的计算机算法 第2版

本书为“十三五”普通高等教育本科规划教材。主要讲述现代复杂电力系统采用计算机进行分析计算的基本原理和方法。全书共分六章，主要内容有：电力网络的数学模型及求解方法，电力系统潮流计算，电力系统故障分析的...

机器学习理论与算法

《机器学习理论与算法》是一本基于数据集机器学习领域的综述类的专著，系统地阐述了近年来机器学习理论和方法的研究成果及其新的研究进展，本书介绍了机器学习中的主要理论和相应算法，描述了算法产生的原因、成...

计算机视觉基本理论和方法

本书论述了计算机视觉的基本原理和方法

数理金融理论与模型

本书主要讲述数理金融的基本知识、基本理论和基本方法，以及在实际操作中的应用。

智能逻辑学

本书内容包括：思维信息活动及其逻辑环节、智能逻辑的概念论和范畴论、信息逻辑标准运算法、语言表述和逻辑泛运算等。

智能滑板 逻辑智力题

本书作者从幽默故事中选取素材，并改编为对话的形式，讲解逻辑推理。

数学极客 探索数字 逻辑 计算之美

Mark C. Chu-Carroll是世界上较早的数学博主之一，他能够引导读者愉快地、不经意地理解复杂的概念。在本书中，他使用相同的技巧为读者带来一场别开生面的数学之旅，从数字的基本概念一直到计算机程序设计的最新...