社内勉強会で離散数学の論理学入門について話した。

先日、社内のエンジニア部門で「自分の好きなテーマで発表する」という社内勉強会があったので

「よっしゃ、UoPeopleで離散数学（MATH1302）のコースもやったしその中でも特にプログラミングと関係性の深い論理について話すか〜」

と数理論理学入門についての資料をつくったの公開します。

タイトルで大層なことを言っている割には入門的なことしか書いてません…。

いつかは集合論とSQLやTypeScriptについてもまとめてみたいですね。