理論計算機科学

Last updated Unknown Edit Source

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

• 数学のうち、応用数学の一分野
• 速さに興味ある人と、正しさに興味がある人とがいる
  • 速さ: 計算量理論

    計算量理論

    のうち、ある問題が効率的に計算でき「ない」ことを追求するもの #情報科学 ...

    1/3/2023

    とか、アルゴリズムとか
  • 正しさ: 形式手法とか、プログラミング言語理論とか
• 論理学、代数学、グラフ理論とか
• 離散数学多め #離散
• 有限と無限

  無限

  という概念、ができれば濃度が同じ 人が物を数える方法と同じ ...

  1/3/2023

  の世界をはっきり重視
  • 
  • #イデア #記号