計算理論

數學基礎

數學課程

數學軟體

常用符號

Tex 數學式

數學用語

嚴格的證明

數學理論

集合論

數論

幾何學

三角函數

尤拉數

虛數

代數學

遊戲理論

幾何級數

動態系統論

作業研究

微積分

離散數學

線性代數

機率統計

數學應用

人工智慧

邏輯與程式

方程式求解

線性代數

最佳化

爬山演算法

遺傳演算法

神經網路

機器學習

訊號處理

影像處理

語音處理

自然語言

機器翻譯

數學文明

科學與數學

工業與數學

教學影片

訊息

相關網站

參考文獻

最新修改

簡體版

English

計算理論是研究「電腦有沒有可能計算、要計算多久」等問題的一門學問,其內容如下:

  1. 邏輯系統:布林邏輯 (Boolean Logic)、謂詞邏輯 (Predicate Logic)、一階邏輯 (First Order Logic)、哥德爾完備定律、哥德爾不完備定律。
  2. 電腦能力極限:圖靈機(Turing Machine)、停止問題 (Halting Problem)、可計算性問題。
  3. 演算法複雜度:Big O 複雜度,多項式複雜度,指數複雜度,NP-Complete。

Facebook

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License