数理情報学入門 スコット・プログラム理論   中島玲二

数理情報学入門 スコット・プログラム理論  中島玲二

未定

送料込み(出品者負担)

やや傷や汚れあり

配送の方法

2~3日で発送

数理情報学入門 スコット・プログラム理論   中島玲二

配送料の負担

発送元の地域

数理情報学入門 スコット・プログラム理論   中島玲二

1982年 書き込みはありません. 「数理情報学入門」 中島玲二 朝倉書店 数理科学ライブラリー A5判 170ページ 1 序論 2 関数型プログラム言語としてのλ論理 3 データ領域と計算理論 4 再帰データ領域① D∞モデル 5 再帰データ領域② D∞モデル 6 プログラム言語の表示的意味論 付録 データ領域の加算基底性と連続性 プログラム意味論 形式的意味論 表示的意味論 モデル理論 計算可能性 ラムダ計算 ソフトウェア科学  #中島玲二 #本 #コンピュータ/コンピュータ

発送までの日数

数理情報学入門 スコット・プログラム理論   中島玲二

ゆうゆうメルカリ便

商品の状態

数理情報学入門 スコット・プログラム理論   中島玲二

数理情報学入門 スコット・プログラム理論   中島玲二

ネットショップ全体での類似商品の価格比較

この製品をおすすめするレビュー

この製品をおすすめするレビュー

この製品をおすすめするレビュー

この製品をおすすめするレビュー