"数理逻辑"是一门基础性学科，选一本好的"数理逻辑"的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A．G．Hamilton著"Logic for Mathematicians"一书影印出版，希望本书的影印版能为国内高校"数理逻辑"课程的开设提供......
MBA联考综合能力考试逻辑部分测试考生对各种信息的理解、分析和提炼的能力，特别是重点测试考生分析、比较、评价、反驳和进行各种推理和论证的能力。本书第一部分为逻辑基本知识介绍与实例剖析。第二部分为逻辑题八大套路解题分析。逻辑解题有一定的规律性，掌握了逻辑解题的套路，就能大大提高解题的效率。本书第三部分......
逻辑作为一门科学，主要有三个分支：形式逻辑、数理逻辑和辩证逻辑。17世纪，英国哲学家培根（1561——1626）创立了归纳逻辑，写出著名的《新工具论》。形式逻辑这个名称，最早是18世纪德国哲学家康德（1724——1804）提出来的，用来称呼亚里士多德的逻辑。从此，形式逻辑就成为既包括演绎逻辑，又包括......
本书在内容和体例上严格遵守考试大纲和考试试题的要求。全书分为三大篇。第一篇介绍逻辑推理，第二篇介绍论证推理。第三篇中的每一磁模拟试题都围绕某个考点，先介绍相应逻辑知识和逻辑基本方法，然后对可能出现的各类逻辑试题进行深入分析和详细讲解，接着给大量同类型试题作为考生进行同步训练之用，最后给出了这些同步训......
因明是古印度的逻辑学说，“因”是指推理的根据、理由，“明”是知识、智慧、所以因明是通过宗、因、喻等所组成的论式，进行推理、证明的学问。从思想上说，因明包括逻辑学和认识论。因明的逻辑学部分是为了研究逻辑规则和逻辑错误，逻辑规则是宗、因、喻三支或五分及其相互关系的规定，陈那新因明主要内容有因三相、九句因......
因明是古印度的逻辑学说，“因”是指推理的根据、理同，“明”是知识、智慧，所以因明是通过宗、因、喻等所组成的论式，进行推理、证明的学问。从思想上说，因明包括逻辑学和认识论。 本书成稿，倏经数载。虽尝油印分赠，就正时贤，未敢率尔问世，见知大方。丹阳束士方先生、吴兴沈兼士先生谋刊图籍，嘉惠士林。有裨......
《因明入正理论》乃因明学之根本论典，与《因明正理门论》并称，自古以来广为世人研究、讲习。《因明入正理论悟他门浅释》是陈大齐先生在政治大学任教时的讲稿，依照传统讲经方式，对《入论》（除去自悟门部分）作逐字逐句之讲解；《因明入正理论讲解》是吕澂先生1961年在佛学班上的讲稿，以支那内学院《藏要》本为底本......
逻辑设计是计算机科学、计算机工程和电气工程等专业的理论基础。学好逻辑设计需要三个环节：理论知识、习题和实验。因此，本书在强调基础知识的同时，结合着大量实例进行讲授，并给出了大量例题，同时还附有大量习题和每章的测验题。此外，还安排有4个实验操作平台和26个实验，以便把理论和实践紧密联系起来。. 本书......
卡尔那普是20世纪著名的分析哲学家，维也纳学派的领袖之一。《世界的罗辑构造》是他早期的代表作。他在此书中运用弗雷格、罗素肇始的逻辑分析方法,将一切科学领域的要领都分析、还原到直接经验的基础，用“原初经的相似性记忆”这个基本关系的概念，逐步地给所有其他概念以定义，有层次、有等级地把各个科学领域的概念重......
