数理情報学入門 スコット・プログラム理論 中島玲二
未定
送料込み(出品者負担)
やや傷や汚れあり
配送の方法
2~3日で発送

配送料の負担
発送元の地域

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

ゆうゆうメルカリ便
商品の状態


ネットショップ全体での類似商品の価格比較
世界の人気ブランド 数理情報学入門 スコット プログラム理論 中島玲二
sahさん
甥っ子のために購入しました。私も息子の時に、義母からもらいとても嬉しかったです。値段が安いのか高いのか相場はわかりませんが、しっかりしていて十分です!
数理情報学入門 スコット・プログラム理論 中島玲二 直売割 本
- ソース
- aussiefrozenfruit.com.au
akiさん
我が家のワンコ達は歯磨きが苦手ですか、こちらのアップル味を利用すると、比較的嫌がらずに口を開けて拭き拭きさせてくれます。甘党のワンコにとって、フルーツ味は貴重なお品です。
○購入店舗○ 数理情報学入門 スコット・プログラム理論 中島玲二
treさん
数年前に装着したHIDがようやく球切れし、今回もフアイブストアさんで55Wの物を購入させていただきました。着けて1週間たちますが、とても明るく配光も安定しておりたいへん満足しております。
数理情報学入門 スコット・プログラム理論 中島玲二 ショッピング最安値 本・音楽・ゲーム
ardさん
無事商品届きました。梱包も丁寧でした。近くのお店でもありますが いつも忘れたり また この量だと重たいので こちらで初めて購入してみました。助かりました。