Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
ラムダ計算 - Lambda calculus
View more
Shopping
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) [ 高橋正子(数学) ]
3,740
円
1
customer ratings
5
★★★★★
計算可能性とラムダ計算 コンピュータサイエンス大学講座 高橋正子(数学) 近代科学社BKSCPN_【高額商品】 ケイサンロン タカハシ,マサコ 発行年月:1991年08月 ページ数:191p サイズ:全集・双書 ISBN:9784764901841…
【中古】 計算モデル論入門 チューリング機械からラムダ計算へ/井田哲雄(著者),浜名誠(著者)
385
円
井田哲雄(著者),浜名誠(著者)販売会社/発売会社:サイエンス社発売年月日:2006/08/01JAN:9784781911359
計算モデル論入門 チューリング機械からラムダ計算へ (Information science & engineer) [ 井田哲雄 ]
1,540
円
チューリング機械からラムダ計算へ Information science & engineer 井田哲雄 浜名誠 サイエンス社ケイサン モデル ロン ニュウモン イダ,テツオ ハマナ,マコト 発行年月:2006年08月 ページ数:125p サイズ:全集・双書 ISBN:9784781911359…
【中古】 計算論 計算可能性とラムダ計算 コンピュータサイエンス大学講座24/高橋正子【著】
2,480
円
高橋正子【著】販売会社/発売会社:近代科学社発売年月日:1991/08/30JAN:9784764901841
【中古】 計算モデル論入門 チューリング機械からラムダ計算へ / 井田 哲雄 / サイエンス社 [ペーパーバック]【メール便送料無料】【最短翌日配達対応】
629
円
著者:井田 哲雄出版社:サイエンス社サイズ:ペーパーバックISBN-10:4781911358ISBN-13:9784781911359■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては 発送まで48時間かかる場合があります。あらかじめご了承ください。…
計算論 計算可能性とラムダ計算 コンピュータサイエンス大学講座 / 高橋正子(数学) 【全集・双書】
3,740
円
出荷目安の詳細はこちら商品説明計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。
【中古】 計算モデル論入門 チューリング機械からラムダ計算へ / 井田 哲雄 / サイエンス社 [ペーパーバック]【ネコポス発送】
629
円
著者:井田…
【中古】 計算モデル論入門 チューリング機械からラムダ計算へ / 井田 哲雄 / サイエンス社 [ペーパーバック]【宅配便出荷】
579
円
著者:井田…
はじめてのLisp関数型プログラミングーーラムダ計算からリファクタリングまで一気にわかる【電子書籍】[ 五味弘 ]
2,838
円
…
はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus)
3,398
円
…
はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus)
3,680
円
…
Dictionary
計算
けいさん
calculation / reckoning / count
0
ラムダ
ラムダ
lambda
0
Tags
FOLDOCを情報源とする記事
ISBNマジックリンクを使用しているページ
スティーヴン・コール・クリーネ
ラムダ計算
参照方法
形式体系
形式手法
数学に関する記事
数理論理学
書きかけの節のある項目
理論計算機科学
関数型プログラミング
Share
Twitter
Trends
▲
1
trends timeline
Languages
Lambda-Kalkül
Lambda calculus
Cálculo lambda
Lambdakalkyyli
Lambda-calcul
Lambdacalculus
Лямбда-исчисление
Kalkulong lambda
Lamda kalkülüs
Phép tính lambda
ラムダ計算
Related
計算理論
計算モデル
型付きラムダ計算
計算機科学
Similar
不動点コンビネータ
アルゴリズム
形式手法
制約論理プログラミング
並行制約プログラミング
View More
JapaneseClass.jp
Travel
Japan Hotels