检索结果-内蒙古大学图书馆

2025CCF全国理论计算机科学学术年会征稿

计算机科学与探索 2025年第5期19卷 1341-1341页

CCF全国理论计算机科学学术年会(National Conference of Theoretical Computer Science,NCTCS)已成为国内理论计算机科学最主要的学术平台之一。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一... 详细信息

CCF全国理论计算机科学学术年会(National Conference of Theoretical Computer Science,NCTCS)已成为国内理论计算机科学最主要的学术平台之一。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一个交流合作场所。由中国计算机学会主办、中国计算机学会理论计算机科学专业委员会和云南大学承办的2025年CCF全国理论计算机科学学术年会(NCTCS2025)将于2025年8月3日至8月5日在云南昆明市举行(2025年8月3日报到)。会议将邀请国内外理论计算机科学领域的著名学者做大会报告,以开展广泛的学术活动、展示最新的研究成果。

关键词：理论计算机科学 NCTCS CCF 学术年会

来源：评论

学校读者我要写书评

暂无评论

理论计算机科学引论

引用

计算机研究与发展 1988年第2期 1-36页

作者：马希文北京大学

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践... 详细信息

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践更加接近。以本文的内容为骨干,充实以必要的讲解,配上适当的习题,可以做为研究生一学期的教材。

关键词：理论计算机科学一般递归函数递归计算理论与实践计算理论可计算函数判定函数恒等函数递归定理解释执行

来源：评论

学校读者我要写书评

暂无评论

理论计算机科学中的一些问题

引用

自然杂志 1985年第2期 83-87+160页

作者：洪加威北京市计算中心北京计算机学院中国科学技术大学

本期发表了两篇关于计算机方面的文章。一篇是关于计算机理论方面的,《理论计算机科学中的一些问题》一文,介绍了作者洪加威同志近年来在这领域中一些根本性的问题上所获得的成果。作者还对计算机科学的发展提出了自己的看法,颇具见地,... 详细信息

本期发表了两篇关于计算机方面的文章。一篇是关于计算机理论方面的,《理论计算机科学中的一些问题》一文,介绍了作者洪加威同志近年来在这领域中一些根本性的问题上所获得的成果。作者还对计算机科学的发展提出了自己的看法,颇具见地,值得一读。

关键词：理论计算机科学洪加威运算量复杂度多项式并行时间确定型算法数学家指数函数初等函数串行时间下界时间和空间定理快速算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

国际学术动态 2021年第3期 16-19页

作者：邓小铁北京大学前沿计算研究中心北京100071

2020年8月17~22日,首届国际理论计算机联合大会(International Joint Conference on Theoretical Computer Science,IJTCS)于线上成功举办。本次大会由北京大学与中国工业与应用数学学会(CSIAM)、中国计算机学会(CCF)、国际计算机学会... 详细信息

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

关键词：理论计算机科学中国计算机学会数学学会焦点问题

来源：评论

学校读者我要写书评

暂无评论

理论计算机科学，被寄予“登月火箭”般厚望 011

引用

新华日报

作者：杨频萍

3月17日晚，国际数学界“三大奖”之一、2021年度阿贝尔奖正式揭晓。挪威科学与文学院将奖项授予了匈牙利厄特沃什·罗兰大学教授拉兹洛·洛瓦兹和美国普林斯顿高等研究院教授艾维·维格森，以表彰他们在理论计算机科学和... 详细信息

3月17日晚，国际数学界“三大奖”之一、2021年度阿贝尔奖正式揭晓。挪威科学与文学院将奖项授予了匈牙利厄特沃什·罗兰大学教授拉兹洛·洛瓦兹和美国普林斯顿高等研究院教授艾维·维格森，以表彰他们在理论计算机科学和离散数学方面作出的杰出贡献，使它们逐渐成为现代数学的

关键词：理论计算机科学纯数学掷骰子计算复杂性数学工具零知识证明计算机学科阿贝尔奖傅里叶变换数学命题拉兹洛

来源：评论

学校读者我要写书评

暂无评论

理论计算机科学专题前言

引用

计算机科学 2020年第5期 3-3页

作者：尹一通何琨张驰豪操宜新孙晓明南京大学华中科技大学上海交通大学香港理工大学中国科学院计算技术研究所

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以"格物,致知"的态度... 详细信息

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以"格物,致知"的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。传统上,理论计算机科学因所使用的数学语言与理论工具的不同,被分为两大分支:一类专注于对算法和计算复杂性的研究,而另一类则关注程序语言以及形式化方法。前者往往使用组合数学、概率、分析等更加具体的数学工具,研究计算问题的算法上界或者计算复杂性下界;而后者则更多地使用逻辑、代数、范畴论等抽象的数学工具,为计算建立抽象模型,探索抽象模型

关键词：理论计算机科学形式化方法

来源：评论

学校读者我要写书评

暂无评论

什么是理论计算机科学

引用

自然杂志 1984年第6期 409-413+480页

作者：马希文北京大学

当前,计算机事业的发展已日益为人们所重视。然而,我国的计算机事业的技术贮备不足,理论贮备则更缺乏,这对我国计算机事业的发展是不利的。《什么是理论计算机科学》一文提出建立理论计算机科学的观点,指出理论计算机科学涉及到计算机... 详细信息

当前,计算机事业的发展已日益为人们所重视。然而,我国的计算机事业的技术贮备不足,理论贮备则更缺乏,这对我国计算机事业的发展是不利的。《什么是理论计算机科学》一文提出建立理论计算机科学的观点,指出理论计算机科学涉及到计算机技术的各个领域,并就理论计算机科学的一些主要领域及其研究方向作了介绍。本刊拟以此文引起大家对理论计算机科学的重视,以促进我国计算机事业的发展。

关键词：理论计算机科学事业领域软件计算机人工智能理论

来源：评论

学校读者我要写书评

暂无评论

心智多样性与技术多样性:建立在理论计算机科学基础上的新经济的诸要素

引用

国外社会科学前沿 2021年第1期 15-32页

作者：贝尔纳·斯蒂格勒陈明宽蓬皮杜国家艺术文化中心西北大学哲学学院

斯蒂格勒认为,我们这个数字化时代正是充满技术所释放的毒性的人类世时代,而且正处于其毒性最大化的时期。他的这个论断正在为2020年初突如其来的、影响全球各个国家的新冠疫情所强化。而当今人类世之所以出现如此的局面,是因为人类自... 详细信息

斯蒂格勒认为,我们这个数字化时代正是充满技术所释放的毒性的人类世时代,而且正处于其毒性最大化的时期。他的这个论断正在为2020年初突如其来的、影响全球各个国家的新冠疫情所强化。而当今人类世之所以出现如此的局面,是因为人类自启蒙运动以来过于相信科学技术所致。在斯蒂格勒看来,人类的进化是体外进化的模式,在这个进化过程中,人类的生存会不断地更加依赖外在于其躯体的技术和技术物体,也即斯蒂格勒所说的第三滞留。工业革命推动了科学技术的发展,而在此过程中出现的以人工智能的诸种形式为伪装的数字技术,以异常强大的力量将人类躯体内器官的感知、知性、理性等心智功能不断地外化于人类躯体之外的所谓高新技术物之中。这些技术物如今已到处雷同泛滥,它们是提示记忆的第三滞留的最新形式。于是,雷同的提示记忆的方式导致了雷同的心智思维方式,而雷同的心智思维方式导致了系统性的愚蠢,导致了人类熵在全球范围内的急速增长。在此意义上,斯蒂格勒才说,人类世已经达到其毒性最大化的时期。当然,斯蒂格勒并非是完全贬斥技术的人,因为在他的理论中,技术既是毒药也是解药。当今数字化的科学技术导致了人类世毒性的最大化,但要化解这种毒性却依然需要依赖于这些数字科技。这也就是斯蒂格勒为什么在这里要重新反思理论计算机科学之基础的原因。只有主动地反思科学技术才能构建心智的多样性,才能认识到科学技术并不是唯一的技术形式,进而才能保护并发展技术的多样性。斯蒂格勒似乎将这场疫情看作是能够促使人类反思当下人类世状态的契机。可是,他本人却又对当下人类世的诸种状况非常地失望,他在这个大流行病的2020年结束了自己的生命。哲学家并非一定是相信自己哲学理论的人,也并非一定是勇于践行自身哲学理论的人。苏格拉底相信并践行了自己的哲学理论。那么,于斯蒂格勒而言,其为是耶?其为非耶?

关键词：多样性理论计算机科学算法体外化人类世

来源：评论

学校读者我要写书评

暂无评论

建设理论计算机科学研究中心的实践与思考

引用

中国计算机学会通讯 2018年第7期14卷 42-46页

作者：陆品燕上海财经大学

2015年底,我从微软亚洲研究院离职,加盟上海财经大学领衔组建理论计算机科学研究中心(Institute for Theoretical Computer Science,ITCS),研究中心于2016年6月18日正式揭牌成立,到现在已经整整两年了.研究中心从零开始,到初具规模,到... 详细信息

2015年底,我从微软亚洲研究院离职,加盟上海财经大学领衔组建理论计算机科学研究中心(Institute for Theoretical Computer Science,ITCS),研究中心于2016年6月18日正式揭牌成立,到现在已经整整两年了.研究中心从零开始,到初具规模,到小有成绩的实践,我在这里记录下来,希望我们的这些探索与实践能给中国高等教育科研的改革提供一些有益的经验和教训.

关键词：理论计算机科学研究中心建设

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机时代 2008年第11期 65-67页

作者：唐旭清朱平江南大学理学院江苏无锡214122

《理论计算机科学基础》是信息与计算机科学专业的本科生及硕士生的重要课程之一,也是培养学生清楚而准确地表达问题、独立思考问题和解决问题的能力的重要课程之一。这是一个全新的数学分支,它研究计算机硬件、软件及某些应用的基本数... 详细信息

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

关键词：理论计算机科学教学改革问题式教学教学方式

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：