人気ブログランキング | 話題のタグを見る

<   2016年 09月 ( 30 )   > この月の画像一覧

バイク保険の更新
2016年09月30日
期限は11月なんですが、案内の封書が届いたので、さっさと電話して更新契約を...
すべてのxがfならば、fになるyが存在する
2016年09月29日
{∀x(f(x)=T)}→{∃y(f(y)=T)} (ただし、xとyは、と...
有限下降原理
2016年09月28日
Pは次の条件を満たす性質であるとする (1)任意のnについて、Pがnより...
数学的帰納法の応用(おうよう)
2016年09月27日
(1) P(0)=T (2)任意のnについて、Pが0からnまでのすべての数...
2016/08/25-09/24
2016年09月26日
読み 「スマリヤン記号論理学」丸善 9/4「神は沈黙せず」山本弘 9/10...
すべての無限集合には、部分集合として可算無限集合をもつことを証明せよ
2016年09月25日
ex) 全整数の集合から、0を取り去ったら、残りは可算無限集合である。 全...
SSDを買った
2016年09月24日
じつは会社で、いまだにXPを使っています。ネットには繋がっていないので、い...
対角線論法
2016年09月23日
正整数を並べて、数列Pnをつくる。正整数が要素なので、数列Pnは無限に作る...
空集合は全ての集合の部分集合である証明
2016年09月22日
ABを任意の集合、xを要素として、「AがBの部分集合である」の定義を論理式...
二つ以上の空集合が存在しない証明
2016年09月21日
空集合が複数あると仮定して、そこから任意の二つの空集合を取り出し、∅aと∅...
富士川遡上ツーリング
2016年09月20日
富士川をさかのぼって、途中から笛吹川沿いに移り、国道20号線を通って、河口...
弊社の納品伝票は、数量*単価なんだけど
2016年09月19日
これはどうやら、算数の教科書ではダメな書き順らしいのです。 https:...
江ノ島を見た
2016年09月18日
PAPAC-00の製作 1
2016年09月17日
PAPAC00とは、紙製のコンピュータ(論理ゲート)です。画像をダウンロー...
マンモス
2016年09月16日
近所のビルの壁面です。「はじめ人間ギャートルズ」みたいな、みたいじゃないよ...
「スマリヤン数理論理学」P60の読解
2016年09月15日
「標識付きの式FXが充足可能であれば、FXのタブローで閉になるものはない」...
ディオファントス方程式の定理の証明
2016年09月14日
ディオファントス方程式の係数A、Bが互いに素であれば、 Ax0+By0=...
下降列
2016年09月13日
x1,x2,x3・・ と続く、有限列または加算列で、第1項ではない任意の...
1/2+1/4+1/8+・・=1
2016年09月12日
上式を、A=1/2+1/4+1/8+・・という無限和とする。 2A=1+...
「スマリヤン数理論理学」P46「コンパクト性」の記述を、自分なりに書き直す
2016年09月11日
加算無限集合Vの中に、各種のクラブを作る。クラブCが最大(maximal)...
1 2 次へ > >>

ファン申請

※ メッセージを入力してください