2009-11-15から1日間の記事一覧
コンピュータサイエンス入門より。1.離散構造(Discrete Structures) 集合論、論理、証明法、計算の基礎、グラフ理論、組み合わせ論、確率論など。 データ構造とアルゴリズム、形式的証明。 2.プログラミング基礎(Programming Fundamentals) プログラミン…
コンピュータサイエンス入門より。1.離散構造(Discrete Structures) 集合論、論理、証明法、計算の基礎、グラフ理論、組み合わせ論、確率論など。 データ構造とアルゴリズム、形式的証明。 2.プログラミング基礎(Programming Fundamentals) プログラミン…