<<软件基础: 可靠软件的数学根基>> 系列书籍是通向计算机科学的大门, 整套书介绍了什么是可靠软件的研发, 及其与数学的深刻关联. 这套书完全开源, 有社区中文译版, 学习曲线平滑, 适合有一定逻辑学基础的高中或大学学生学习.

Efficient data processing is critical for interactive visualization of analytic data sets. Inspired by the large amount of recent research on column-oriented stores, we have developed a new specialized analytic data engine tightly-coupled with the Tableau data visualization system. The Tableau Data Engine ships as an integral part of Tableau 6.0 and is intended for the desktop and server environments. This paper covers the main requirements of our project, system architecture and query-processing pipeline. We use real-life visualization scenarios to illustrate basic concepts and provide experimental evaluation.

Linear algebra is a branch of both pure and applied mathematics. It provides the foundation for multi-dimensional representations of mathematical reason- ing. It deals with systems of linear equations, matrices, determinants, vectors and vector spaces, transformations, and eigenvalues and eigenvectors. The techniques of linear algebra are extensively used in every science where often it becomes necessary to approximate nonlinear equations by linear equations. Linear algebra also helps to find solutions for linear systems of differential and difference equations. In pure mathematics, linear algebra (particularly, vector spaces) is used in many different areas of algebra such as group theory, module theory, representation theory, ring theory, Galöis theory, and this list contin- ues. This has given linear algebra a unique place in mathematics curricula all over the world, and it is now being taught as a compulsory course at various levels in almost every institution.

GNU make 中文手册, 讲解 GNU make 的使用. Linux必学必会系列 :)

关于函数式响应式编程的开山之作, 提出了 EventStream 和 Behavior 的抽象.

用Idris实践类型驱动开发. Idris是一门具有依赖类型系统的强大编程语言.

在最高的层次上，Python的整体架构可以分为四个主要的部分，整个架构如图1所示。在左边，是Python提供的大量的模块，库以及用户自定义的模块。比如在执行import os时，这个os就是Python内建的模块，当然用户还可以通过自定义模块来扩展Python系统。在本系列文章中，我们不会对这一部分进行过多的考察。

小学生测验 2. 课题说明：向小学1~2年级学生，随机选择两个整数和加减法形成算式要求学生作答。 基本功能：  电脑随机出10道题，每题10分，程序结束时显示学生得分；  确保算式没有超出1~2年级水平，只允许进行50以内的加减法，不允许两数之和或之差超出0~50的范围，负数更是不允许的；  每道题学生有三次机会输入答案，当学生输入错误答案时，提醒学生重新输入，如果三次机会结束则输出正确答案；  对于每道题目，学生第一次输入正确答案得10分，第二次输入正确答案得7分，第三次输入正确答案得5分，否则不得分；  总成绩90分以上现实“SMART”，80~90分显示“GOOD”，70~80分显示“OK”，60~70分显示“PASS”，60分以下显示“TRY AGAIN”。