东北师范大学人文学院专业介绍
主干课程：视觉传达设计、数字媒体艺术、面向对象程序设计、数据结构、动画设计与制作、软件技术基础、Java程序设计、多媒体技术、计算机图形与图像、游戏概论、数字音视频处理、流媒体技术、计算机网络、多媒体数据库、脚本编程技术、数字娱乐软件开发与测试、人工智能技术应用、嵌入式操作系统、人机交互技术、虚拟现实技术、影视编导等。
关于做好西青区“千人圆梦计划”2018年 秋季报名工作的通知
程序设计计算机科学与技术（虚拟现实方向）程序设计、J2EE信息系统设计、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术计算机科学与技术（数据可视化技术及应用方向）信息安全信息安全概论、网络犯罪、IT安全管理、密码学、道德黑客、数字取证、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术药学药物设计学、制药工程学、免疫学、细胞生物学、药物化学、微生物学、药剂学、药理学、药物分析学注意：自2018年起专业名称后面带括号的只是专业方向，毕业证书专业名称没有括号内容
南开大学远程教育2018年春季班招生简章
程序设计计算机科学与技术（虚拟现实方向）程序设计、J2EE信息系统设计、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术计算机科学与技术（数据可视化技术及应用方向）信息安全信息安全概论、网络犯罪、IT安全管理、密码学、道德黑客、数字取证、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术药学药物设计学、制药工程学、免疫学、细胞生物学、药物化学、微生物学、药剂学、药理学、药物分析学高中起点本科金融学经济管理数学
【招生专栏】2017，遇见涉外——广州涉外经济职业技术学院招生简介
主要课程：数据库技术与应用、面向对象程序设计、C#程序设计、JAVA程序设计、移动应用软件开发、软件测试、软件项目管理、MML建模技术、企业项目实训、数据库系统设计与开发项目实训等。汽车与电子学院汽车检测与维修技术培养目标与就业方向：培养汽车结构（特别是进口汽车）原理与维修，熟悉汽车电器设备的检测与维修、发动机与底盘电控技术，具备较强的汽车故障诊断与维修能力，主要课程：汽车机械基础；机械制图与AutoCAD；底盘原理与维修；电控技术；电器设备维修技术；故障诊断与检测技术；检测维修实训。选考：汽车维修中、高级工，汽车维修电子中、高级工，汽车助理营销师。
2018年南开远程教育秋季班报名9月7日结束！
程序设计计算机科学与技术（虚拟现实方向）程序设计、J2EE信息系统设计、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术计算机科学与技术（数据可视化技术及应用方向）信息安全信息安全概论、攻防技术基础、网络安全技术、密码学、计算机病毒分析、逆向工程、计算机科学导论、数据库应用系统设计、软件工程与软件测试技术药学药物设计学、制药工程学、免疫学、细胞生物学、药物化学、微生物学、药剂学、药理学、药物分析学高中起点本科金融学
2019年4月福建自考专业课程考试时间安排表
（一）02326操作系统03709马克思主义基本原理概论04735数据库系统原理02197概率论与数理统计(二)02325计算机系统结构04737C++程序设计00015英语(二)00023高等数学(工本)02333软件工程04741计算机网络原理*0网络工程（本科）*0计算机网络(独立本科段)福州大学02331数据结构02335网络操作系统03708中国近现代史纲要04747Java语言程序设计（一）03709马克思主义基本原理概论04735数据库系统原理04749网络工程02379计算机网络管理04751计算机网络安全00015英语(二)00023高等数学(工本)03142互联网及其应用04741计算机网络原理
2019年10月福建自考专业课程考试时间安排表
（一）00023高等数学(工本)02326操作系统04735数据库系统原理02325计算机系统结构03708中国近现代史纲要04737C++程序设计00015英语(二)02333软件工程04741计算机网络原理*0网络工程（本科）*0计算机网络(独立本科段)福州大学02331数据结构02335网络操作系统03709马克思主义基本原理概论04747Java语言程序设计（一）00023高等数学(工本)04735数据库系统原理04749网络工程02379计算机网络管理03708中国近现代史纲要04751计算机网络安全00015英语(二)03142互联网及其应用04741计算机网络原理04742通信概论0
【技术开放日】成都链安科技杨霞：智能合约安全问题及自动形式化验证平台VaaS
最好的做法就是面向字节码的形式化验证。为了尽量地提供代码的自动化验证能力，我们对代码进行自动化建模，无需任何人工参与。去年我们已经做了一个高度自动化的形式化验证原型系统，今年我们将其实现产品化。但是对与某些复杂的逻辑功能验证，还是需要部分人工地参与。而传统人工建模的方式存在一个很大的问题，无论模型多么漂亮结果多么美好，代码稍微一改，模型全部要重新做。我们VaaS产品的优势：安全属性、功能正确性全方位地验证，源码和字节码完备的形式化验证。我们也是全球第一个同时支持EOS、ETH的自动形式化验证平台。并且，在区块链程序设计便引入形式化验证的理念，从设计、开发多纬度的验证，保障智能合约等区块链关键程序的安全性。形式化验证的依据是什么呢？分享一下我们常用的基本数理逻辑——霍尔逻辑。
