有“创造力”的自然演绎推理 (Natural Deduction as a Creative Process)

ResearchSpace/Manakin Repository

Show simple item record

dc.contributor.author Seligman, Jeremy en
dc.coverage.spatial Southwest University, Chongqing, China en
dc.date.accessioned 2018-10-07T22:39:21Z en
dc.date.issued 2012-04-28 en
dc.identifier.uri http://hdl.handle.net/2292/39256 en
dc.description.abstract 本文首先分析了使用符号构造定理证明需要的三种技能,强调学生从教学中难以具备读懂和构造严格形式证明的能力,进而分析了现有的解决方法和其不足,提出了使用根岑形式的自然演绎,并用证明生成的顺序去给证明的序列标号而不是按从头到尾的顺序标号的教学思想。对数学功底较差的学生教授逻辑一直是业界难题。本文对此进行了深入分析并提供了建设性意见。 en
dc.relation.ispartof 5th Cross-straits Conference in Logic Teaching and Research en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title 有“创造力”的自然演绎推理 (Natural Deduction as a Creative Process) en
dc.type Presentation en
dc.rights.holder Copyright: The author en
pubs.finish-date 2012-04-28 en
pubs.start-date 2012-04-26 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Conference Oral Presentation en
pubs.subtype Invited en
pubs.elements-id 648874 en
pubs.org-id Arts en
pubs.org-id Humanities en
pubs.org-id Philosophy en
pubs.record-created-at-source-date 2017-08-15 en


Full text options

Full text for this item is not available in ResearchSpace.

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse