数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位。
2020-07-27
集合论基础
集合的初见
2020-07-26
机器学习02-支持向量机 SVM（线性模型）
支持向量机是一种最大化间隔的方法。
2020-07-16
机器学习01-基本概念
算法的优劣，与特征空间的假设有关，与具体情况有关。机器学习领域，没有所谓的最好的算法。
2020-07-16
Android 入个门
整理了一些Android很经典的几个问题。
2020-07-16
C++ 基础语法部分课堂代码
C++ 基础语法部分课堂代码
2020-07-02
Word排版的艺术
写文章、写报告、写论文，我们的学习和工作几乎离不开Word。然而Word的排版却又是一件让人头疼的事情。同样，一个排版精致的Word文件不仅仅会让写作者感到舒适，还会使阅读者感到清晰明了。
2020-03-28
Java基础Q&A
整理了一些Java编程基础的知识点以及代码，覆盖了Java入门及最基础的语法。
2020-03-28
迭代器概述
迭代器及其分类、区间、辅助函数。迭代器是提供了访问容器中每个元素的方法，用于对一个对象群集的元素进行遍历。
2020-03-28
泛型程序设计与STL概述
主要内容
泛型、模板、STL基本组件及之间的关系
泛型
Generic Programming，泛型程序设计，是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指
2020-03-27
详细教程 | Office的安装与激活
Office作为一款常用的办公软件，在我们的学习和工作中是不可少的。然而，这款软件的安装和激活困扰了很多人。下面用这三个方案，试试看能不能解决你的问题。
2020-03-27
Java 接口
接口可以看做是一个“纯”抽象类，它只提供一种形式，并不提供实现，是面向对象的一个重要机制，这样可以最大限度地利用动态绑定，隐藏实现细节。
2020-03-25