|
公理（こうり、Axiom）とは、その他の命題を導きだすための前提として導入される最も 基本的な仮定のことである。一つの形式 体系における議論の前提として置かれる一連の 公理の集まりを 公理系（Axiomatic system）という。 公理を前提として演繹手続き によって ...
http://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86
|
|
Category: 公理. 出典: フリー百科事典『ウィキペディア（ Wikipedia）』. 移動： 案内, 検索. 公理についてのカテゴリ. カテゴリ「 公理」にあるページ. 以下の15ページがこのカテゴリ に含まれており、そのうち15ページが表示されています。 ... ま. マーティンの 公理 ...
http://ja.wikipedia.org/wiki/Category:%E5%85%AC%E7%90%86
|
|
公理（1） 1830年頃. ユークリッド幾 何学とは、 我々が、小学校や、中学校で学ぶ幾 何学 のことだ。 ようは、まっ平らな紙の上に描いた「点・直線・平面」などを取り扱う図形の 学問のことである。この幾 何学の歴史は古く、 紀元前300年頃、エジプトの学者 ...
http://www.h5.dion.ne.jp/~terun/doc/kouri.html
|
|
世界大百科事典 第2版 公理の 用語解説 - 数学や論理学における各理論は，いくつかの 命題を前提とし，それらだけを用いて理論が展開される。その前提とする各命題がその 理論の 公理であり，前提とするいくつかの命題を併せたものが 公理系である。採用する ... http://kotobank.jp/word/%E5%85%AC%E7%90%86
|
|
「 公理」とは - 論理学において導出の基礎となるもの． 広い意味で，ある名前の付いた 概念を定義する条件をこう呼ぶこともある．例： 群の 公理，開集合の 公理，平行線の 公理. http://d.hatena.ne.jp/keyword/%B8%F8%CD%FD
|
|
公理とは? 算数・ 数学用語。 (1)一般に広く通用する真理・道理。 「人生の―」 (2)〔axiom 〕(ア)真なることを証明する必要がないほど自明の事柄であり、それを出発点として他の 命題を証明する基本命題。 (イ) 数学の理論 体系で...
http://www.weblio.jp/content/%E5%85%AC%E7%90%86
|
|
2007年10月20日 ... なんとなく作ってみた 数学動画．やめときゃよかった．BGMはシェンムー第一章について たShenmue Juke... http://www.nicovideo.jp/watch/sm1324200
|
|
コメント: ★ご注文24時間受付中・即日発送いたします( ^^) _旦~~★ コンディション-良い ＝ Amazonガイドラインに従った商品評価をしております。商品には、カバーに若干の傷 や折れがある場合がありますが全 体に比較的きれいで、本文ページにも書き込みや ... http://www.amazon.co.jp/%E3%83%9E%E3%83%8D%E3%83%BC%E3%81%AE%E5%85%AC%E7%90%86-%E3%82%B9%E3%82%A4%E3%82%B9%E3%81%AE%E9%8A%80%E8%A1%8C%E5%AE%B6%E3%81%AB%E5%AD%A6%E3%81%B6%E5%84%B2%E3%81%91%E3%81%AE%E3%83%AB%E3%83%BC%E3%83%AB-%E3%83%9E%E3%83%83%E3%82%AF%E3%82%B9%E3%83%BB%E3%82%AE%E3%83%A5%E3%83%B3%E3%82%BF%E3%83%BC/dp/4822244695
|
|
|
http://www.tradersshop.com/bin/showprod?c=9784822244699
|
|
特殊/一般相対性理論とビッグバンは誤り。時間と空間は、物理的実 体から離れて存在し 、全ての系で利用できる絶対時間と、歪みがなく光速一定の法則が適用できる絶対空間 を 提案。 http://www5b.biglobe.ne.jp/~sugi_m/
|
|
|
|
|
| その他関連サイト |
MarriageTheoremのこと(2011-10-13)
2011年10月13日 ... *1 本来は（定理の出典を明らかにするために）リンクを貼るべきだが、「（間違いなどは） こっそり知らせてくだされば（後略）」 ... _ ↑↑の件で日記の主に確認したところ、DCを 使わない証明も考えたけれども、その日が「選択公理の日」だったので（ ... 本日の ツッコミ(全4件) [ツッコミを入れる] ... 3.0.2 ...
|
MarriageTheoremのこと(2012-02)
2012年2月1日 ... 詳細は上のリンク先などにあるので省くけれども、選択公理を仮定すると（囚人の集合の 濃度の如何に関わらず）必勝法の存在を示すことができる。さて、ではこのゲームの 必勝法の存在は選択公理と同値だろうか？私は答えを知らないので、 ...
|
Inemuri nezumi diary(2009-02)
2009年2月15日 ... Zornの補題から選択公理を導く(2009 Jan 28)とかは、授業に使っているんですかね。 ... 的読者向けか。rapid prototype について、論文や文章を書くことと、ソフトウエア開発 手法がリンクするところは何にでも通用することではないかと思う。
|
igaiga diary(2007-09)
2007年9月1日 ... 本日のツッコミ(全2件) [ツッコミを入れる]. _ やまさき [うあ、 .... マンガ喫茶メソッドはここ に書きました。 http://www.machu.jp/diary/200..] .... 料理名と解説はリンクページに 詳しく書いてあります。 .... 自然数の完全性（公理から全てのことは証明できるという性質 ）を証明しようとしていました。 ... 3.1.3 ...
|
ヒビルテ(08-25[長年日記])
2001年8月25日 ... LLDNのプログラムからリンクされてないなぁと思って確認したら、送ったメールが 550 User unknown でエラーになってたというオチ。 ... また、その副産物として、オリジナル のArrowの公理が冗長だったことが分かった。 f gt;gt;gt; arr id = f はArrowの他の公理から 導出可能だし、 first (arr ... 2.3.3 ...
|
|
|