悟空视频

    在线播放云盘网盘BT下载影视图书

    从前有个数: 故事中的数学逻辑 - 图书

    导演:John Allen Paulos
    本书的原版是西方畅销书榜上的一本数学科普名著,具有较大的影响。与通常的数学科普著作不同,本书在写作上具有独特的轻松自如的风格。在斯诺《两种文化》的意义下,该书为科学文化和文学文化之间架起了一座桥。通常人们总把数字想象得抽象、确定、永恒、枯燥无味,而好的故事则充满生气、精细微妙、回味无穷,但不太严格。而本书指出,故事与数字之间并非如你想象的那么不同,它们之间有令人惊奇、引人入胜的联系。事实上,数学史上逻辑和概率等重要概念,都是从故事演变的直观想法中发展起来的,最近的突变理论和复杂性理论亦是如此。为此,作者在全书中穿插了许多具有一定层次、发人深省的笑话、寓言、宗教轶事及有趣的对话,来帮助读者理解这些出色的观点。
    从前有个数: 故事中的数学逻辑
    搜索《从前有个数: 故事中的数学逻辑》
    图书

    数学与逻辑 - 图书

    导演:Mark Kac
    数学是什么?它是如何被创造出来的?过去与现在,创造和实践它的人又是谁?人们能描绘出它的发展,它在科学思想史中所扮演的角色并预测它的未来吗?本书试图对这些问题的本质,以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题,其中出现了无穷的概念,并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群,继而考虑诸如空间这些对象的集合,他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系,高速计算机对数学实验范围的深远影响,以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说,这项备受关注的研究提供了一项对数学本质的激发性研究。
    数学与逻辑
    搜索《数学与逻辑》
    图书

    数学.计算.逻辑 - 图书

    1993
    导演:陆汝钤
    本书以计算机科学中的可计算性理论和计算复杂性理论为背景,以生活的比喻,介绍这一领域的基础知识和主要研究成果。
    数学.计算.逻辑
    搜索《数学.计算.逻辑》
    图书

    数学与逻辑 - 图书

    导演:Mark Kac
    数学是什么?它是如何被创造出来的?过去与现在,创造和实践它的人又是谁?人们能描绘出它的发展,它在科学思想史中所扮演的角色并预测它的未来吗?本书试图对这些问题的本质,以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题,其中出现了无穷的概念,并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群,继而考虑诸如空间这些对象的集合,他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系,高速计算机对数学实验范围的深远影响,以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说,这项备受关注的研究提供了一项对数学本质的激发性研究。
    数学与逻辑
    搜索《数学与逻辑》
    图书

    数学.计算.逻辑 - 图书

    1993
    导演:陆汝钤
    本书以计算机科学中的可计算性理论和计算复杂性理论为背景,以生活的比喻,介绍这一领域的基础知识和主要研究成果。
    数学.计算.逻辑
    搜索《数学.计算.逻辑》
    图书

    数学的逻辑 - 图书

    2024科学技术·自然科学
    导演:郑乐隽
    · 为什么1+1=2? · 为什么奇数和偶数交替? · 代数的意义是什么? · 数学问题真的有且只有一种标准答案吗? 从实数、虚数到复杂的运算顺序,将“消除世界对数学的恐惧”视为终身奋斗事业的剑桥博士、谢菲尔德大学终身教授郑乐隽带领我们进入了一段从未见过的数学旅程,揭示了如何从看似不可能的来源中发现深刻的真相。作者认为,数学不仅仅是关于如何得到正确答案的科学,数学也是关于自己创造的科学和真理,是一段令人兴奋,令人畏惧,令人敬畏,最终获得快乐的经历。她希望通过这本书的阐释,帮助读者理解数学到底是什么,通过理解数学的本质,消除关于数学的神话和误解,消除对数学狭隘的、缺乏想象力的认识,用有趣的数学思维理解我们的真实世界。
    数学的逻辑
    搜索《数学的逻辑》
    图书

    数学家的逻辑 - 图书

    1989
    导演:A.G.哈密尔顿
    译自: Logic for mathematicans/A. G. Hamilton. -- 剑桥大学出版社, 1978
    数学家的逻辑
    搜索《数学家的逻辑》
    图书

    数学极客:探索数字、逻辑、计算之美 - 图书

    导演:马克·C. 查-卡罗尔
    一本数学启蒙书! 一场别开生面的数学之旅! 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇,那么这本书就是为你准备的..... 数学是美丽的,它既有趣又令人兴奋,同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题:从埃及分数到图灵机,从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么,或者什么限制了计算机的能力,本书将会带你找到答案。 作者从数字的基础开始带你开启美丽的数学之旅,首先通过探讨一些有趣的和奇怪的数字,如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数,带你领略数字的趣味性、数字之美和数字之用,然后深入研究现代逻辑,包括线性逻辑、Prolog语言等,以及现代集合论和现代机械化计算的进展与悖论,带你感受数学的逻辑性和计算性...(展开全部)
    数学极客:探索数字、逻辑、计算之美
    搜索《数学极客:探索数字、逻辑、计算之美》
    图书

    数学极客:探索数字、逻辑、计算之美 - 图书

    导演:马克·C. 查-卡罗尔
    一本数学启蒙书! 一场别开生面的数学之旅! 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇,那么这本书就是为你准备的..... 数学是美丽的,它既有趣又令人兴奋,同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题:从埃及分数到图灵机,从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么,或者什么限制了计算机的能力,本书将会带你找到答案。 作者从数字的基础开始带你开启美丽的数学之旅,首先通过探讨一些有趣的和奇怪的数字,如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数,带你领略数字的趣味性、数字之美和数字之用,然后深入研究现代逻辑,包括线性逻辑、Prolog语言等,以及现代集合论和现代机械化计算的进展与悖论,带你感受数学的逻辑性和计算性...(展开全部)
    数学极客:探索数字、逻辑、计算之美
    搜索《数学极客:探索数字、逻辑、计算之美》
    图书

    证明与反驳: 数学发现的逻辑 - 图书

    1987
    导演:伊姆雷·拉卡托斯
    伊姆雷·拉卡托斯(Imre Lakatos,1922-1974),英籍匈牙利人,犹太裔,数学哲学家、科学哲学家,宗波普尔。早年信仰共产主义,后讳谈往事。
    证明与反驳: 数学发现的逻辑
    搜索《证明与反驳: 数学发现的逻辑》
    图书
    加载中...