欢迎来到相识电子书!

标签:逻辑

  • 批判性思维教程

    作者:谷振诣

    《批判性思维教程》是在北京大学和中国青年政治学院开设“逻辑与批判性思维”课程的基础上写成的。2003年秋,“逻辑与批判性思维”作为一门通选课在北京大学首次开设,2004年纳入暑期学校课程。从2004年起,每年讲授两轮。春季的授课对象主要是“元培计划”的学生;暑期的授课对象主要是其他院系一年级的本科生。2000年秋,中国青年政治学院开始对“普通逻辑”课程进行改革,逐渐向“批判性思维”过渡,到2003年秋与北京大学同步开设“逻辑与批判性思维”课程。
  • 200个聪明人的逻辑思维游戏

    作者:陈书凯

    逻辑能力决定了思考能力、学习能力、管理能力、表达能力,所以生活中不可缺少正确的逻辑思维能力。 《200个聪明人的逻辑思维游戏》精心设计的200个受欢迎的逻辑游戏,将让读者的头脑接受惊奇的挑战,这些游戏不仅仪是为了乐趣而设计的,而足为了培养你的逻辑思维能力。当你做完这些游戏后,逻辑推理、运用想象力、关注细节的能力都会提升,并且帮助你用相同的思维技巧解决日常生活和学习中的问题。你可能会得到很棒的点子、有突破性的发现,让你周围的人和那些怀疑你的人感到惊讶。
  • 测试你的逻辑推理能力

    作者:乔治J.萨默斯

  • 引人入胜的数学趣题

    作者:马丁・加德纳

  • 图利的猫

    作者:[美] 佩格·蒂特尔

    《图利的猫——史上最著名的116个思想悖论》是《哲学与生活丛书》之一。 杀死一只被注射进特殊化学物质而具有人类根本特征的猫,是合乎道德的吗?我们是具有独立意识的个体,还是一个被操纵的缸中之脑?一个理发师何以可能既给自己刮胡子,又不给自己刮胡子?……这就是我们常说的悖论,它是人类理性的一个难解的怪圈。本书是著名思想悖论的权威集结,每一个悖论都 会开启一扇智慧之门。欢迎每一位热衷于挑战自我思维极限的勇敢者!
  • 这本书叫什么

    作者:雷蒙德·M·斯穆里安(Smullyan.

    一本来自逻辑诡辩学的奇人--雷蒙德·斯穆里安的奇书。说它是诡辩书很恰当,说它是脑力训练题集也可以,说它是笑话集也不为过。不过,事实上支撑起这座逻辑迷宫的可是鼎鼎大名的哥德尔不完全性定理,所以就能理解它同时是被用作逻辑学经典教材的一本逻辑题集。 斯穆里安除拥有普林斯顿大学博士学位外,他还是一位魔术师和钢琴家。 幽默老辣的译笔,来自康宏逵。如果读者愿意花80美元去淘到此书的第1版英语本,或者你会同意康氏的中文译本更精彩,当然《这本书叫什么?》已经风靡世界,有意大利文版、德文版和日文版。
  • 身边的逻辑学

    作者:伯纳·派顿

    《身边的逻辑学》内容简介:为什么说电视与大众媒体容易让人变笨?为什么说分散投资确保收益最大化是个谎言?为什么说伪学者控制了世界的未来?有偏见的权威为什么更容易出错?怎样看穿政治人物和媒体的谎言? 《身边的逻辑学》是美国莱斯大学著名教授伯纳•派顿写给普通读者的逻辑入门书,它以无数生活细节讲解逻辑,教人如何“清晰思考”。在这本有趣又实用的逻辑书里,你可以看到那些熟悉的形形色色的关于政治、经济、投资、广告方面的说辞,一些貌似合理,一些完全是谎言。通过这些事例你会明白,唯有改进你的思维方式,才能学会用清醒的头脑辨别真假,面对光怪陆离现象与混乱脱序的社会,才不会不知所措,不会成为无意识的牺牲品,学会破解隐藏的信息,规避麻烦。
  • 面向计算机科学的数理逻辑系统建模与推理

    作者:哈斯

    本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
  • 认识辩论

    作者:游梓翔

  • 面向计算机科学的数理逻辑系统建模与推理

    作者:胡思

    数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
  • 影响数学发展的20个大问题

    作者:[英] Tony Crilly

    内容简介: “20个大问题”系列的每本书均由相关领域的专家学者执笔,通过对某一学科里20个最根本的问题的解答和讨论,介绍了学科发展的历史,勾勒出了整个学科的概貌。针对每个精心挑选的问题,书中不仅做出详尽而富有启发性的解释,还不失时机地穿插了妙趣横生的历史故事,令读者在不忍释卷的阅读体验中畅游科学的奇妙世界。 本书是该系列的数学卷,通过20篇精炼的小文章阐述了数学中最重要、最深刻的一系列“大问题”,向大家充分展示了这门令人望而生畏却又至关重要的学科的魅力。 最奇怪的数是什么?无穷到底有多大?数学怎样带来财富?一只蝴蝶扇动一下翅膀如何在地球的另一端引发一场风暴?如何破解复杂的密码?从这些看似寻常的问题入手,作者引领你进入数学的各个分支领域。这些知识点涵盖古今,内容趣味无穷,语言深入浅出,完美地结合了理论与故事,是帮助读者理解身边的现实世界的金钥匙。
  • 逻辑推理

    作者:余式厚

    《逻辑推理:如歌的行板》内容简介:逻辑推理是“烟歌的行板”,你要徐步而行——逻辑推理是程序性思维,程序的展开是分步骤的,步骤的推进有时是缓慢的,它的节奏经常是“如歌的行板”。逻辑推理能力的训练你要徐步而行,它不可能一蹴而就。《未名•逻辑达人丛书•逻辑推理:如歌的行板》收集的推理题,有相当大的一部分是世世代代流传的经典逻辑题。经典逻辑题按题材的内容与解题的思路,分成若干类。 阅读并理解《未名•逻辑达人丛书•逻辑推理:如歌的行板》中的逻辑推理问题具有一定的难度,但也不是难到高不可攀,因为望而生畏的难题,必将挫伤人们继续前进的积极性。适当难度的逻辑问题,应该成为人们揭示真理奥秘征途中的路标,同时,又是人们在问题获解后的喜悦感中的珍贵纪念品。
  • 智断疑案与逻辑推理

    作者:吴邛 编

    《智断疑案与逻辑推理》精选古今奇案百余例,对其复杂、曲折、奇谲的案情与断案、破案过程进行分析,揭示出逻辑推理在断案、破案中的重要作用。全书分为上、下两编,上篇在对古人智断奇案的分析中,比较系统地介绍了各种推理形式的逻辑知识;下篇对当代奇案侦破过程进行分析,主要揭示出逻辑推理在破案工作中的综合运用。《智断疑案与逻辑推理》寓知识性于趣味性、娱乐性之中,是一本面向广大读者的科普性人文著作。
  • 趣味逻辑

    作者:彭漪涟

    《趣味逻辑》是为青年编写的一本形式逻辑读物。逻辑学是一门思维科学,它的研究对象是人们的思维形式及规律。在逻辑科学中,主要的有形式逻辑、辩证逻辑和数理逻辑。《趣味逻辑》讲的是形式逻辑。形式逻辑所研究的,主要是概念、判断、推理这样一些思维形式,同一律、矛盾律、排中律、充足理由律等正确思维的基本规律,以及定义、划分等简单的逻辑方法。 《趣味逻辑》从概念、命题、推理、逻辑基本规律等方面,通过通俗而有趣的故事,向读者介绍逻辑基本知识及其应用,展现逻辑的魅力,培养广大读者学习逻辑的兴趣,帮助读者打开逻辑知识的宝库,锤炼驾驭逻辑工具的能力。
  • 门萨横向思维与逻辑推理

    作者:查顿

    门萨横向思维与逻辑推理,ISBN:9787506288965,作者:(英)戴夫·查顿 (英)卡罗琳·斯基特
  • 门萨逻辑游戏

    作者:菲利普.卡特

    《门萨逻辑游戏》汇集了150个智力游戏准备挑战你的逻辑能力,而解决这些问题的方法也可能是你闻所未闻的!各式各样的逻辑难题都被汇集到这本最新的《门萨逻辑游戏》中,你如果开始阅读《门萨逻辑游戏》的话,那么就别想让自己的大脑停止运转喽!
  • 逻辑推理新趣题

    作者:乔治J・萨黑斯

    《逻辑推理新趣题》中的趣题,都被写成“到底是谁干的”之类的短小谜案。每道趣题提供了若干线索,要求读者,或者说“侦探”,根据这些线索在一些不同的对象中判别出哪一个是题目要求寻找的对象(或者继续上面的比喻,在一些可疑分子中判定哪一个是真正的罪犯)。在这些趣题中,有些是真的要你去查出一个罪犯,但是绝大多数趣题只涉及基本上属于守法的公民或者纯粹的数字。 解答这些趣题的一般方法是:在每道趣题末尾提出的问题中,陈述了要寻找的对象所必须满足的一个条件。例如,“四支棒球队中的哪一支球队——野猫队、红猫队、美洲狮队,还是家猫队夺得了锦标?”就是把“夺得了锦标”规定为一个条件。题目中的线索也或明或暗地规定着各个“可疑分子”所必须满足的条件。“侦探”要做的事,是发现全部的条件,然后判定哪一个——而且是唯一的一个——“可疑分子”能够满足问题中陈述的条件。 趣题按先易后难的原则顺序排列,因此如果一位读者从第一道趣题开始,循序而进,你会发现自己居然有能力解决那些对他来说原本难得无法解决的趣题。为了给钻进死胡同的读者提供帮助,每道趣题都附有“提示”——倒排在书页底部——用意是将读者的思路引向正确的方向。
  • 门萨数独游戏500题

    作者:迈克尔·里奥斯

    《门萨数独游戏500题》收集的数独游戏难度极高,即便对数独破谜高手来说也是个挑战。你能在这些超级数独游戏的空格中填入1至9的数字吗?相信你会成为破解数独游戏的天才! 如果您喜欢智力测试,可以在这套“门萨智力大师系列”中找到很多很好的训练题。相信您最终会成为2%中的一位,或许您会发现自己已是其中一名。 您是一个爱交往的人吗?或者是否想结识与您志趣相投的人?如果是的话,请加入到门萨的智力训练和讨论吧。在门萨几乎每天都会有新鲜话题,所以您有的是机会和别人交流,结交新的朋友。不管您的爱好如猜字谜般寻常还是似古埃及学般玄秘,在门萨的特殊兴趣群体中您总能找到志同道合的伙伴。 快来挑战自己吧!看看您到底有多聪明!我们始终欢迎新成员携他们的新思路融入到我们的高智商群体中。《门萨数独游戏500题》给您精彩的数独游戏题目!
  • 维特根斯坦读本

    作者:维特根斯坦

    《关于数学基础的评论》的选文绝大部分是王宇光翻译的,《哲学语法》的选文绝大部分是刘畅翻译的。译文品质都很好,但我还是仔细做了修正。本选集中其他译文都是我自己的,除了极少数例外,例如选自马尔康姆《回忆维特根斯坦》的几段,是我直接从中译本抄下的。如前提示,这个选本中的有些段落由于脱离上下文较为费解,在翻译时做了少许通俗化的处理。有时我的译文主要根据卑尔根维特根斯坦文库的德文电子版全集The Bergen Electronic Edition ,参照以英文的电子版全集,Blackwell Publishers 出版的The Collected Works of Ludwig Wittgenstein 。我在翻译时经常参考已有的中文译文,在此对维特根斯坦的其他中译者表示感谢。  我希望今后还有机会改善这个选本。为此,我希望同好从各个方面给予批评。(陈嘉映《维特根斯坦读本》选编说明)
  • 金字塔原理2

    作者:(美)明托

    《金字塔原理(2)实用训练手册》是《金字塔原理》的配套训练手册,芭芭拉·明托在书中提供了大量的范例和习题,带领你实际演练各种逻辑思考技术,帮助你强化思考架构能力,提升逻辑沟通效果:为什么金字塔是建构逻辑的最理想结构?金字塔原理如何帮助你找出思想之间的纵向关系?如何把不同的思想横向联系起来?序言如何帮助你找出文章的中心?建立金字塔结构要遵循哪些步骤?如何将金字塔结构里的思想归类分组?将金字塔结构里的思想归类分组?