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 |