Analysis [Tenrece Tao] Chapter 2

自然数

Peano公理

公理2.1 是一个自然数。

公理2.2 若是自然数，则也是自然数。

定义2.1.3 定义是数，是数，是数等等。

公理2.3 不是任何自然数的后继，即对于每个自然数,都有。

公理2.4 不同的自然数必有不同的后继者。

公理2.5(数学归纳原理) 设是关于自然数的一个性质．假设是真的，并假设只要是真的，则也是真的．那么对于每个自然数,都是真的。
more >>

展开全文 >>

流言

  • 我们若从事于基本分析，为什么一个人要有几个名字呢？因为一个人是多方面的。同是一个人，父母心目中的他与办公室西崽所见的他，就截然不同——地位不同，距离不同。有人喜欢在四壁与天花板上镶满了镜子，时时刻刻从不同的角度端详他自己，百看不厌。多取名字，也是同样的自我的膨胀。
    像这一类的自我的膨胀，既于他人无碍，何妨用以自娱？虽然是一种精神上的浪费，我们中国人素来是倾向于美的靡费的。

    more >>

展开全文 >>

阿凡达

　　封校期间和两位学长偷偷溜出去恰烧烤，适逢阿凡达重映，晚上十点跑去看电影，之后打车回校、找洞，到宿舍已经夜里一点半了。
　　阿凡达早在09年已经上映，其中一位学长极力推荐，表示这部影片给他的童年带来了深刻的震撼与难以磨灭的印象。观影过程中，我也十分惊叹于画面的精美、特效的逼真，十年前的电影对比今天的热门，依然毫不逊色。本以为电影出自小说改，事后查阅得知是导演——詹姆斯·卡梅隆的原创剧本，虽然难以避免有一些槽点，但它仍不失为一个非常好的故事，也让我油然生出钦佩之情。
more >>

展开全文 >>

学生通讯录

第二份作业是学生通讯录，用xml文件做数据库，利用QFile对文件进行操作
实现有添加、编辑、删除、查找四项功能
原理很简单，先做出ui，然后调用各种api，对文件的操作是在CSDN上抄的
在规定的学时内并没能完成作业，主要花大量时间研究库函数怎么使用
源码传到我的Github，现在充分体会到自己写的都是一坨啥
以下是一些演示截图
more >>

展开全文 >>

BinaryTree

此前写过的数据结构，无论是向量亦或链表，元素之间均存在一个线性次序，故他们都是线性结构(linear structure)。树作为图的一种，同时具有无环性与连通性，只要附加某种约束（例如遍历），即可在树的节点中确定某种线性次序，因此树也被称作半线性结构(semi-linear structure)。

二叉树是树的一种，在树的全体中仅占很小一部分。但是任意一棵树或一座森林都可以转化成一棵二叉树，具体方法是将第一个后代作为左孩子，兄弟作为右孩子，后代的兄弟作为后代的右孩子……直至所有节点完全调整完毕。
以下给出二叉树模板类的定义与接口实现：
more >>

展开全文 >>

用Qt制作简易计算器

近期上程序设计综合实践这门课，第一项作业是实现一个计算器。
由于我只会c++语言，便简单学习了一下Qt,利用Qt的ui设计功能完成了作业，代码总计约六百行。
源码上传至Github。

值得一提的是，本以为copy一下以前写的数据结构再写一点槽函数，很快就能解决；实际发现曾经写的代码bug百出，完全跑不起来。
蚝蚝饭丝，以后写完，测试完再帖进博客。
废话讲完，下面写实现过程。
more >>

展开全文 >>

tag:

    缺失模块。
    1、请确保node版本大于6.2
    2、在博客根目录（注意不是yilia根目录）执行以下命令：
    npm i hexo-generator-json-content --save

    3、在根目录_config.yml里添加配置： 

      jsonContent:
    meta: false
    pages: false
    posts:
      title: true
      date: true
      path: true
      text: false
      raw: false
      content: false
      slug: false
      updated: false
      comments: false
      link: false
      permalink: false
      excerpt: false
      categories: false
      tags: true

刘越, <br>中国矿业大学CS在读。<br><br>喜欢记录，爱好破事水