首页> 中文会议>第二届两岸逻辑教学学术会议 >一阶逻辑项与公式归纳证明的基础及递归定义的合理性

一阶逻辑项与公式归纳证明的基础及递归定义的合理性

页面导航

摘要
著录项
相似文献
相关主题

摘要

我想题目中的这些问题在一阶逻辑建立的早期阶段就应该解决了，因为一阶逻辑元理论的讨论不可避免地要使用它们。既然问题很早就解决了，那为什么还要在这里旧题重谈呢?这些年来，我在逻辑学的教学过程中，发现学生总是很难理解归纳证明的方法，不知这种方法为什么合理。rn 赋值的递归定义虽符合直观，但是其合理性怎样说明，学生也很困惑。我们国内的数理逻辑教材可能由于许多原因(我想大概主要由于定位于文科读者)，对这些问题或谈得不深入，或根本不谈及，致使学生无法从书中得到答案或受到启发。写作本文的主要原因就是借对这些问题的讨论，以推动如同自己一样的青年教师在数理逻辑方面的教学。

著录项

来源
《第二届两岸逻辑教学学术会议》|2006年|435-437|共3页
会议地点南京
作者
许涤非;
展开▼
作者单位

中国逻辑学会;

江苏省逻辑学会;

南京大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类归纳推理（归纳法）;
关键词
一阶逻辑项; 公式归纳; 递归定义; 合理性;

相似文献

中文文献
外文文献
专利

1. 一类线性递归数列通项公式的证明和应用 [J] . 张智广 ,闫立梅 . 长春师范学院学报（自然科学版） . 2007,第003期
2. 归纳、猜想及证明等差数列前n项平方和公式 [J] . 陈达 . 科技传播 . 2010,第021期
3. 数理逻辑中的归纳定义和归纳证明 [J] . 孙明湘 ,沈旭明 . 中南大学学报（社会科学版） . 2004,第001期
4. 由通项公式构造齐次线性递归数列的递归方程 [J] . 游顺利 ,张隆辉 . 重庆三峡学院学报 . 2008,第003期
5. P进制递归问题的归纳证明 [J] . 马丽芹 ,赵刚堂 . 通化师范学院学报 . 2009,第010期
6. 带归纳定义的分离逻辑公式求解器COMPSPEN [C] . GAO Chong ,高冲 ,GU Xincai . 第十六届全国软件与应用学术会议 . 2017
7. 一种基于矛盾体分离演绎的一阶逻辑自动定理证明器研究 [A] . 曹锋 . 2020

一阶逻辑项与公式归纳证明的基础及递归定义的合理性

摘要

著录项

相似文献

相关主题

期刊订阅