大学本科，信息安全专业学编程吗？
信息安全专业的话，有些学校这个专业不属于计算机学院。
如果你们学校的信息安全专业不在计算机学院的话，与计算机专业还是有点差距的，可能主科是应用数学。如果你们学校的信息安全专业学编程，那学的也是很基础的，计算机专业的本科大部分都是理论性的知识，通用的知识比如线代，数据结构之类的，敲码只有实验课有好像，而且本科阶段计算机专业之间差别不大的。真正的实战编程是需要自己找项目的，比如加入工作室，学校社团或者等到大三实习，除此之外就是在网上找资源自学，开源项目之类的。
应聘程序员的话，大概就是三点，专业理论过关，有实战经验，有自己的思考。
理论过关最基础的，编程语言至少熟悉一种吧。想要应聘有优势至少要熟悉2种语言，主一种，副一种，或者更多。
数据结构必须掌握(基础概念看《离散数学》，专业进阶看《数据结构与算法》之类的)
然后还有熟悉一些市面上主流的框架，其实就是一些编程思想和架构设计。（每种语言都不一样，这个网上很多资料，不细谈）
有实战经验应聘必须要有项目，没有项目基本是必被刷，有时甚至都不会有面试通知。因为对公司来说他们想要的是一就职很快可以进入项目，开工干活的人，而这样的面试者必然要有实战经验。
现在开源项目网上很多，也有很多成熟的项目。一开始看项目的时候可能会被一堆复杂的流程和庞大的工程吓到，但是不要怕，只要你的理论知识够好，完全分解成小模块，然后搞懂。
项目其实就是各种理论知识和实践能力的结合，把大项目分解成小模块，然后思考为什么要这样？为什么能这样？为什么这样好？然后自己写一遍，前提是理论要好，刷项目效率才高。
有自己的思考这个就很广泛了，大概就是和面试官聊天了，当然要有水平的聊天，不是那种聊家常，聊自己对正在学习的编程语言的理解，对框架的理解，对应聘的公司的理解或者提出一些自己的疑问。
信息安全专业（080904K工学、理学或管理学学士）
信息安全是研究信息获取、存储、传输和处理过程中的安全保障问题的一门学科。主要学习和研究密码学理论与方法、设备安全、网络安全、信息系统安全、内容和行为安全等方面的理论与技术，是集数学、计算机、通信、电子、法律、管理等学科为一体的交叉性学科。
信息专业是计算机类专业中的国家控制布点专业，可授予工学或理学或管理学学士学位（如山东大学授予理学学士学位，北京邮电大学授予工学学士学位）。
本专业培养能够在计算机、通信、电子商务、电子政务、电子金融等领域从事信息安全相关工作的专门技术人才。
绝大多数学校都是以软件编程为主，也有个别学校以管理为主，报考的时候，注意看看具体学校的招生简章吧。
再次请教，离散数学
证明有问题:
“若否命题成立，则不同的题目去掉后，满足条件的两人也必不同。这样就需要20人才能满足”,20人才能满足,这个结论有问题!
设10道题分别用1,2,…,10表示，故10道题构成的集合为S={1,2,…,10}，如果是11个人，11个人分别做对的题目构成的集合为
{1，2，3，…,10}(全对)，{2，3，4,…,10}(除1外)，{1，3，4，…,10}(除2外)，…,{1，2，3，…,9}(除10外)，
此时去掉任意一道题之后，必有两个人做对的题目完全相同。不需要20人,只需11人就能确保去掉任意一道题之后，必有两个人做对的题目完全相同。
下面给出一个证明供你参考:
证明 设10道题分别用t1,t2,…,t10表示，故10道题构成的集合为
S={t1,t2,…,t10}，
10个人分别做对的题目构成的集合为S1，S2,…,S10,显然S1，S2,…,S10,均是S的子集，且由题意可知S1，S2,…,S10两两不同。
下面用反证法证明该题的结论，如果不存在一道题去掉它之后，仍然没有两个人做对的题目完全相同。即去掉任意题之后，必有两个人做对的题目完全相同，如去掉t1之后，必存在不同的i,j,有Si-t1=Sj-t1,由题意Si与Sj不同，故t1必属于且仅属于Si和Sj之一，不妨设t1属于Sj，但不属于Si，故Si必是Sj的真子集（Si中的元素个数比Sj仅少一个，缺少一个t1），换言之，S1，S2,…,S10中至少有一个集合不含有t1，并且另有一个集合包含它，比它仅多一个元素t1，这两个集合形成一对,同理，S1，S2,…,S10至少有一个集合不含有t2，t3,…,t10，并且该集合与另外一个集合形成一个对子，该集合是它配对集合的真子集，前者元素个数比后者仅少一个，象上面Si，Sj一样，不妨就用S1，S2,…,S10分别表示不含有t1,t2,…,t10的集合,下面证明这些集合两两不相同，如果S1与S2是同一个集合，则与它配对的集合Sk，必含有t1,t2，此时集合Sk比S1或S2多两个元素，这是不可能的，故S1，S2,…,S10两两不相同，此时与S1，S2,…,S10分别形成对子的集合必在S1，S2,…,S10这些集合之中，设Sk是S1，S2,…,S10中含有元素最多的一个集合，与Sk配对的集合也必在S1，S2,…,S10这些集合之中，但与Sk配对的集合的元素较Sk的元素多，这也是不可能的，完成了反证法的证明。
