「Mizar/証明思考法」の変更履歴

このページの記録を表示 (不正利用記録を閲覧)

凡例:（最新版）= 最新版との比較、（前の版）= 直前の版との比較、M = 細部の編集

最新前 04:542024年2月21日 (水) 04:54‎ Ef3 トーク投稿記録‎ 5,251 バイト −708‎ {{Nav}} 取り消しタグ: 2017年版ソースエディター

最新前 11:352015年8月8日 (土) 11:35‎ .旻トーク投稿記録‎ M 5,959 バイト +51‎ 編集の要約なし取り消し

最新前 17:252009年6月30日 (火) 17:25‎ Ocyacya トーク投稿記録‎ 5,908 バイト 0‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し
最新前 17:222009年6月30日 (火) 17:22‎ Ocyacya トーク投稿記録‎ 5,908 バイト +15‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し

最新前 07:372009年6月20日 (土) 07:37‎ Ocyacya トーク投稿記録‎ 5,893 バイト +6‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し
最新前 06:532009年6月20日 (土) 06:53‎ Ocyacya トーク投稿記録‎ 5,887 バイト 0‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し
最新前 06:372009年6月20日 (土) 06:37‎ Ocyacya トーク投稿記録‎ 5,887 バイト +456‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し
最新前 06:202009年6月20日 (土) 06:20‎ Ocyacya トーク投稿記録‎ 5,431 バイト +3,503‎ 編集の要約なし取り消し

最新前 02:412009年6月17日 (水) 02:41‎ Ocyacya トーク投稿記録‎ 1,928 バイト +6‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）取り消し
最新前 02:402009年6月17日 (水) 02:40‎ Ocyacya トーク投稿記録‎ 1,922 バイト +1,273‎ 編集の要約なし取り消し

最新前 11:222009年6月16日 (火) 11:22‎ Ocyacya トーク投稿記録‎ 649 バイト +21‎ 編集の要約なし取り消し
最新前 10:432009年6月16日 (火) 10:43‎ Ocyacya トーク投稿記録‎ 628 バイト +628‎ ページの作成: 数学の証明するには論理記号を使い、空間条件(論理集合(論理式)):法則条件と言った形式で表現しなければならない。従って、 ...

"https://ja.wikibooks.org/wiki/Mizar/証明思考法" より作成