empitsu88 https://blog.hatena.ne.jp/empitsu88/ えんぴつぶろぐ https://empitsu88.hatenablog.com/ 数学 先日、社内のエンジニア部門で「自分の好きなテーマで発表する」という社内勉強会があったので 「よっしゃ、UoPeopleで離散数学（MATH1302）のコースもやったしその中でも特にプログラミングと関係性の深い論理について話すか〜」 と数理論理学入門についての資料をつくったの公開します。 タイトルで大層なことを言っている割には入門的なことしか書いてません…。 いつかは集合論とSQLやTypeScriptについてもまとめてみたいですね。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fempitsu88.hatenablog.com%2Fentry%2F2021%2F06%2F08%2F170000" 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://cdn-ak.f.st-hatena.com/images/fotolife/e/empitsu88/20210608/20210608120545.png Hatena Blog https://hatena.blog 2021-06-08 17:00:00 rich https://empitsu88.hatenablog.com/entry/2021/06/08/170000 1.0 100%