摘要： 逻辑是研究推理规则的学问, [对偶原理和蕴含定理](https://blog.csdn.net/qq_26074053/article/details/149341925) 是 **推理代数化** 的两个关键定理。 数学主要建立在严密的**谓词逻辑**之上，它用符号表达对象与关系，再以形式推理导出结 阅读全文

摘要： 对称闭包破传递. 实封序传稠阿对，实确单区聚有柯，高符狄黎阶冲函，结幺逆，加半分，整星逆，偏确界，线巴欧希拓空张扭旋泛同调流形皆集关 。这是为记忆数学概念的，比如,"群"是结幺逆,"环"是加半分。这里面的知识量很大也很难。 下面是很好很好的东西，多是对老知识的新表示，希望细看，并且消化。 对符号的意 阅读全文

摘要： spring boot @ConditionalOnxxx相关注解总结 阅读全文

摘要： package com.aliyun.FileLinster; import java.io.File; import java.io.IOException; import java.nio.file.FileSystems; import java.nio.file.Path; import java.nio.file.Paths; import java.nio.file.WatchEv... 阅读全文

摘要： 点击领取特大礼包 阅读全文

摘要： springSecurity 每种认证方式都要写一大推类 1.要写Token封装认证信息 2.要写UserDetailsService的实现获取用户信息 3.要写provider调用UserDetailsService并且告诉AuthenticationManager他能认证哪种token 4.要写 阅读全文

摘要： org.apache.httpcomponents httpclient 4.5 package com; import org.apache.http.NameValuePair; import org.apache.http.client.ClientProtocolException; import org.apache.http.client.config.RequestC... 阅读全文

摘要： springBoot集成velocity 阅读全文

摘要： 原文 http://www.sohu.com/a/155305659_397643 新能源的发展，电动汽车发展，都会用到能量密度比更高的锂电池，而锂电池串联使用过程中，为了保证电池电压的一致性，必然会用到电压均衡电路。在这几年的工作过程中，用到过几种电池的均衡电路，在这里就跟大家一起分享一下。随着锂 阅读全文

摘要： 数学 抽象代数 阅读全文