蔵書検索・予約 条件入力に戻る ハイライト： ON OFF 書名 計算論 計算可能性とラムダ計算 （コンピュータサイエンス大学講座） 著者 高橋 正子 出版者 近代科学社 出版年 1991/08 分類 410 形態 通常図書 予約かごへ 予約する 所蔵 所蔵件数は1件です。現在の予約件数は0件です。 No.所在場所置き場所分類図書記号巻冊記号資料コード形態状態禁帯 1図書館本館書庫２410ﾀ 0111386389通常図書利用可 No. 所在場所 置き場所 分類 図書記号 巻冊記号 資料コード 形態 状態 禁帯 1 図書館本館 書庫２ 410 ﾀ 0111386389 通常図書 利用可 詳細情報 書名 ｹｲｻﾝﾛﾝ 計算論 副書名 ｹｲｻﾝ ｶﾉｳｾｲ ﾄ ﾗﾑﾀﾞ ｹｲｻﾝ 計算可能性とラムダ計算 叢書名 ｺﾝﾋﾟｭｰﾀ ｻｲｴﾝｽ ﾀﾞｲｶﾞｸ ｺｳｻﾞ コンピュータサイエンス大学講座 ２４ 著者名１ ﾀｶﾊｼ ﾏｻｺ 高橋 正子／著 出版者 ｷﾝﾀﾞｲｶｶﾞｸｼｬ 近代科学社 出版年 199108 分類 410.9 ページ １９１ｐ サイズ ２２ｃｍ ＩＳＢＮ 978-4-7649-0184-1 (4-7649-0184-6) 価格 3398 内容紹介 計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。 件名 帰納的関数 関連資料 表示 非表示 詳細： 表示 非表示