商品の詳細
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日で発送 |
商品の説明
![数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本 数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本](https://www.kosho.or.jp/upload/save_image/12050620/20220706124810787223_5879c6140ecb5ec8454a7de3bb3105e4.jpg)
数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本
最新のクチコミ
絵、色と綺麗で、仕掛け絵本タイプで、子供は、大喜びでした。本も中古とは思えないほど綺麗な本で、いい買い物をさせていただきました。
- ナナナナナナ0406
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
猫が好きな、1歳の息子に買いました。 毛皮の感触が気に入ったらしく、キャッキャと触って喜んでいます。 「なで、なで、ブホッ」と言ってブホッで逆毛を立てると爆笑します。
- sachie83
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
音のでる絵本が大好きですが、どれも2500円前後はしますのでなかなかたくさんは買ってあげられません。 ボタンを押すと童謡が流れるものも持っていますが、マイクにボタンが付いていて、押すと歌や(歌入りは1番のみ)カラオケが流れるものは初めて見たし、こどもも大喜び! 自分で選んで押したがるので数字も覚えられます! マイクの入りは微妙です。うるさくなくていいかも。
- よたっこぞう
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
2歳の息子へ。トーマスブームから、カーズへ移行。カーズカーズというもので、名前がわからないため購入しました。覚えるのが大変です。
- ryun29
- 41歳
- アトピー
- クチコミ投稿 1件
購入品