回答履歴 - akatsuki_0さんのプロフィール | 教えて!goo

アプリでもっと教えて！goo

dポイントプレゼントキャンペーン実施中！

akatsuki_0

2008/06/06に登録

λ項の束縛変数

2011/08/10 16:41
回答数(2)

#1さんが言うように、(yz)は変数じゃないですね。 y,z…

回答日時：2011/08/10 20:03

0

論理学　多重量化とは？

2011/08/08 10:46
回答数(1)

たしかに読みにくい記述ですね…。まず、「同じ１つの述語記号」…

回答日時：2011/08/08 12:57

0

数理論理学なのですが

2011/07/08 19:30
回答数(2)

たしかに、tが何なのかを全く言ってなかったですね…。正確に述…

回答日時：2011/08/08 10:31

0

代数学の良い教科書

2011/08/04 11:38
回答数(3)

Lindsay N. Childs, A Concrete …

回答日時：2011/08/04 19:14

0

独立した複数の証明方法は存在するのですか？

2011/08/02 10:43
回答数(9)

数学に独立した証明があるというのは#1さんの例で明らかですか…

回答日時：2011/08/02 11:40

0

論理とは何でしょうか？

2011/07/30 14:49
回答数(5)

一口に論理と言っても多義的で、適用される領域ごとに固有の論理…

回答日時：2011/07/31 01:26

0

欲望を抑えるのは神の意思に背くのではないか？

2011/07/30 09:46
回答数(13)

あるタイプの宗教が禁欲を説くのに違和感を感じるのは同意します…

回答日時：2011/07/30 10:52

0

数理論理学に関するアロンゾ・チャーチの著作名の問い

2011/07/03 11:53
回答数(3)

シェーンフィールドの本はいま手元にないので答えられないんです…

回答日時：2011/07/29 01:16

0

倫理

2011/07/28 16:58
回答数(3)

ソクラテスの方法論はよく知られています。単純化してしまえば以…

回答日時：2011/07/28 22:23

0

次の推論が妥当であるか否か真理値割り当ての方法で

2011/07/28 19:29
回答数(4)

太郎が反対：P, 花子が反対：Q, コンサートは中止：R, …

回答日時：2011/07/28 21:50

0

前へ
1
2
3
4
5
次へ

おすすめ情報