论文部分内容阅读
本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识，对推理规则的深刻理解，以及对З-消除规则的正确领会。在此基础上，提出了一种“证明技术”的教学方案。
离散数学数理逻辑教学中值得关注的几个问题
【摘 要】
：
本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识，对推理规则的深刻理解，以及对З-消除规则的正确领会。在此基础上，提出了一
【机 构】
：
解放军理工大学指挥自动化学院计算机系
【出 处】
：
计算机教育
【发表日期】
：
2009年16期
其他文献
当下自媒体时代,人们借助移动通讯设备在网络社交平台上传播照片信息,在满足传播者分享信息欲望的同时也产生了大量的伦理问题,给人们带来不必要的困扰和精神压力。导致这些
本文对集中式操作系统和分布式操作系统中的同步互斥机制进行了对比分析,并对这两种系统中的互斥策略通过比较教学法进行了进一步研究。
互联网的迅猛发展催生出微商、电商等新兴行业,其中,网络视频直播不再让一夜暴富成为瞎话。直播所涉及的游戏、娱乐、宣传、营销等领域广泛,内容丰富多彩,因而被越来越多的大
商852井位于胜利油区济阳坳陷.该井所在区块下部地层(东营组及沙河街组)疏松,不整合面、断层面以及火成岩段较多,极易发生泥岩缩径、井壁坍塌和井漏.针对这种情况,在该井下部
本文从C语言程序设计这门课程的特点出发，结合应用型本科院校的特点以及笔者的教学经验，对如何提高c程序设计课程教学效果给出几点体会。
城市形象是一种公众印象。展览馆作为城市发展"软实力"的体现和阐释城市形象的特殊媒介,在彰显城市魅力、促进城市经济发展方面具有重要的作用。本文以芜湖市为例,通过问卷调
存储和处理是程序设计的基本矛盾，但是存储中有处理，可以称为基本处理，例如机器指令中的操作码，C语言内部数值类型的运算符，而处理中也有存储，处理的对象主要是存储中的数据，处理的
项目背景：为支持某个专门领域的基础研究，微软亚洲研究院定期推出针对不同主题的研究支持计划，教师们在微软亚洲研究院公布的主题中自主选择研究方向和研究题目，并提交项目计划书
采用化学气相渗透(chemical vapor infiltration,CVI)方法,在具有2.5D浅交弯联结构的SiC纤维管状编织体上预沉积SiC-PyC-SiC多层界面(PyC即Pydrolyticcarbon,热解碳),再利用C