理論計算機科学

Last updated Unknown Edit Source

#情報科学 理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜

• 数学のうち、応用数学の一分野
• 速さに興味ある人と、正しさに興味がある人とがいる
  • 速さ: 計算量理論とか、アルゴリズムとか
  • 正しさ: 形式手法とか、プログラミング言語理論とか
• 論理学、代数学、グラフ理論とか
• 離散数学多め #離散
• 有限と無限の世界をはっきり重視
  • 
  • #イデア #記号