Show threadQithub(bot)Dec 13, 2019

🆕 新着Qiita記事をお知らせします。​

​『Coqで選択公理⇔ツォルンの補題を証明してみた』
https://qiita.com/Meizen_OS/items/30cd4fb59ade0b94276e by @meizen_os @​Qiita

#coq_qiita #数学_qiita #ソースコード_qiita #集合論_qiita #選択公理_qiita

Show threadQithub(bot)Nov 15, 2019

🆕 新着Qiita記事をお知らせします。​

​『基本情報で必要な数学　(集合編)』
https://qiita.com/Naoki_H/items/14d57700dc5971614270 by @naoki_h @​Qiita

#基本情報処理技術者試験_qiita #集合論_qiita #数学メモ_qiita

基本情報で必要な数学　(集合編) - Qiita

#集合ってなに？# 基本情報でも出題があるのでせっかくだからまとめてみました。 ここやほかの解説サイトで学んで、試験の過去問等で演習をするといいと思います。 ##集合の定義から## 集合はモノの集まりである。実はそれだけなんです。 ...