nikosainikosai

数理論理学とラムダ計算の世界(PDF版)

  • ダウンロード商品
    ¥ 500

計算機科学の基礎である「数理論理学」と「ラムダ計算」に関する入門書。 ……という建前のもと、筆者の学部時代の講義ノートをベースとして、書きたいことを書けるだけ書いた本。 できるだけ多くの関連トピックに触れるため、傍注やコラム多めの構成。 ※こちらの商品は、B5判 44ページの技術系同人誌です。 ※画像の2枚目に目次があります。ご参考までに。 ※この商品は電子版(PDF)です。物理本(紙の本)をお求めの方は以下のページから(物理本には電子版もついてきます)。 https://nikosai.booth.pm/items/1569646

計算機科学の基礎である「数理論理学」と「ラムダ計算」に関する入門書。 ……という建前のもと、筆者の学部時代の講義ノートをベースとして、書きたいことを書けるだけ書いた本。 できるだけ多くの関連トピックに触れるため、傍注やコラム多めの構成。 ※こちらの商品は、B5判 44ページの技術系同人誌です。 ※画像の2枚目に目次があります。ご参考までに。 ※この商品は電子版(PDF)です。物理本(紙の本)をお求めの方は以下のページから(物理本には電子版もついてきます)。 https://nikosai.booth.pm/items/1569646