メニュー
プログラム意味論 (情報数学講座)

プログラム意味論 (情報数学講座)

横内 寛文

この本の所有者

1人が登録
686回参照
2014年5月28日に更新

書籍情報

ページ数:
261ページ
参照数:
686回
登録日:
2014/05/28
更新日:
2014/05/28

この本を共有する

読書履歴

2014/05/28 38ページ とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。

ログインが必要です

この本をレビューしたり、読書進捗を記録するにはログインが必要です。

ログイン

AIが見つけた似た本

「プログラム意味論 (情報数学講座)」の文章スタイル、テーマ、内容を分析し、 類似度の高い本を3冊見つけました

74.1%
東大式絶対情報学

東大式絶対情報学

伊東 乾

競争社会を勝ち取るための「IT知」の技法。絶対情報感を身につけろ!東京大学全学必修・文理共通科目「情報」の最先端カリキュラムを初公開!情報の達人になる秘訣を完全伝授。

1人 5
70.4%
畑村式「わかる」技術 (講談社現代新書)

畑村式「わかる」技術 (講談社現代新書)

畑村 洋太郎

なぜ「わからない」のか、どうすれば「わかる」のか。『失敗学』『直観でわかる数学』の著者によるまったく新しい知的生産の技術。

6人 4

グローバル検索

ReadNest全体から本やレビューを検索します