农业地理学 世界农业的构造地带与经营形式

形式逻辑

本教材内容以传统逻辑知识为主，结合传统逻辑知识适当地介绍了现代逻辑的基础理论，包括复合命题演绎推理、命题逻辑要义、简单命题演绎推理、谓词逻辑初步、模态逻辑、归纳逻辑、逻辑基本规律、论证等章节，虽不...

人民民主制度是社会政治组织的新形式

论不同国家向社会主义过渡的形式和议会作用

社会保障法 保障公民生存权利的法律形式

本书主要围绕建立、健全和完善社会保障法律制度展开论述。

形式逻辑基础 第3版

本书是贵州大学本科段选修课教材，自2007年任课老师将讲义编辑出版以来，其反响较好。任课老师亦在不断讲学中有所改进增删。使本书更趋完善。其内容共十章，每章后有一定的习题，及国考等典型经典题目。...

几何学 空间和形式的语言

本书是对数学和自然科学史中关于几何的片段的回顾，通过时间的脉络，将几何学上的大师及其成就，以及几何命题和公式的得出背景等，一一展示给读者。...

形式化方法导论

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

形式追索与视觉创造 张艺谋电影创作研究

本书主要包括张艺谋对话访谈录，张艺谋导演创作研究，张艺谋影片分析等。

形式语义学导论 英文

本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书可对蒙太格语义学的体系有较全面深入的认识。本书适合语言学、人工智能、认知科学等相关专业的研究者...