電腦科學，研究計算機及其周圍各種現象和規律的科學，亦即研究計算機系統結構、程式系統（即軟體）、人工智慧以及計算本身的性質和問題的學科。電腦科學是一門包含各種各樣與計算和資訊處理相關主題的系統學科，從抽象的演算法分析、形式化語法等等，到更具體的主題如程式語言、程式設計、軟體和硬體等。電腦科學分為理論電腦科學和實驗電腦科學兩個部分。後者常稱為「電腦科學」而不冠以「實驗」二字。前者有其他名稱，如計算理論、計算機理論、電腦科學基礎、電腦科學數學基礎等。數學文獻中一般指理論電腦科學。
計算機系統可劃分為軟體系統與硬體系統兩大類。
類目結構控制和指令系統
演算法和邏輯結構
儲存器結構
馮·諾伊曼結構
哈佛結構
輸入/輸出和資料通訊
數字邏輯
邏輯設計
積體電路
計算機系統組織
計算機系統結構
計算機網路
分布式計算
網路安全
計算機系統實現
類目系統軟體
作業系統
編譯器應用軟體
計算機遊戲
辦公自動化
網路軟體
cad軟體
電腦程式
程式設計和程式設計實踐
物件導向技術
程式語言
軟體工程
軟體復用
驅動程式
計算機模擬
程式設計方法學
資料和資訊系統
資料結構
資料儲存表示
資料加密
資料壓縮
編碼與資訊理論
檔案資訊系統
管理資訊系統
決策支援系統- 專家系統
資料庫資訊儲存和資料訪問
資訊互動與表達
主要的研究領域
形式化基礎
邏輯學謂詞邏輯
模態邏輯
時序邏輯
描述邏輯
數學泛代數
遞迴論模型論
概率論和數理統計
邏輯代數
布林代數
離散數學
組合數學
圖論網論
資訊理論理論電腦科學
形式語言
自動機可計算性
演算法計算複雜性
描述複雜性
編譯器程式設計理論
資訊理論型別理論
指稱語義
微程式遺傳演算法
平行計算
計算方法學
人工智慧
機器翻譯
計算機圖形學
影象處理與計算機視覺
模式識別
語音識別
文字識別
簽名識別
人臉識別
指紋識別
**與建模
數字訊號處理
文件與文字處理
計算機應用
數值計算
數值分析
定理機器證明
計算機代數
工程計算
計算機化學
計算機物理
生物資訊理論
計算生物學
非數值計算
工廠自動化
辦公室自動化
人工智慧
資訊儲存與檢索
符號語言處理
計算機輔助科學
計算機輔助設計
計算機輔助教學
計算機輔助管理
計算機輔助軟體工程
機械人學
多**技術
人機互動
電子商務
特定技術
測試基準
機器視覺
資料壓縮
軟體設計模式
數字訊號處理
檔案格式
資訊保安
國際網際網路絡
超大規模積體電路設計
網路傳輸協議
網路處理器技術
整數運算器
浮點運算器
矩陣運算處理器
網格計算科學史
計算機歷史
軟體業歷史
程式設計思想
在電腦科學領域排名世界前五的大學：
1. carnegie mellon university卡內基梅隆大學
2. massachusetts institute of technology麻省理工學院
3. stanford university史丹福大學
4. university of california -berkeley加州大學伯克利分校
5. cornell university康奈爾大學
6. university of illinois-urbana champaign伊利諾伊大學香檳分校
電腦科學主要領域
數學基礎 數理邏輯 集合論 數論 圖論 型別論 範疇論 數值分析 資訊理論 計算理論 自動機 可計算性理論 計算複雜性理論 量子計算 數值計算方法 演算法和 資料結構 演算法分析 演算法設計 計算幾何 程式語言 和 編譯器語法分析器 直譯器 過程化程式設計 物件導向程式程式設計 函式式程式設計 邏輯...
電腦科學
電腦科學就是研究計算 如何表示和處理資訊。解決問題 你將學會各種演算法策略，比如分而治之法 遞迴 探索法 貪婪搜尋和隨機演算法，它們可以幫你分解和解決任何一種問題。邏輯 你開始使用更準確和正式的方式進行思考，比如抽象 布林邏輯 數字理論和集合理論，你因此能夠以一種嚴謹的方式來解決問題。資料 你接觸到...
發表論文介紹（電腦科學領域）
轉載自 http edwinren.blogspot.com 2008 07 01 archive.html 注 僅僅是節選。一 電腦科學期刊介紹 電腦科學的publication最大特點在於 極度重視會議，而期刊則通常只用來做re publication。大部分期刊文章都是會議 的擴充套件版，首發...