当日発送
送料無料

新作モデル数理情報学入門　スコット・プログラム理論　/ 中島玲二コンピュータ/IT

お気に入りブランド

クチコミ評価 5.6（37件）

販売価格：: ￥6715税込
獲得ポイント：: ポイント

商品がカートに追加されました

販売価格：￥6715 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

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

カテゴリー:	本・音楽・ゲーム>>>本>>>コンピュータ/IT
商品の状態:	やや傷や汚れあり
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	未定
発送までの日数:	2~3日で発送