最近在学习计算理论方面的内容，这一系列文章主要介绍λ演算，这需要一些基本的离散数学如集合的知识，写的过程难免有错误欢迎大家指出。 1. 什么是λ演算 (Lambda Calculus)？ λ演算是数学家邱奇（Alonzo Church）在20世纪30年代发表的一种计算模型，以变量绑定和替换的规则，每 ...
分类：
其他好文 时间：
2020-01-06 10:07:03
阅读次数：
116
如何评价2019年中国海军下水10艘先进导弹驱逐舰(盾舰)，未来局势如何看待？ https://www.zhihu.com/question/363648488/answer/957881214这十年真是很疯狂的十年。 21世纪第二个十年里，人民海军下水舰艇汇总 龙龑之 当代海军爱好者 304 人赞 ...
分类：
其他好文 时间：
2020-01-06 00:17:57
阅读次数：
108
1.核动力 2.我国第二艘航母，第一艘国产航母——山东号 目前世界最强航母，公认的是： 美国福特级航母，此航母是美国乃至全世界最大也是最先进航空母舰。 本级将是美国21世纪上半叶的主力舰。计划在2058年之前造10艘。 目前服役一艘(刚服役，具体能形成如何的战斗力，存疑)，两艘在建。满载排水量为11 ...
分类：
其他好文 时间：
2020-01-05 18:48:45
阅读次数：
288
MySQL简介 什么是数据库 ？ 数据库（Database）是按照数据结构来组织、存储和管理数据的仓库，它产生于距今六十多年前，随着信息技术和市场的发展，特别是二十世纪九十年代以后，数据管理不再仅仅是存储和管理数据，而转变成用户所需要的各种数据管理的方式。数据库有很多种类型，从最简单的存储有各种数据 ...
分类：
数据库 时间：
2020-01-05 15:37:51
阅读次数：
94
自从20世纪90年代初Python语言诞生至今，它已被广泛应用于系统管理任务的处理和Web编程。今天就来给大家看看学Python的五大优势吧！ NO.1 全球三大主流编程语言之一 python是一种面向对象的解释型计算机程序设计语言，具有丰富和强大的库。它已经成为继Java、C++之后的第三大语言， ...
分类：
编程语言 时间：
2020-01-02 20:45:28
阅读次数：
94
19 世纪末，内燃机替代蒸汽机 20 世纪初，汽车替代马车2019 年，云计算开始全面替代传统 IT很荣幸，阿里云能与千万开发者一起见证这个时代的转折与变革
“万里长征第一步”
9 月 25 日云栖大会，阿里云智能总裁张建锋展示了阿里巴巴第一颗自研芯片——含光 800，打破了两项世界纪录，性能和能效比均为第一，是全球最强的 AI 推理芯片。
张建锋
分类：
其他好文 时间：
2020-01-02 09:38:26
阅读次数：
131
19 世纪末，内燃机替代蒸汽机 20 世纪初，汽车替代马车2019 年，云计算开始全面替代传统 IT很荣幸，阿里云能与千万开发者一起见证这个时代的转折与变革
“万里长征第一步”
9 月 25 日云栖大会，阿里云智能总裁张建锋展示了阿里巴巴第一颗自研芯片——含光 800，打破了两项世界纪录，性能和能效比均为第一，是全球最强的 AI 推理芯片。
张建锋
分类：
其他好文 时间：
2020-01-02 09:14:21
阅读次数：
136
2019年就要过去了；21世纪10年代也要结束了。
“总结是为了更好地进步”，怀着这个朴素的目的，写下此篇，以期在生命树上刻个印记 —— 大脑不靠谱，就让文字记着吧。 ...
分类：
其他好文 时间：
2020-01-01 10:18:00
阅读次数：
76
又是年底，21世纪第二个十年纪，即将结束。连续第四年，每年年底的碎碎念。。。 今年，有成长，有收获，有失去，更多的，是有了清醒深入的思考，直面自己的执念！ 时光门：2016-2017：时间戳、2017-2018：时间戳、2018-2019：时间戳 老样子，先说说博客。。。 今年的博客，基本全是性能测 ...
分类：
其他好文 时间：
2019-12-31 23:36:37
阅读次数：
210
边际效用递减规律：随着消费数量增加，边际效用呈下降趋势的现象。 某一种商品的边际效用大小，主要取决于商品消费量的大小。 ...
分类：
其他好文 时间：
2019-12-31 21:35:07
阅读次数：
195
