目录前言数理逻辑命题逻辑基本概念命题等价命题蕴含对偶与范式推理理论谓词逻辑基本概念谓词演算的等价式与蕴含式谓词演算的推理推论集合论基本概念特殊运算运算性质包容排斥原理(容斥原理)序偶与笛卡尔积关系关系的基础概念关系的性质复合关系和逆关系闭包运算集合的划分等价关系与等价类相容关系序关系函数基本概念复合
今天,突然想到微服务和云服务(分布式,云计算)的关系。因为,微服务的特点是松耦合,而这不就是云计算的基础吗?云计算的特点是分布式和集群,而要实现云计算,就需要实现松耦合,这不就是微服务吗。实现方法可以使用Java框架,也可以是Python框架。所以,微服务这么火不是没有原因的。企业可以将容器与微服务
一、码场心得有个词叫内卷严重!最开始听到这个词是有个小伙伴在我的一篇HashMap源码分析文章下的留言:“哥们,你这叫内卷!”。这篇文章深度解释了扰动函数、负载因子以及相关数学方式的结果验证,有兴趣的可以跳过去阅读。《HashMap核心知识,扰动函数、负载因子、扩容链表拆分,深度学习》那什么叫内卷呢
SQL的三维侧写SQL起源于上世纪七十年代的IBMR系统,是一个针对关系型数据库的声明式查询语言。一句话引出三个点:1.关系型(relational):基于关系代数理论的一种数据建模方式,其他的建模方式如文档数据库、图数据库等。以 SQL表的方式来理解,可以将任何数据集抽象为一张二维表,每