基本的計算機科學主題列表
 | 此條目目前正依照List of basic computer science topics上的内容进行翻译。 (2007年11月2日) |
電腦科學是資訊及計算理論基礎的研究以及電子計算機領域中的執行及應用，電腦科學中一個有名的主題分類系統是ACM 電腦分類系統，它是由美國電腦協會所設計的，再電腦科學中一個基本的主題列表包括：
電腦科學的分支
數學基礎
- 數理邏輯 - 布爾邏輯以及其他邏輯查詢的方法；正統的證明方法的使用及限制。
- 數論 - 在整數的簡單領域中找出證明及啟發的理論，像在人工智慧的測試領域中使用密碼學一樣。
- 圖論 - 資料結構以及搜尋演算的基礎。
- 博弈論 - 使用在人工智慧及模控學中。
計算理論
- 自動機理論 - 解決問題的不同邏輯結構。
- 可計算理論Computability theory - 以現有的電腦模式來看什麼是可計算的，此由艾倫·麥席森·圖靈所證明並由其他人提供可計算及不可計算的可能性更加深入的說明。
- 計算複雜性理論 - 計算課題上的基本界限(特別是時間及儲存空間)。
- 量子電腦理論 -
演算法及資料結構
程式語言及編譯器
並列, 並行, 及分散系統
- 同做 - 模擬計算的理論及應用；在多工或多執行續環境裡的資料安全。
- 分散式計算 - 在網路上使用多種計算裝置計算來完成一共同的目標或工作並藉此降低單一處理器的工作貢獻。
- 並行計算 - 使用多個同做的執行緒來計算。
軟體工程
- 形式方法 - 用數學的方法來描述及解釋軟體的設計。
- 軟體工程 - 設計、發展及測試程式的理論與應用像是適當的工程應用。
- 逆向工程 - 用來了解現有的軟體所採用的科學方法的應用。
- 演算法設計 - 使用演算法理論的概念對真實的工作做設計的解決。
- 程式設計 - 使用程式語言來完成演算法的應用。
電腦系統結構
通訊及安全
人工智慧
- 人工智慧 - 系統可以展示其智慧或行為的研究及執行。
- 自動推理 - 解決的引擎像是用在Prolog，這種語言可以從規則資料庫中查詢出來的結果來產生一些步驟。
- 機器人學 - 控制機器人行為的演算法。
- 電腦視覺 - 從2D的圖片來辨識3D物件的演算法。
- 機器學習 - 從輸入自動產生一組規則及定理。
Computer graphics
- Computer graphics - Algorithms both for generating visual images synthetically, and for integrating or altering visual and spatial information sampled from the real world.
- Image processing - Determining information from an image through computation.
- Human computer interaction - The study and design of computer interfaces that people use.
Scientific computing
- Numerical analysis - Approximate numerical solution of mathematical problems such as root-finding, integration, the solution of ordinary differential equations; the approximation of special functions.
- Symbolic computation - Manipulation and solution of expressions in symbolic form, also known as Computer algebra.
- Computational physics - Numerical simulations of large non-analytic systems
- Computational chemistry - Computational modelling of theoretical chemistry in order to determine chemical structures and properties
- Bioinformatics - The use of computer science to maintain, analyse, store biological data and to assist in solving biological problems such as Protein folding, function prediction and Phylogeny.
- Computational neuroscience - Computational modelling of neurophysiology.
History of computer science
Vocations of computer science
Basic computer science concepts
- Abstraction
- Algorithm
- Array
- Automata
- Big O notation
- Class
- Closure
- Compiler
- Computation
- Computability
- Computational complexity
- Computer networking
- Computer programming
- Concurrency
- Continuation
- Control flow
- Data structure
- Data type
- Database
- Declarative programming
- Finite state machine
- Flowchart
- Formal methods
- Functional programming
- Graph
- Halting problem
- Imperative programming
- Information hiding
- Inheritance
- Invariant
- Iteration
- λ-calculus
- List
- Logic programming
- Matrix (computer science)
- Object
- Object-oriented programming
- Operating system
- Parsing
- π-calculus
- Polymorphism
- Procedural programming
- Programming language design
- Programming language semantics
- Recursion
- Regular expression
- String
- Subroutine
- Systems programming
- Tree
- Turing machine
