论文部分内容阅读
数理逻辑是一门研究推理的数学基础课程,在计算机科学的进步和发展的进程中起着不可忽视的重要作用,是计算机科学工作者所不可获缺的重要基础理论和思维方法.本文笔者将在简要分析数理逻辑概念、发展及其对计算机重要性的基础上,对数理逻辑在计算机中的具体应用及其发挥的重要作用给予深入地剖析和解释.
数理逻辑及其在计算机中的应用
【摘 要】
：
数理逻辑是一门研究推理的数学基础课程,在计算机科学的进步和发展的进程中起着不可忽视的重要作用,是计算机科学工作者所不可获缺的重要基础理论和思维方法.本文笔者将在简
【机 构】
：
郑州工业应用技术学院
【出 处】
：
赤峰学院学报(自然科学版)
【发表日期】
：
2015年23期
其他文献
【目的】现有的患者投诉分类框架,通常是专家经验的总结,具有一定的局限性。根据国内患者的具体情况,结合现有的患者投诉的分类框架,本研究通过使用机器学习hLDA层次主题建模的方法对患者投诉进行主题挖掘,形成一个更加科学合理的分类框架,以便于更好地对医疗服务的质量进行评估。【方法】利用文献分析法,对现有的患者投诉分类框架进行总结归纳;使用HLDA为基础的方法,对资料进行主题挖掘,再使用逐点互信息技术解析
学习毛泽东思想有助于大学生树立科学的世界观和方法论,提高其运用马克思主义立场、观点和方法认识问题、分析问题、解决问题的能力;有助于坚定大学生的社会主义信念,提高其
3月7日，《新京报》爆出砖塔胡同鲁迅旧居将面临拆迁。本文作者再次探访了鲁迅曾住过的地方，旧居至今已进行了多次翻建，外墙上布满大大的白色“拆”字。这处旧址恐怕走到了存世的
报纸
郫县豆瓣是中国地理标志产品,属中国传统发酵食品,传统“翻、晒、露”半开放式的发酵工艺赋予了其独具特色的产品性状。本研究采用高效液相色谱法(HPLC)、30+氨基酸自动分析
半导体光催化氧化技术是一种新的废水处理技术，TiO2是最常用的光催化剂，但由于对自然光响应波长范围窄，光生载流子复合过快而催化活性不高。通过各种改性方法，有可能提高催化剂活
[目的 /意义]当今,在多极化信息传播模式下,及时防范和有效处理突发事件网络舆情迫在眉睫。[方法 /过程]采用社会网络分析方法,结合具有典型代表意义的突发事件案例,对其产生
当前,信息技术日新月异,信息化已逐步渗透到农业领域。农业信息化已成必然趋势,在当下农业产业化发展过程中,信息化逐渐成为其中一个最为活跃的生产要素。对转变农业发展方式
在对榆林市定边县民间借贷市场进行调研的基础上,发现民间借贷市场具有三个特点:借贷规模庞大且主体多元、资金流向集中、民间借贷利率普遍较高且期限较短。分析定边县民间借
<正>鞑子梁被誉为"洛南原始民居活化石",她就像一个历经风雨沧桑的老人,孤苦无依地向人们诉说着:时光时光你慢些吧,这里有我太多的故事,太多的欢乐……目前,鞑子梁石板房文化