kaggle_titanic数据集

去kaggle上下载资源太麻烦了，每次下载还要登录邮箱，没有的话基本等不上去，也就没法下载，所以就发到这里共享，里面有训练集，测试集。是最全的数据集了。

形式化方法

形式化方法：通过数学逻辑来表述一个软件开发，最终还可以通过验证来证明软件开发的可行性。

c++面试经典算法

3、编写一个学生类，成员包括姓名，学号，年龄（默认值23），对上面3个成员分别都有设置值和取值的方法，并编写一个测试学生类的方法。6、编写一个函数，调用传递引用的参数，实现两个字符串变量的交换。7、设计一个集合类Set，包括将集合置空、添加元素、判断元素是否在集合中、输出集合，以及将集合中元素逆置。10、有若干教师，每个教师只有姓名，一个教师可以指导多名研究生；每名研究生有姓名、研究方向和班号数据，编写一个程序，要求输出每个教师指导的所有研究生的姓名、研究方向和班号数据。

c++经典算法

这里收录了一些面试的经典c++算法，也是对于刚入门c/c++的来说练习必备

斯坦福大学的机器学习视频资料总结的笔记

美国斯坦福大学的公开视频，但是经过亲自整理的笔记，对于那些不想看视频的同学而言，看它学习直接有方便，建议还是已经入门的同学直接学习会好理解点，但是此笔记已经写的很详细，通俗易懂了，毕竟是吴恩达大牛讲的视频。

SQL server 2008编程入门经典

《SQL Server 2008编程入门经典(第3版)》由浅入深逐步介绍了SQL Server数据库的高级主题，重点讨论了SQL Server 2008的特殊功能以及与其他编程环境的不同之处。作者Robert Vieria是Microsoft SQL，Server方面的权威，他采用通俗易懂的方法揭示了SQL Server-2008核心组件的重要更改。, 《SQL Server 2008编程入门经典(第3版)》首先概述了数据库设计的概念，介绍了如何用SQL Setver 2008实现这些基本概念。然后，讲述了RDBMS（关系数据库管理系统）的功能和它在开发系统架构方面的优势。SQL Server 2008的新增内容和更改包括：DATE和TIME数据类型、hierarchyID数据类型、MERGE命令和多行插入，以及递归查询等。《SQL Server 2008编程入门经典(第3版)》旨在帮助您快速地掌握Microsoft SQL Selwer2008的编程技术。