《理论计算机科学基础》课程的教学内容和教学方法的研究

《理论计算机科学基础》是信息与计算机科学专业的本科生及硕士生的重要课程之一,也是培养学生清楚而准确地表达问题、独立思考问题和解决问题的能力的重要课程之一。这是一个全新的数学分支,它研究计算机硬件、软件及某些应用的基本数学特性,对培养学生能力、提高学生素质具有重大影响。文章针对其理论性和前瞻性非常强,学生难于理解和掌握的特点,根据国内外该课程的开设状况的分析和多年的实际教学经验,对其教学内容和教学方式进行了讨论。

理论计算机科学专题前言

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。

2021年CCF全国理论计算机科学学术年会征文通知

举办时间:2021.07.23~07.25会议地点:宁夏回族自治区银川市主办单位:中国计算机学会承办单位:中国计算机学会理论计算机科学专业委员会、北方民族大学CCF全国理论计算机科学学术年会(NCTCS,National Conference of Theoretical Computer Science)已成为国内理论计算机科学最主要的学术平台之一。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一个交流合作场所。

2015年全国理论计算机科学学术年会(NCTCS2015)征文通知

由中国计算机学会理论计算机科学专业委员会主办的全国理论计算机科学学术年会（NCTCS,National Conference on Theoretical Computer Science）已成为国内理论计算机科学界重要的学术活动。2015年全国理论计算机科学学术年会（NCTCS2015）拟于2015年10月30日至11月1日在浙江省金华市举行,由浙江师范大学数理与信息工程学院、浙江省计算机科学与技术重中之重学科联合承办。

理论计算机科学领域的最新进展与焦点问题

2020年8月17~22日,首届国际理论计算机联合大会(International Joint Conference on Theoretical Computer Science,IJTCS)于线上成功举办。本次大会由北京大学与中国工业与应用数学学会(CSIAM)、中国计算机学会(CCF)、国际计算机学会中国委员会(ACM China Council)联合主办,北京大学前沿计算研究中心承办。本次大会的主题为“理论计算机科学领域的最新进展与焦点问题”。

中国计算机学会理论计算机科学专业委员会简介

中国计算机学会理论计算机科学专业委员会成立于1983年，旨在促进计算机科学理论的普及和推广，推动全国范围内的学术交流，提高理论计算机科学研究的水平。自成立以来，先后在长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、金华、福州、武汉、秦皇岛和长春等地多次主办全国性的学术会议，并出版了多本论文集。

中国计算机学会理论计算机科学专业委员会简介

中国计算机学会理论计算机科学专业委员会成立于1983年，旨在促进计算机科学理论的普及和推广，推动全国范围内的学术交流，提高理论计算机科学研究的水平。自成立以来，先后在长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、金华、福州、武汉、秦皇岛、长春和哈尔滨等地多次主办全国性的学术会议，

基于遗传算法的计算机配色优化模型

针对不透明制品配色外观美观度和市场竞争力问题,提出一种基于遗传算法的计算机配色优化模型,通过模拟自然界中基因进化过程来寻找最优颜色搭配。该模型将颜色搭配问题转化为一个遗传搜索问题,通过不断地迭代和优化,寻找出最佳的色彩组合。依据不同波长不同浓度下着色剂的K/S值、计算机配色理论K-M光学模型以及CIELAB色差计算公式,采用基于遗传算法的计算机配色优化模型,对样品的配方进行细致分析,充分发挥MATLAB对于不同数据处理的优劣,快速、准确地完成数据的处理且寻找配方时循环遍历的思想运用恰当,操作简便且易于推广。

电子科技大学计算机(网安)学院算法与逻辑团队在Information and Computation上发表研究成果

近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。

理论力学教学现代化——“理论力学计算机模拟实验”课程的探索

介绍开设“理论力学计算机模拟实验”的目的、做法及实施情况 .

南京大学计算机科学与技术系教授栗师 为近似算法突破贡献技术模型

凭借非凡的计算速度和准确度,计算机大大拓展了人类的思考能力。凭借强大的计算能力,人类已经可以在一定程度上破译生命的密码,也可以破译思想的基因。那么,计算机是如何做到这些的呢?要准确地回答这个问题离不开以南京大学计算机科学与技术系教授、博士生导师栗师为代表的理论计算机科学领域算法设计专家给出的答案。

计算机取证理论及课程建设的思考

本文探讨了计算机取证的理论研究内容，及与之相关的课程建设的原则、课程设置的构想、课程教学模式等内容。