Access count of this item: 6

Files in This Item:
File Description SizeFormat 
2083-17.pdf580.71 kBAdobe PDFView/Open
Title: シークエントと証明活動 (証明論と証明活動)
Authors: 佐々木, 克巳  KAKEN_name
Author's alias: Sasaki, Katsumi
Issue Date: Aug-2018
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録 = RIMS Kokyuroku
Volume: 2083
Start page: 167
End page: 172
Abstract: 学校教育における証明活動は, 4つの相, すなわち, 問題の理解, 証明の構想, 証明の構成, 振り返りに分けられている(辻山[4]など). 本稿では, この各相におけるシークエントのよさを考察する. 主な考察は, 証明の構想, 証明の構成に対して行うが, その内容の多くは佐々木[2], [3]で述べたことである. 本稿では, それらの考察を含め, シークエントのよさを4つの相に対応付ける形で整理する.
Appears in Collections:2083 Proof theory and proving

Show full item record

Export to RefWorks

Export Format: 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.