asc_meta https://blog.hatena.ne.jp/asc_meta/ 「好き」をブチ抜く https://www.buchinuku.work/ 学問-人工知能・AI プログラミング 学問-数学 学問-計算論 学問-論理学 学問 記事の内容 この記事では、数理論理学、数学基礎論、プログラム理論、計算論などの分野にまたがるおすすめな本を紹介したい。 軸として、「コンピュータは数学者になれるか」という本を挙げたい。この本では、巻末にて、さらなる専門書が紹介されている。初学者である私にはとても参考になった。それらの本を今回の記事では紹介したい。 ほかにも個人的に読んでみてよかった本も併せて紹介する。 教科書、専門書の紹介が多くなる。 数理論理学、数学基礎論とプログラム理論、計算論などをつなぐようないい地図を初学者は欲しいと思う。そのためにも、こうして記事にしておきたい。ぜひ目次に目を通してみてほしい。 記事の内容 コンピュー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.buchinuku.work%2Fentry%2F2019%2F12%2F1" title="数理論理学、数学基礎論、プログラム理論、計算論、コンピュータサイエンス【おすすめ本紹介】 - 「好き」をブチ抜く" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51GxbL2+stL._SL1000_.jpg Hatena Blog https://hatena.blog 2019-12-01 20:42:07 rich https://www.buchinuku.work/entry/2019/12/1 1.0 100%