理論計算機科学
#情報科学
理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜
数学
のうち、
応用数学
の一分野
速さに興味ある人と、正しさに興味がある人とがいる
速さ:
計算量理論
とか、
アルゴリズム
とか
正しさ:
形式手法
とか、
プログラミング言語理論
とか
論理学
、
代数学
、
グラフ理論
とか
離散数学
多め
#離散
有限
と
無限
の世界をはっきり重視
https://gyazo.com/e218ec1c0e4b3f7e6001ad9d906c2673
#イデア
#記号
情報科学の達人.icon