いまさら聞けない! コンピュータの数学:1. プログラミング言語の数学

書誌事項

タイトル別名
  • プログラミング言語の数学
  • プログラミング ゲンゴ ノ スウガク
  • Not Too Late to Learn! Mathematics for Computer Science:1. Mathematics of Programming Languages

この論文をさがす

説明

いわゆる「形式手法」によるソフトウェア検証の基本となる「プログラミング言語理論」の特に基本的な部分を,中学~大学1年程度の数学のみを用いて,できるだけ平易に(ただし実質的詳細にも踏み込んで)紹介する.

収録刊行物

  • 情報処理

    情報処理 56 (5), 434-437, 2015-04-15

    東京 : 情報処理学会 ; 1960-

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ