数学·计算·逻辑
✍ Scribed by 陆汝钤
- Publisher
- 湖南教育出版社
- Tongue
- Chinese
- Leaves
- 144
- Series
- 走向数学丛书
- Category
- Library
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
<p>《FPGA数字逻辑设计(21世纪大学本科计算机专业系列教材)》(作者蔡晓燕)是为“数字逻辑电路”等课程配套的实验教材。作为专业基础课程的配套实验,其主要目的是为学生学习后续硬件类课程培养硬件设计基础和实验技能。《FPGA数字逻辑设计(21世纪大学本科计算机专业系列教材)》首先介绍了可编程器件、数字系统设计方法、电子设计自动化软件、VerilogHDL程序设计方法等基础知识。在此基础上设计了18个实验题目,从组合逻辑电路设计、时序逻辑电路到状态机设计以及常用接口控制器设计。每个实验都从理论知识入手,先给出引导性实验,再进入设计性实验,知识的介绍和实验的要求循序渐进、由浅入深,不仅逻辑严密,
<p>《象数易学与逻辑》从“象数易学”的“象数”逻辑的“象表意”、“象数表意”的模型论的角度,探讨了“一阴一阳之谓道”所对应的“形式逻辑”与“辩证逻辑”的逻辑特点及缺陷。特别是对“数理逻辑”的不可避免的必然性缺陷及“象数易学”的“辩证数理逻辑”的优势,进行了专门数理方面的探讨与证明。还探讨了不为人们广为重视的“形式逻辑”对政治、经济、社会、科学等误导及误识的某些作用与影响,并举例论述了“象数数理”是如何来寻我“数理逻辑”统一的同一性问题和方法的;强调并提倡了“先天八卦”的“类化”表述在“象数”表述系统和体系里的正确及合理性,以及其与“五行”本质“分类”定性学和“时间逻辑学”的“类集集合”的系统
赵绍成编著的《逻辑学》为高等学校普通逻辑教材,主要介绍了普通逻辑的基本知识和基本方法,旨在通过对这些基本知识和方法的学习,锻炼和提高学生的理论思维能力,开发学生的潜能,提高学生反驳谬误和明辨是非的能力,帮助学生学习和掌握其他科学知识。本书既吸取了同行的一些观点,又对逻辑学的体系和结构作了一些调整。
本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲,第1–4章为基础内容,第5–6章为高阶内容。具体来看,第1章从思想史角度讲述哲学之于逻辑的动机催发,第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等,第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等,第4章讲述一阶理论的基本性质、几种形式等,第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等,第6章以模态逻辑为例说明逻辑之于哲学的实际应用。