注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：783360
    • 提供者：haha0832

  1. 数学应用书

  2. 数学源自于古希腊语，是研究数量、结构、变化以及空间模型等概念的一门科学。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学的基本要素是：逻辑和直观、分析和推理、共性和个性

  3. 所属分类：专业指导

    • 发布日期：2013-03-24
    • 文件大小：2097152
    • 提供者：llullullullu

  1. 设计集锦.chm

  2. 现在，文化发展已不再仅仅被理解成个人的、独特的艺术晶更替过程，而应理解为包括生活、环境等所有范围的一个综合性过程，对文化历史的观察也越来越多地涉及到日常文化形态。因为这些形态很明显地印有那个时代的典型标记。同工业造型和建筑艺术相似，海报作品也被认作对辨别、解释历史精神状况的分歧过程的例证来认识的。从人类传播的角度看，海报作为传播媒介的一种形态，为了达到最佳的传播效果，最理想的方法一定是撷取当时最为流行、最为典型，也最具吸引力、号召力的文化符号来作为海报的信息传播载体，因而海报在某种角度下，可以

  3. 所属分类：其它

    • 发布日期：2013-03-24
    • 文件大小：7340032
    • 提供者：appsna

  1. 冯康传--宁肯 汤涛著

  2. 本作讲述计算大师冯康的学术人生。 计算是一幅横贯千年历史的画卷。在中华大地的历史上，它也有着悠久与辉煌的故事。自诞生之际，数学的主要任务之一就是计算。中国古代数学有着悠久的数值计算传统，刘徽的球体积、祖冲之的圆周率、李冶的天元术、秦九韶的近似求根就是个中代表，以至于到了20世纪初数学在中国还被称为算学。西方数学以古希腊几何为基础，虽然在演绎体系上美轮美奂，但在具体计算上却不甚有效。直到微积分的发明和分析学的形成，西方的计算才逐渐超越中国。

  3. 所属分类：其它

    • 发布日期：2018-10-05
    • 文件大小：2097152
    • 提供者：han____shuai

  1. 信息安全期末.zip

  2. 密码学的英文为Cryptography，该词来源于古希腊语的Kryptos和Graphein，希腊语的原意是密写术，即将易懂的信息（如文字）通过一些变换转换成难以理解的信息（如令人费解的符号）。密码学研究进行保密通信和如何实现信息保密的问题，具体指通信保密传输和信息存储加密等。它以认识密码变换的本质、研究密码保密与破译的基本规律为对象，主要以可靠的数学方法和理论为基础，对解决信息安全中的机密性、数据完整性、认证和身份识别，对信息的可控性及不可抵赖性等问题提供系统的理论、方法和技术。密码学包括两个

  3. 所属分类：其它

    • 发布日期：2020-01-06
    • 文件大小：40894464
    • 提供者：weixin_45824497

  1. 古希腊的数学

  2. 古希腊的数学

  3. 所属分类：讲义

  1. EDA/PLD中的LabVIEW 8.2中的最优化

  2. 最优化理率与算法是一个重要的数学分支，它所研究的问题是，在众多的方案中什么样的方案最优以及怎样找出最优方案。早在公元前500年，古希腊数学家毕达哥拉斯就已发现了黄金分割法，17世纪牛顿发明微积分时已经提出极值问题，后来又出现拉格朗日乘数法；1847年柯西提出了最速下降法，还有求无约束极值的变分法，这些统称为古典最优化方法。 　　由于生产和科学研究迅猛发展，许多最优化问题已无法用古典方法解决，又由于电子计算机日益普及，使最优化问题的研究不仅成为一种迫切需要，而且有了求解的有力工具。现在已经有许多

  3. 所属分类：其它

    • 发布日期：2020-11-17
    • 文件大小：524288
    • 提供者：weixin_38736652

  1. C/C++利用筛选法算素数的方法示例

  2. 什么是求素数 素数指的是因子只有1和本身的数（1不是素数），求解素数在数学上应用非常广泛，而求解n以内的素数也是我们编程时常遇到的问题，在这个问题上，筛选法求解素数运行得非常快。 i在2到n-1之间任取一个数,如果n能被整除则不是素数，否则就是素数 称筛法 筛选法又称筛法，是求不超过自然数N（N>1）的所有质数的一种方法。据说是古希腊的埃拉托斯特尼（Eratosthenes，约公元前274～194年）发明的，又称埃拉托斯特尼筛子。 具体做法是： 先把N个自然数按次序排列起来。1不是质数，也

  3. 所属分类：其它

    • 发布日期：2020-12-31
    • 文件大小：51200
    • 提供者：weixin_38742954

  1. reading-notes:张俊的读书笔记-源码

  2. 通识 牛津通识读本 学科系列 现代性 哲学家系列 物理学 信息学 计算机 数学 人工智能 东方哲学 儒 四书 王阳明 曾国藩 释 道 西方哲学 概论 古希腊 叔本华 尼采 存在主义 结构主义 辩证法 文学 文学史 木心文学回忆录 传记 杂文 梁漱溟 南怀瑾 冯唐 阿城 加缪 黑塞 歌德 卡夫卡 反乌托邦 艺术 生活 认知 概述 效率方面 如何克服拖延症 如何培养习惯 如何管理时间 学习方面 学习方法 如何有效阅读 思考方面 思维模型/世界观 批判性思维 系统性思维 人生方面 如何处理消极情绪 如

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：659554304
    • 提供者：weixin_42116713

  1. LabVIEW 8.2中的化

  2. 化理率与算法是一个重要的数学分支，它所研究的问题是，在众多的方案中什么样的方案以及怎样找出方案。早在公元前500年，古希腊数学家毕达哥拉斯就已发现了黄金分割法，17世纪牛顿发明微积分时已经提出极值问题，后来又出现拉格朗日乘数法；1847年柯西提出了速下降法，还有求无约束极值的变分法，这些统称为古典化方法。 　　由于生产和科学研究迅猛发展，许多化问题已无法用古典方法解决，又由于电子计算机日益普及，使化问题的研究不仅成为一种迫切需要，而且有了求解的有力工具。现在已经有许多计算机算法解决化问题，如K

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：812032
    • 提供者：weixin_38696582