[過去ログ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
296: ¥ ◆2VB8wsVUoo 2017/08/25(金)23:40:06.44 ID:TrbQa07i(27/33) AAS

298: ¥ ◆2VB8wsVUoo 2017/08/25(金)23:40:40.44 ID:TrbQa07i(29/33) AAS

389: ¥ ◆2VB8wsVUoo 2017/08/30(水)14:29:41.44 ID:xZ8twSlP(11/21) AAS

456: 2017/09/14(木)13:54:43.44 ID:UmLB2r4C(1) AAS
マルチ消えろゴミ
482: 2017/09/24(日)13:32:00.44 ID:hINKYO0/(1/4) AAS
>>481
なぜですか?
654: 2017/10/28(土)20:28:16.44 ID:w9q+vqpR(13/36) AAS
>>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

わからないんですね(笑)
661
(1): 2017/10/28(土)20:32:17.44 ID:dVnNrIca(10/18) AAS
>>641
アプリオリとアポステリオリの違いはここでは些細ですね
何を証明せずに何を証明し得たかをハッキリさせたいだけです

引き続き、会話(日本語)ができる方の回答をよろしくお願いしますm(_ _)m
801: 2017/11/05(日)17:44:03.44 ID:+DTTDbQg(2/2) AAS
それは分かってるけど、もしそんな方程式が解けたなら素敵なのかなって聞きたかった
816: ¥ ◆2VB8wsVUoo 2017/11/07(火)20:51:46.44 ID:qfDf0bUe(2/10) AAS

835: ¥ ◆2VB8wsVUoo 2017/11/09(木)08:34:09.44 ID:9ddzKhaE(5/10) AAS

845: ¥ ◆2VB8wsVUoo 2017/11/10(金)19:19:11.44 ID:f5tI1p7u(3/20) AAS

875: ¥ ◆2VB8wsVUoo 2017/11/12(日)20:43:38.44 ID:AbMINYSr(5/10) AAS

904: ¥ ◆2VB8wsVUoo 2017/11/19(日)19:37:00.44 ID:1TUhKzn4(4/10) AAS

966: 2017/12/02(土)08:52:32.44 ID:NBFB59xj(1) AAS
位相多様体のことだったりして
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.030s