计算机科学与技术学科前沿丛书 形式语言与自动机

本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，...

2014年MBA、MPA、MPAcc管理类联考逻辑精选360题

本书是为报考管理类研究生（MBA、MPA、MPAcc、MEM、MTA、MLIS、MAud）的考生编写的逻辑复习备考用书。逻辑综合能力测试的目标是培养考生的日常逻辑思维能力，基于规范的逻辑模拟题的思维强化训练是考生提高应试...

詹姆逊作品系列 古代与后现代 论形式的历史性

本书是作者关于文化分析的最新著作，他提供了一种被称为暂定或可弃标准的独特视角——即当我们进入艺术与文化产生的那个时代，美学史会关注什么？通过描述一系列生动的故事讲述者，作者展示了艺术形式的可变性。美...

数字逻辑

数字逻辑是计算机科学与技术专业的专业基础课，也是计算机的基础理论之一。本书对数字逻辑的核心内容作了全面系统的阐述。在阐释数字逻辑电路的基本概念和原理的基础上，着重介绍了数字逻辑设计的基础理论和方...

金融法治与金融规制 转型时期逻辑与经济金融分析

本书从转型时期政府行为特点出发，借鉴规制经济理论的研究逻辑，尝试对转型时期的中国政府金融规制问题构建一个基础性和整体性的理论研究框架，论证政府金融规制的逻辑的过程，从经济学角度对经济转型过程中政府金...

非经典数理逻辑与近似推理 第2版

本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学...

法律与逻辑 法律论证的批判性说明 law and logic acritical account of legal argument

2004年MBA联考综合能力考试疑难解析与全真模拟试题 逻辑分册

本书根据MBA联考“综合能力”考试大纲，加强对考生的疑难问题以及疑难考题的解析。共分三部分，第一部分是“应试指导”，根据历年考题，总结出一些亲的试题类型，并对一些难题进行解析。第二部分是“逻辑基础知识”，....

“乱象”中的公正与秩序 鄂西南锦镇人民法庭的实践逻辑

本书稿本书从鄂西南锦镇人民法庭的个案出发，详细考察了锦镇人民法庭所处的宏观社会场域与微观社会结构（案件结构），进而以动态的过程分析法系统地阐释了乡村司法在各种结构性要件制约下的运作目标、策略以及外在...

从独白到对话 背诵式语言输入形式的创造性转换

本书是一本关于背诵式语言输入形式转换的专著。全书共分上、下两篇，分别为“独白篇”和“对话篇”。上篇全方位论述传统个人背诵的定义、原理、过程、发展、背诵研究的成果和不足等问题；下篇以“支架理论”和...