会员服务
计算机科学（Computer Science, CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；其中一些，比如计算机图形学强调特定结果的计算，而另外一些，比如计算复杂性理论是学习计算问题的性质。还有一些领域专注于挑战怎样实现计算。比如程序设计语言理论学习描述计算的方法，而程序设计是应用特定的程序设计语言解决特定的计算问题，人机交互则是专注于挑战怎样使计算机和计算变得有用、可用，以及随时随地为 人所用。 现代计算机科学( Computer Science)包含理论计算机科学和应用计算机科学两大分支。
The Sample Complexity of Lossless Data Compression
Arxiv
0+阅读 · 2月19日
Auditing Student-AI Collaboration: A Case Study of Online Graduate CS Students
Arxiv
0+阅读 · 2月19日
Directed type theory, with a twist
Arxiv
0+阅读 · 2月19日
Insidious Imaginaries: A Critical Overview of AI Speculations
Arxiv
0+阅读 · 2月19日
Well-Founded Coalgebras Meet König's Lemma
Arxiv
0+阅读 · 2月19日
"You Can Actually Do Something": Shifts in High School Computer Science Teachers' Conceptions of AI/ML Systems and Algorithmic Justice
Arxiv
0+阅读 · 2月18日
PVASS Reachability is Decidable
Arxiv
0+阅读 · 2月18日
Transforming GenAI Policy to Prompting Instruction: An RCT of Scalable Prompting Interventions in a CS1 Course
Arxiv
0+阅读 · 2月17日
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
Arxiv
0+阅读 · 2月17日
Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
Arxiv
0+阅读 · 2月16日
A Formal Framework for the Explanation of Finite Automata Decisions
Arxiv
0+阅读 · 2月17日
ACM COMPUTE 2025 Best Practices Track Proceedings
Arxiv
0+阅读 · 2月8日
Scientific productivity as a random walk
Arxiv
0+阅读 · 2月12日
Contextual and Seasonal LSTMs for Time Series Anomaly Detection
Arxiv
0+阅读 · 2月10日
Plethysm is in #BQP
Arxiv
0+阅读 · 2月9日
参考链接
微信扫码咨询专知VIP会员
Top