编程范式 托马斯.库尔提出“科学的革命”的范式论后，Robert Floyd在1979年图灵奖的颁奖演说中使用了编程范式一词。编程范式一般包括三个方面，以OOP为例： 1，学科的逻辑体系——规则范式：如 类/对象、继承、动态绑定、方法改写、对象替换等等机制。 2，心理认知因素——心理范式：按照面向对 ...
分类：
编程语言 时间：
2021-04-27 14:18:36
阅读次数：
0
P4258 [WC2016]挑战NPC 题目链接 小 I 浅笑：“所以，等我领图灵奖吧！” 每个筐能装三个？那我把它拆成三个筐，每个筐就只能装一个了。 球和筐的对应关系可以抽象为边。把球放进筐可以看成两两匹配。 但是现在要考虑的是怎样做到满足“一个筐子(这里指的是题面里的筐)内有不超过 \(1\) ...
分类：
其他好文 时间：
2021-02-01 12:19:33
阅读次数：
0
paxos出身 paxos出身名门，它爹是没多久前获得图灵奖的在分布式领域大名鼎鼎的Leslie Lamport。 paxos为何而生 那么Lamport他老人家为什么要搞这个东东呢，不是吃饱了撑的，而是为了解决分布式系统的大难题。分布式系统一 般要求具有高可用性，高可用性一般又是通过冗余也就是多副 ...
分类：
编程语言 时间：
2020-09-04 17:33:41
阅读次数：
59
LeNet-5实现MNIST分类 本人水平有限，如有错误，欢迎指出！ 1. LeNet-5 1.1 简介 ? LeNet-5是由“深度学习三巨头”之一、图灵奖得主Yann LeCun在一篇名为"Gradient-Based Learning Applied to Document Recogniti ...
分类：
Web程序 时间：
2020-07-19 23:32:03
阅读次数：
95
/* 先来看下快排 9.9 快速排序 事实上，不论是C++ STL、java SDK或者.NETFrameWork SDK等开发工具包中的源代码中都能找到它的某种实现版本。 快速排序算法是由图灵奖获得者TonyHoare设计出来的，他在形式化方法理论以及AL-GOL60编程语言的发明中都有卓越贡献， ...
分类：
编程语言 时间：
2020-07-14 13:32:15
阅读次数：
70
朱迪亚·珀尔（JudeaPearl）——以色列裔美籍计算机科学家、哲学家，以倡导人工智能的概率方法和贝叶斯网络而闻名。他还因在结构模型的基础上发展出因果和反事实推论而受到广泛称赞。2011年，ACM授予JudeaPearl图灵奖，以表彰他“通过发展概率和因果推理演算对人工智能做出的基础性贡献”。JudeaPearl在2018年出版了一本新著《为什么：关于因果关系的新科学》系统总结了自己近25年关于
分类：
其他好文 时间：
2020-06-06 09:27:12
阅读次数：
200
背景 可用性（Availability）和一致性（Consistency）是分布式系统的基本问题，先有著名的CAP理论定义过分布式环境下二者不可兼得的关系，又有神秘的Paxos协议号称是史上最简单的分布式系统一致性算法并获得图灵奖，再有开源产品ZooKeeper实现的ZAB协议号称超越Paxos。 ...
分类：
数据库 时间：
2020-05-07 13:20:48
阅读次数：
120
本书与《数据库系统概论》（第5版）（高等教育出版社出版）一书配套使用。对配套教材各章基本知识点进行讲解，并对知识点进行了大致分类；给出教材各章习题的解析，同时增加了补充习题及其解答。给出数据库实验环境建设及实验数据准备的技术和方法，详细介绍教材各章实验内容，并对实验中常见的问题给出解答。提供了学习数... ...
分类：
数据库 时间：
2020-04-30 21:31:20
阅读次数：
426
弗洛伊德算法-Floyd(Floyd-Warshall)-求多源最短路径，求传递闭包Floyd算法又称为插点法，是一种利用动态规划的思想寻找给定的加权图中多源点之间最短路径的算法， 与Dijkstra算法类似。该算法名称以创始人之一、1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德 ...
分类：
编程语言 时间：
2020-04-30 20:54:56
阅读次数：
153
计算机界著名公式，由瑞士计算机科学家尼克劳斯.威茨(Niklaus Wirth)提出，也因此获得图灵奖程序 = 数据结构 + 算法没有看过数据结构和算法，有时面对问题可能会没有任何思路，不知如何下手去解决；大部分时间可能解决了问题，可是对程序运行的效率和开销没有意识，性能低下；有时会借助别人开发的利 ...
分类：
编程语言 时间：
2020-01-07 00:26:44
阅读次数：
111
