数理逻辑是人们用以进行严格的数学证明的语言,了解数理逻辑对于理解数学的思考方法也是非常有帮助的,一旦掌握了数学的思考方法,就使你能以清晰的、有把握的方式来研究数学概念和数学问题。 命题 任何数学论述都是由一系列 数学命题 组成的,这些命题是涉及各种 数学对象 以及它们之间的 关系 的准确的陈述;命题可以是真的也可以是假的 合联 如果 XX 是命题,并且 YY 是命题,那么命题 XX 与 YY 当 XX 与 YY 都真时为真,当 XX 与 YY 不都真时为假,也就是 XX 与 YY 有一个为假时为假 析取 如
基础定义 对象:我们可以感觉到的客观存在以及我们思想中的事物或抽象符号,都可以称作 对象 公理:是数学的基础,是不加证明的公设,也就是认为肯定是对的。这里说的认为,是因为公理有时候并不完全对,比如 欧几里得第五公设,由推翻第五公设发展出了非欧几何 引理:是一个容易证明的断言,它被用来帮助证明其他的命题或定理,但它本身通常不是特别有意义的 命题:是本身有意义的陈述,每个良好构成的命题都或是 真的 或是 假的, 而不可两者都是 定理:是比命题更重要的陈述,它对于论题给出确定性的断言,且通常比
极限和连续 平均变化率 \frac{\Delta y}{\Delta x} = \frac{f(y_2) - f(y_1)}{x_2 - x_1} = \frac{f(y + \Delta h) - f(y)}{\Delta h} \frac{\Delta y}{\Delta x} = \frac{f(y_2) - f(y_1)}{x_2 - x_1} = \frac{f(y + \Delta h) - f(y)}{\Delta h} 对于曲线来说,平均变化率就是连接曲线上两点的 割线 的斜
经过上一篇文章的描述 准备工作,应该已经下载了Vmware,这篇文章就写一下如何安装 Vmware, 如果已经安装好了 VMware 请移步 新建虚拟机 这里默认大家使用的是Windows系统,以下相同,不再赘述。 安装VMWare 打开刚刚下载好的VMware软件,出现如下对话框,然后点击 Next 勾选同意用户协议,然后点击 Next 选择安装位置和勾选键盘增强驱动,然后点击 Next 下面两项可以选择勾选,然后点击 Next 选择安装快捷方式的位置,然后点击 Next 点击 Install
以前在上学的时候,期末考试时,计算机组成原理这门课中 cache 存储器的分值占到了100分中40分,当时就意识到了这部分内容的重要性,但是对于计算机来说最重要的内容莫过于中央处理器了,但是中央处理器对于考试来说,不太好考,于是考试具有区分性的压力就来到了cache 存储器上面。 下面讨论以下 cache 存储器,首先了解一个很重要的原理。 CPU 在访问存储器时,无论是存取指令还是数据,所访问的存储单元都趋于聚集在一个较小的连续趋于中,这个原理叫做局部性原理 通常,在处理器即将要访问的主存位置极有可能
基础积分 \int k \ dx = kx + C \int k \ dx = kx + C \int x^\mu dx = \frac{1}{\mu + 1}x^{\mu + 1} + C \ (\mu \neq -1) \int x^\mu dx = \frac{1}{\mu + 1}x^{\mu + 1} + C \ (\mu \neq -1) \int \frac{dx}{x} = \ln |x| + C \int \frac{dx}{x} = \ln |x| + C
最近又看了《功夫熊猫》全部的三集,关于功夫层面的东西就不讨论了,主要讨论另一个细节——萝卜。 关于萝卜的细节,阿宝的妈妈把他塞到平先生的萝卜筐里,之后就杳无音信,而平先生也因此有了儿子。阿宝吃光了他所有的萝卜(radish, turnip)。自此以后,他就再也没有在面条汤里放过萝卜。而没有放萝卜的面汤也因此成为美味,这也变成了他独有的秘方,这个秘方也成了第一集里阿宝打败大龙的秘密武器,真正使得阿宝领悟了《神龙秘籍》的真谛,为第二集的寻找真我做出了铺垫。这些当然都是显而易见的,不说也无妨,说了占占篇幅,显得文
作者:[唐] 王勃 豫章故郡,洪都新府。星分翼轸,地接衡庐。襟三江而带五湖,控蛮荆而引瓯越。物华天宝,龙光射牛斗之墟;人杰地灵,徐孺下陈蕃之榻。雄州雾列,俊采星驰。台隍枕夷夏之交,宾主尽东南之美。都督阎公之雅望,棨戟遥临;宇文新州之懿范,襜帷暂驻。十旬休假,胜友如云;千里逢迎,高朋满座。腾蛟起凤,孟学士之词宗;紫电青霜,王将军之武库。家君作宰,路出名区;童子何知,躬逢胜饯。 时维九月,序属三秋。潦水尽而寒潭清,烟光凝而暮山紫。俨骖騑于上路,访风景于崇阿;临帝子之长洲,得天人之旧馆。层峦耸翠,上出重霄;飞阁
作者:林覺民 意映卿卿如晤: 吾今以此書與汝永別矣!吾作此書時,尚是世中一人;汝看此書時,吾已成為陰間一鬼。吾作此書,淚珠和筆墨齊下,不能竟書而欲擱筆。又恐汝不察吾衷,謂吾忍捨汝而死也,謂吾不知汝之不欲吾死也,故遂忍悲為汝言之。 吾至愛汝,即此愛汝一念,使吾勇於就死也。吾自遇汝以來,常願天下有情人都成眷屬;然遍地腥膻,滿街狼犬,稱心快意,幾家能夠?司馬春衫,吾不能學太上之忘情也。語云:仁者「老吾老以及人之老,幼吾幼以及人之幼」。吾充吾愛汝之心,助天下人愛其所愛,所以敢先汝而死,不顧汝也。汝體吾此心,於啼
作者:毛泽东 (一九三八年五月) - 这是毛泽东一九三八年五月二十六日至六月三日在延安抗日战争研究会的讲演。 问题的提起 伟大抗日战争的一周年纪念,七月七日,快要到了。全民族的力量团结起来,坚持抗战,坚持统一战线,同敌人作英勇的战争,快一年了。这个战争,在东方历史上是空前的,在世界历史上也将是伟大的,全世界人民都关心这个战争。身受战争灾难、为着自己民族的生存而奋斗的每一个中国人,无日不在渴望战争的胜利。然而战争的过程究竟会要怎么样?能胜利还是不能胜利?能速胜还是不能速胜?很多人都说持久战,但是为什么是持久