計算機科学 1

コンピューターサイエンスのお話なのだ 1. 停止問題 2. P≠NP予想 3. ラッセルのパラドックス 4. ゲーデルの第一不完全性定理 5. 二人の将軍問題 6. コルモゴロフ複雑性 7. ディフィー・ヘルマン鍵交換 8. 対角線論法 9. 決定性有限オートマトン