首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到9条相似文献,搜索用时 15 毫秒
1.
高博 《现代教学》2002,(12):48-49
在这一讲中,我们将更深入地研究逻辑数学。更正式地,这种运用数学手段研究逻辑的科学,叫做数理逻辑学。当然,更细致地说,这个教程里面的所涉及的部分,仅是数理逻辑学中的一个小部分。  相似文献   

2.
高博 《现代教学》2003,(2):50-51
上一讲中,我们已经以列表的形式,把所有的单目和双目逻辑联结词完备地列举出来了。正如在普通的数学运算中,本来可以建立无数的单目和双目运算符,但常用的无非是四则运算符一样,单目和双目逻辑联结词的个数虽然说是有限的,但是并不是都是常用的。表达的逻辑意义常用的,这个联结词当然也就是常用的。  相似文献   

3.
高博 《现代教学》2003,(4):46-47
大家也许读过一则非常感人的美国短篇小说,就是Pete Hamil改编自美国民间传说的《回家》:一群去Fort Lauderdale度假的活泼的年轻人中,悄悄地坐着一个默不作声的青年男子Vingo。一个热心的女孩子反复和他找话讲,他也无精打采、在再三追问下,他才吞吞吐吐地说,自己本是一个服刑的犯人,因为无颜再面对家人,他写信给在Brunswick的妻子说:“如果你还爱我,就在门前的老橡树上挂一块黄手帕”。  相似文献   

4.
高博 《现代教学》2003,(1):48-49
习于思考的读者一定会隐约地在考虑这样一个问题:联结词的数目到底有多少?或者比较明确地说,一目运算的联结词和二目运算的联结词各有多少呢?要回答这个问题,在目下看来还是有些难度。所以,先从比较容易的一目运算的联结词着手。  相似文献   

5.
高博 《现代教学》2003,(3):48-49
我们花了整整四讲的篇幅,来细致地建立了一套有别于我们日常所用的形式系统。如果认真地阅读了我前几讲的内容,那末目下诸位应该脑子里面很清楚如下的几个观念。  相似文献   

6.
Java是从C++基础之上发展过来的,它们有许多相似之处,但也有不少显著的差异,学生在学习过程中容易出错。文章针对教学中发现的两者之间几个容易混淆的内容,对它们进行了简单阐述,希望对大家的学习有所帮助。  相似文献   

7.
我们中国有一句非常好的古话,叫做“自古英雄出少年”。我们的中小学办得是世界一流的,我敢保证是世界一流的。我国在世界初等教育水平的智力Olympic竞赛中所获得的荣誉,是为世界各国所有目共睹的。我的一个在美国的朋友,平生并未到过中国,却朝思暮想读中国的文字,学习“Agroupofgoldeneducationalmethodsofgeniustraining”。意思是说中国的“精英教育”,或者说“天才教育”搞得很好,他很佩服。杨振宁、  相似文献   

8.
C程序设计语言中提供了两个特有的运算符,即自增运算符(++)和自减运算符(--),用于对变量加1、减1正确理解并使用这两个运算符对于编写C程序是很重要的。本文介绍了讲解分析Turbo C程序中的自增运算符++和自减运算符--的3种方法,即语句分解法、表达式独立求值法和变量存储示意图法。  相似文献   

9.
智慧课堂是在一定的教学时空范围内,以相关的学科学习材料为主要载体,以教师、学生以及学习载体三者之间的对话为主要方式,在整合各种教育资源、创设富有智慧的教育条件的情况下,促进孩子智慧发展的课堂;是以完善学生的人格成长,促进学生的智慧发展,提高学生的综合素质为目标的理想课堂。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号