逻辑与计算机设计基础实验与课程设计

本书为计算机专业课程综合实验系列规划教材，为配合《逻辑与计算机设计基础》课程的实验教程。教材体系分两部分，20个基本实验与24个课程设计分析、10个课程设计任务指导。...

罗素文集 第10卷 逻辑与知识

本书是英国著名哲学家罗素的一部主要著作。由罗伯特·查理斯·马什主编。全书由罗素1901～1950年发表的十篇文章所组成。

吴允曾选集 数理逻辑与计算机科学

数字逻辑EDA设计与实践

本书主要介绍了EDA技术、可编程逻辑器件CPLD/FPGA的基本概念和知识、MAX+plus II和QuartusII等EDA开发工具的基本使用方法和设计技巧、VHDL硬件描述语言等内容。...

逻辑与哲学 现代逻辑导论 第9版

《逻辑与哲学：现代逻辑导论》是迄今为止国际上最畅销的现代逻辑基础教程（没有“之一”）。该教程是面向那些需要逻辑学既严格而又亲切的全面介绍的学生而编写的。教程的第一部分和第二部分，通过伴以清晰阐释的循...

现代英语词汇与词汇教学

动态规划 确定性和随机模型

书名原文:Dynamicprogramming:deterministicandstochasticmodels:外国教材精选:本书介绍了动态规划的概念、算法及应用。

俄语语义 句法集成描写模式

本书系统论述了俄语语义句法集成描写的理认和总体比分析及模式化分析。

从语义信息到类型比较

本书是发表在日本《现代中国语研究》杂志上的汉语研究新论，作者都是国内和海外知名学者。

逻辑与知识 1901-1950年论文集

本书的十篇论文体现了一位伟大哲学家一生中连续五十年的成就。所有这些文章都具有代表性。