离散数学
关注
分享
扫一扫
LeetCoder
1. 教务管理系统
项目概述：帮助教师对教学任务增删查改以及分配教师教学任务的系统实现，技术实现为Spring+JavaScript+JSP+AJAX+easyUI。包括对教师课表，人员表的上传及下载。
2. 画眉龙网上购物网站
项目概述：此系统为网上购物系统，用户可以用过该系统实现网上购物、注册、登录、浏览商品、订单支付、生成订单等功能。技术实现为Servlet+JavaScript+AJAX+JQuery+Jsp+HTML+Css。
3. 通用窄带机系统
项目概述： 本系统为基于wpf框架，c#后台语言的窄带机系统。主要是对Socket编程接
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
《Random trees An interplay between combinatorics and probability by Michael Drmota 》教材阅读
读这本教材是为了追本溯源，了解随机树以及其发展。 目的：帮助我们了解经过随机树的扩展过程中，某些点的分支数目所代表事件比例。 第一章 介绍随机树种类 第二章 介绍一些基本技术 第三章 *第一个目的是树计数，以获取给定大小的树数的显式公式，在这些情况下，如果没有或没有简单的显式公式，则可能具有这些数的渐近信息。 对树的几种组合类以及Galton-Watson树的几种组合类的分析是基于生成函数及其分析特性的，这些特性在第2章中进行了讨论。（根）树的递归结...原创 2020-11-02 01:38:23 · 228 阅读 · 1 评论 -
离散数学第二章二元关系
第二章 二元关系 二元关系就是研究某个集合中两个对象（子集、元素）之间联系的。 2.1有序对与卡氏积 2.1.1 有序对 有序对是什么？是定义的一个对象，也是一个公理。为什么定义有序对？ 这个可以通过定义和公理来证明的。 为什么要这样证明呢？因为作为数学，它小心翼翼的定义任何东西和公理，再基于这些定义和公理去证明任何东西，我们没有那么严格，但我们还是熟悉了解常用的证明方式以及使用。 按照递归的定义可以基于二元组定义n元组，它在集合无序的基础上，加强一些，要求有序。...原创 2020-07-10 17:11:29 · 2829 阅读 · 0 评论 -
离散数学学习有感
为了感兴趣而学。 1.1 主要内容（集合论和图论） 1.2 命题逻辑 定义原子命题，而后原子命题的各种结合，可以满足某些定理。就像定义数字以及其运算规则一样，比如乘法交换律等等啥，不过这里数字换成了命题。而我所欠缺的是形式化所遇到的东西，将其规约某个理论之下，借助这个理论数学的所有公立假设定理，得到一些性质帮助我解决问题。我必须系统学习NP难问题、图论、离散数学。 1.3 一阶谓词逻辑 将命题再细分为个体、谓词、量词，以及几个重要...原创 2020-06-26 17:26:31 · 3412 阅读 · 0 评论