Hatena Blog Tags
はてなブログ トップ
集合論
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

集合論

(サイエンス)
【しゅうごうろん】

数学基礎論の範疇、カントールの対角線論法、可算集合、非可算集合、集合の集合などに関して親しむ。

リスト::数学関連

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
iimon TECH BLOG•1年前

集合論に学ぶJavaScriptのSet

はじめに こんにちはiimonでフロントエンドエンジニアをしている「みよちゃん」です！ 普段業務でTypeScriptを使用していますが、皆さんもご存じのSetに関して、重複を削除する以外の用途で使用したことがなく、いまいちピンときていませんでした。 最近個人的に数学を勉強する機会があり、その中の一つに「群論」がありました。これは、代数学の基礎になる分野で「集合」や「関係」を含みます。この集合・関係について学ぶなかで、Setについてハッと思う部分があったので、まとめたいと思います！ ※この記事はお堅いタイトルですが、自分が数学を勉強する中でふと思ったことをベースに書いているため、数学的理論に基…

#JavaScript#集合論

ネットで話題

もっと見る
74ブックマーク一階述語論理と集合論は循環している？お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの...ytb-logic.blogspot.com
54ブックマーク【社内勉強会】圏論的集合論 ～第一回 集合論について～techblog.finatext.com
50ブックマーク集合論雑記トップページに戻る 日記の目次 最新の日記 谷山浩子さんのページ ご意見はこちらへどうぞ [2006年12月11日] Ver1.1 Generic拡大の基本定理の証明追加。 [2006年6月7日] Ver1.0 集合論雑記の強制法に関する部分はPDFファイルにまとめました。2006年5月3日版の誤り等を修正しました。 詳細に関しては2006年6月8日の記事 ...evariste.jp
50ブックマーク(PDF)集合論入門 - 現代数学の始まり集合論入門 — 現代数学の始まり — 数 学 演 習 A (2007 年度前期) 1 Introduction—集合論の歴史から (I) Ａ君『こんにちは, 先生, 今日は大学で学ぶ数学についてお聞きしようと思って伺ったのです』 春河先生『大学入学おめでとう。大学の数学は高校までの数学とはたいへんちがうと感じる人がたくさん いると思います。 ...www.mm.sophia.ac.jp
49ブックマーククラスとは何かを集合論から考えなおす - 2009-03-08 - きしだのはてなnowokay.hatenablog.com
37ブックマーク5分でわかる集合論-基礎編必要な気がしたので、集合論の記号・言葉、定理などのカンペをつくりました。忘れたりするものがかなりあるので。タイトルは大げさか。さーせん。 集合論以前 カンマ ( , ) は 'かつ' (and) とおなじ意味 ∀x(p)\forall x(p)∀x(p)・・・すべてのxに対してpが成り立つ ∃x(p)\exists x(p)∃x(p)・・・pが成り立つようなxが(...snge.me
33ブックマーク集合論のオススメ教科書からゲーデルTLまでposfie.com
33ブックマーク公理的集合論 - Wikipedia現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z-, ZF-, ZC-, ZFC- で各体系から正則性...ja.wikipedia.org
31ブックマーク第7回　集合論――数学の「集合論」に，RDBの正体を見るxtech.nikkei.com

関連ブログ

Maxima で綴る数学の旅•1年前

-数学- Lean4のお勉強　シュレーダー＝ベルンシュタインの定理

第4章「集合と関数」の最後のセクションはシュレーダー＝ベルンシュタインの定理のLean4による証明です。 初めてこの定理をきちんとした形で知りました。集合論の濃度に関する基本的な定理です。 定理：$\alpha, \beta$を集合、$f:\alpha \rightarrow\beta, g:\beta\rightarrow\alpha$が両方とも単射である時、$\alpha$から$\beta$への全単射がある。 集合の濃度に関して$|\alpha| \ge |\beta|, |\beta|\ge|\alpha|$のとき$|\alpha|=|\beta|$が成り立つということで確かに基本的です…

#集合論#濃度#シュレーダー#ベルンシュタイン#シュレーダーベルンシュタインの定理#全単射
Maxima で綴る数学の旅•1年前

-数学- Lean4のお勉強　集合を扱う

Mathematics in LeanもC04 Sets and Functionsの最初の章である集合まで辿り着きました。ここでは集合に関する性質の証明方法のLean4での実現の仕方を知ります。 集合が等しいこと(A=B)を示す場合、ゴールをA=Bとして方法として、AがBの部分集合であり、かつBがAの部分集合であることを示すこと AがBの部分集合であることを示すにはAの任意の要素がBの要素であることを示すこと 空集合と全体集合の性質 和集合と積集合をメンバーシップの論理和と論理積 集合族の積集合と和集合 のようなことがここでは解説されています。ここでは上記の初めの２つについて簡単な命題を示し…

#MIL#集合論#Set theory