逻辑修养与科研能力

本书以作者在逻辑学研究、儒家文化研究、语言学研究、语文教学研究、秘书学研究、新闻学研究以及社会热点问题研究等领域40余项成果为例，系统阐述高年级文科本科生亟需了解的四个问题：科学研究的本质是什么？为...

现代归纳逻辑的发展

本书以历史发展为主线，对20世纪西方经典归纳逻辑的产生、发展做了系统评介。特别对其中著名代表人物和学派的学说，如著名逻辑学家凯恩斯、卡尔那普、赖兴巴哈、冯·赖特的归纳理论以及逻辑界著名的贝叶斯派、...

逻辑中的表列方法

分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法...

人工智能产品经理 人机对话系统设计逻辑探究

本书是关于人工智能产品经理的技术学习图书，一方面讲解机器学习、深度学习、自然语言处理等人工智能产品经理必备的技术知识，另一方面介绍AI技术在人机对话和智能搜索方向的应用，同时以国内外主流对话平台为例...

资本账户开放的经济增长逻辑

以开放促改革的背景下，在人民币国际化战略构成中华民族伟大复兴的中国梦的基础上，本书基于索洛增长模型的视角，研究资本账户开放对经济增长的效应具有重要的现实价值；从不同类型经济体的角度，探究发达国家和发展...

数字逻辑与数字系统题解、题库与实验 第2版

新世纪高等学校计算机专业教材系列:本书分上、中、下三篇。上篇是解题指南，提供了数字逻辑级、数字系统级的典型习题约500题；中篇是实验指南；下篇是题库样卷，提供了本科生、大专生期末试卷，研究生入学试卷各两套...

安徽师范大学文学院学术文库 杨树森逻辑学研究论集 第2辑

分析性理性与辩证理性的裂变 二十世纪中国逻辑思想论争的历史反思

形式主义官僚主义现形记

本书从按照中央纪委办公厅印发的《关于贯彻落实习近平总书记重要指示精神 集中整治形式主义、官僚主义的工作意见》的四个方面12个问题进行了文学化创作，按照小小说的写作手法，将形式主义官僚主义问题融入到...

从形式主义到历史主义 晚近文学理论 向外转 的深层机理探究