共查询到20条相似文献，搜索用时 46 毫秒
1.
"一堂好课的最低标准是要有适宜的教学内容"(王荣生先生),很多数学老师可能会认为:教学内容不是在教材上写得清清楚楚吗,这样的学习内容还不清晰?其实,一堂课的教学内容应是教师在对《新课程标准》、课本充分感悟后的体现,这堂课有几个知识点,这几个知识点之间有什么联系,怎样在一节课 相似文献
2.
3.
正如本文的题目所表明的那样 ,本文的目的在于让理工科的大学生们学一点数理逻辑 .如果说数理逻辑是一门艰深、抽象甚至有点枯燥的学科的话 ,那么除了很少一些从事数理逻辑研究的专家会反对而外 ,恐怕大多数人 (包括大多数数学家在内 )都会同意这种说法的 .事实上 ,早在数理逻辑还未发展到像今天这样深入的年代 ,德·摩根 (De Morgan)就说过 :“我们知道 ,数学家对于逻辑不如逻辑学家对于数学那样关心” (见 M. Kline著《古今数学思想》,第 4册 ) .不久以前 ,A.G.哈密尔顿 (Hamilton)在他的《数学家的逻辑学》一书的前言中也明确指出了存… 相似文献
4.
数学教学活动的实践表明，最受学生欢迎的数学老师，不但要授课能力强，善于启迪学生的思维，而且要解题能力强，能够迅速正确地解答学生提出的来自各种资料上的问题．从这个意义上讲，这是数学教师必备的数学素养之一．在本文中，笔者结合自己教学与教研实践中的具体事例，谈一谈提高数学教师自身教学素养的一些拙见．1提高处理教材的能力学活课本和用好课本是教师的一项基本功．课本上的定理、例题具有极高的典型性和示范性，教师应对其进行深入的剖析和钻研，充分挖掘其潜在的教学功能．由于学生自学能力的提高，常常对课本上的例题在预… 相似文献
5.
Pierre-Louis Curien 《数学进展》2005,34(5):513-544
《线性逻辑和态极逻辑引论》一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上对数理逻辑进行了彻底的审视.全文分为两部分.本文是文章的第一部分,致力于线性逻辑的联结词、证明规则、可判定性性质和模型.文章的第二部分将研究证明网并简要介绍态极逻辑.证明网是证明的图式表示,是线性逻辑的主要创新之一. 相似文献
6.
普通中学和中等师范学校开设《微积分初步》的目的之一是培养学生辩证唯物主义观点和辩证逻辑思维能力。要达到这一目的,笔者认为关键是在进行《微积分初步》教学时,引导学生认识和理解微积分中蕴涵的辩证关系。本文想就这方面谈谈我们在教学中的几点做法。 相似文献
7.
1983年科学出版社出版了王浩教授近著《数理逻辑通俗讲话》的重印本.作者系有世界声誉之逻辑学家、计算机科学家与哲学家,现任美国洛克菲勒大学教授.作者曾于1977年秋应中国科学院邀请,在该院计算技术研究所作一系列关于数理逻辑的讲演.后作者就原来讲稿补充了不少材料写成此书。原书系用英文写成,此系中译本.共分十一章,计为(1)数理逻辑一百年(2)形式化与公理方法(3)计算机(4)问题与解(5)一阶逻辑(6)计算:理论的与现实的(7)直线上有多少点?(8)统一与多样化.最后三章为附录,计为(A)多米诺骨牌(B)算法与机器(C)抽象机. 此书系从一种高观点对数理逻辑之基本内容作大体自足之讲述.篇幅不多而内容甚富,且不少章中包含有作者自己的工作.读者须澄心细读.有些章节对非专业读者而言,未必易读. 相似文献
8.
《大学数学》1985,(4)
根据国家教育委员会《关于制订高等学校工科本科基础课程教学基本要求的几点意见①》的要求,“高等学校工科数学课程教学指导委员会②”委托部分委员先后在京津、华东、东北、西南、西安等地区召开会议,征求各高等工科学校的数学教师对制订《教学基本要求》的看法和意见。在此基础上于1985年11月在重庆大学召开了工科数学课程教学指导委员会扩大会议。会议就高等数学、线性代数、概率论和数理统计等课程的基本要求,进行了深入的研究和讨论,初步拟订了《高等数学教学基本要求》、《线性代数教学基本要求》、《概率论教学基本要求》和《数理统计教学基本要求》的讨论稿,在本刊刊登(线性代数教学基本要求,将刊登在一九八六年第一期上)供全国各高等学校工科数学教师讨论时参考。本刊根据课程教学指导委员会的意见,从本期起将陆续发表广大工科数学教师对有关讨论稿的看法和意见的文章。《教学基本要求》是一项教学指导性文件,它是各校制订教学计划和教学大纲的依据,也是编写基本教材和进行课程教学质量评估的依据。为此,我们殷切希望高等工科院校数学教研室组织订阅,希望广大工科数学教师积极参加讨论,踊跃向本刊投寄对讨论稿的修改意见,以便我们集中各方面的意见,提供课程教学指导委员会修改讨论稿时参考,使工科数学课程教学基本要求能真正体现“作为合格的工科本科学生必须达到最低的要求”,而又切实可行,成为工科数学教学的指导性文件。 相似文献
9.
基于逻辑关系的数学模型—逻辑模型的理论与分析 总被引：1，自引：1，他引：0
孟波 《数学的实践与认识》2009,39(24)
用数学模型研究实际问题是现代科学研究的常用方法.通常采用的数学模型是各种方程.但是使用方程作为研究手段也存在着许多问题,例如无法应用于不可计算的或者不具有数量概念的实际情况中,这样许多问题无法加以讨论.以命题为基础,通过数理逻辑的概念和方法,建立了具有实际意义的逻辑模型的一般理论,分析了逻辑模型的一些基本性质.逻辑模型可以看成传统模型的一种推广. 相似文献
10.
11.
我们知道,作业批改是教师的日常工作.在正常教学期间,对数学老师来说更是"每日必改",有时甚至"每日几批"(上午改前一天的作业,下午改当日作业).数学教师批改很辛苦,特别是任教两个班的教师,每天批阅作业的量很大.虽然是每天都要做的手头工作,却也容易忽略研究每天"遇到"的大量素材.我们常常说要修炼教学基本功,其实把每天手头这些素材好好研究,既有助于学生的素养提升,也有利于教师基本功的精进.本文选取最近批改作业中收集到的案例和点评意见,并跟进作业批阅的相关思考,供研讨. 相似文献
12.
在南京大学庆祝建校八十周年之际,美籍著名数学家,美国纽约洛克菲勒大学教授王浩先生以《逻辑与数理逻辑》为题,向南京大学校内外逻辑工作者和爱好者一百多人作了学术报告.报告会是八二年五月二十一日下午在南大图书馆报告厅举行的,历时三小时. 南京大学数学系莫绍揆教授主持了报告会.莫先生在介绍王浩教授的主要成就时说,王浩教授是世界知名的数理逻辑学家,哈佛大学哲学博士,现任纽约洛克菲勒大学教授.王浩教授的研究范围非常广泛,在数理逻辑方面的成就很多.他改进了理想计算机图灵(Turing)机器,现在称他改进的机器为B机器或王机器.他利用铺砖问题解决了谓词演算中一类问题的可判定性.开创了新的研究方向.现在铺砖问题已成为热门问题.罗素《数学原理》一书 相似文献
13.
充分研究陈题,充分利用陈题,充分开发陈题,把它们改编成新的试题,这是我们编制试题的一种常见方法,也是数学教师进行教学研究、提高专业素养的一条重要途径《.中学数学教学参考》(中旬)2011年第8期刊登了刘 相似文献
14.
15.
一、多年数学教学实践中"问题"不断
"问题"一:过多的作业数量一直降不下来
2011学年初,笔者的办公桌上放着8叠差不多高的试卷,这是特意向我校2009年入学的八年级学生要来的(选取试卷保存得最完整的学生),分别来自不同的班级(所教数学老师不一样),目的是想比较确切地统计一下八年级学生一学年的作业数量.称了一下,结果大吃一惊,整整12千克,平均每位学生1.5千克;数了一下,总共1584份试卷,平均每位学生198份试卷.估算了一下,完成每张试卷,学生平均要花去60分钟左右的时间.当然,这还不包括教材中的习题和《作业本》,因为这些试卷只是老师找来的,根本不是这位学生的全部数学作业.而九年级这种作业的数量只会更多.事实上,多年的数学教学实践,早就使得数学老师形成了这样一种定势:谁的作业量降得多,谁的成绩就降得多. 相似文献
16.
从结构化观点看数学新教材中“集合论”“数理逻辑”、“概率论”的关系 总被引：1，自引：0，他引：1
高中数学必修教材实验本添加了“简易逻辑”及“概率论”的知识 .“简易逻辑”范属“数理逻辑” .从结构化的角度看 ,“集合论”、“数理逻辑”、“概率论”三者是相似的 ,它们的概念、运算及其性质有一定的对应关系 ,现简单地从结构化角度分析“集合论”、“数理逻辑”、“概念率”间的联系 .1 三者间的相应概念对比表集合论数理逻辑概率论子集命题事件全集真命题必然事件 (样本空间 )空集假命题不可能事件A BA→B若A发生 ,则B发生A =BA B (事件 )等价A =BA∪BA∨B A +B(至少发生一个 )A∩BA∧BAB(同时发生 )A的补集cUA┐A … 相似文献
17.
利玛窦和徐光启翻译《几何原本》的过程 总被引：6，自引：0，他引：6
我国的《九章算术》和古希腊的《几何原本》是古代东西方两种数学体系的代表，它们截然不同。明朝末年《几何原本》被翻译到中国来，极大地影响了中国原有的数学学习和研究的习惯，是中国数学史上的一件大事，值得一书。现在不少的数学教师和学生不了解此段历史，对于利玛窦和 相似文献
18.
要想提高初中数学应用题的教学效果,务必想方设法提高学生的分析与理解能力,这是我们任教初中数学老师必须认真探索的问题.本人在初中数学应用题教学中常采用以下几点分析方法,取得了较好的教学效果.一、直观分析法:如浓度问题。首先讲清百分浓度的含义,同时讲清百分浓度的计算 相似文献
19.
全美教学教师协会（NCTM）美国数学教师的一个全国性民间组织,在美国的中小学数学教师中有广泛的影响。2000年4月发表了由主特制定的《学校教学的原理和标准》,这是该组织1989年发表的《中小学数学课程与评估标准》和与之配套的《数学教师职业标准》（1991）、《数学教学评价标准》（1995）的重组和修改本,较原来的三个标准有了许多修改。在美国有一批数学家对这些标准表示了不同的意见,我国教育界的丁尔升、张奠宙教授在一些会议上作了介绍和比较,无论如何,《标准》的许多方面,对我们还是有参考价值的。删去的‘2000项目’及‘实现梦想’两节后节译出来,使读者对《标准》有一个全面的了解。 相似文献