期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
计算机科学中的逻辑应用研究
被引量:
2
下载PDF
职称材料
导出
摘要
本文主要从横向和纵向两大方面对计算机科学中逻辑学的应用进行探讨,首先是横向上,逻辑学在计算机硬件设计和软件处理方面获得了广泛应用,其次是纵向上,计算机的产生和发展中逻辑学起到了重要的奠基和推动作用.同时针对计算机智能化革命中出现的逻辑问题进行探讨和总结,以期为相关领域的研究提供借鉴和参考.
作者
刘榜铭
张儒良
机构地区
贵州民族大学人文科技学院
出处
《赤峰学院学报(自然科学版)》
2017年第20期14-15,共2页
Journal of Chifeng University(Natural Science Edition)
关键词
计算机
计算机科学
逻辑学
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
TP18 [自动化与计算机技术—控制理论与控制工程]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
14
引证文献
2
二级引证文献
2
同被引文献
14
1
王明.
逻辑学在计算机科学中的应用[J]
.计算机光盘软件与应用,2013,16(19):150-150.
被引量:1
2
孙兆豪.
逻辑学及其在计算机科学中的应用[J]
.河北大学学报(自然科学版),1991,11(2):93-98.
被引量:1
3
许梅,刘永富.
运用语义分析方法重新解决逻辑的判定[J]
.社会科学辑刊,2002(3):28-33.
被引量:1
4
李尧,王欣.
逻辑学在计算机软件工程技术中的应用[J]
.信息系统工程,2018,0(3):155-155.
被引量:1
5
应明生.
Phase Semantics for a Pure Noncommutative Linear Propositional Logic[J]
.Journal of Computer Science & Technology,1999,14(2):135-139.
被引量:1
6
金克勤.
2019年高考“集合、常用逻辑用语、复数”专题命题分析[J]
.中国数学教育(高中版),2019,0(7):14-21.
被引量:7
7
倪斐.
改革开放以来中国特色社会主义法治的理论命题与逻辑转向[J]
.内蒙古社会科学,2019,40(6):75-84.
被引量:4
8
卓立.
确定信念与知识确定性:关于经验证实本质的历史现象学建构[J]
.社会科学,2019,0(11):128-137.
被引量:1
9
王爱凤.
罗素研究真理的方法论分析及现实意义[J]
.内蒙古财经大学学报,2019,17(6):138-140.
被引量:1
10
耿玉.
计算机软件工程技术中的逻辑应用探析[J]
.信息通信,2016,29(12):112-114.
被引量:4
引证文献
2
1
李名扬.
逻辑学在软件工程技术中的应用探析[J]
.数码世界,2019,0(9):66-67.
2
杨井荣,李思莉.
离散数学中命题逻辑的应用研究[J]
.计算机技术与发展,2021,31(3):115-119.
被引量:2
二级引证文献
2
1
韦昌法,曾亚妮.
数理逻辑考试及自动阅卷系统设计与实现[J]
.现代信息科技,2021,5(10):141-143.
被引量:1
2
李凌.
高校“离散数学”课程实践教学探研[J]
.成才之路,2023(20):109-112.
1
车洪莹.
提高行政公文写作水平的途径探索[J]
.产业与科技论坛,2017,16(14):247-248.
被引量:2
2
颜红限.
人工智能在计算机网络技术中的运用分析[J]
.无线互联科技,2017,14(20):43-44.
被引量:8
3
龙薇,丁惠生.
“两个集合并的闭包等于闭包的并”教学中一个有趣的现象[J]
.牡丹江大学学报,2017,26(9):145-146.
4
何海虹.
基本不等式的应用[J]
.中学生数理化(高二数学、高考数学),2017,0(22):10-11.
5
周立.
计算机智能化网络监控系统设计与实现[J]
.数码世界,2017,0(10):246-247.
被引量:2
6
张桂玲,王城成,李思远.
实验室设计建设最需要关注什么?实验室设计建设与智能实验室若干问题[J]
.实验与分析,2017(3):52-53.
7
王卡珂.
信息化中药房管理的完善和趋势分析[J]
.中国卫生产业,2017,14(28):56-57.
被引量:2
8
夏巍.
近年来国内资本逻辑问题研究概览[J]
.华北水利水电大学学报(社会科学版),2017,33(5):61-63.
被引量:1
9
杨军.
浅谈计算机数据挖掘技术在档案管理系统中的应用[J]
.通讯世界,2017,0(20):257-257.
被引量:4
10
邢玉瑞.
中医象思维中的逻辑问题思考——兼与“《黄帝内经》象思维中的逻辑问题”一文商榷[J]
.中国中医基础医学杂志,2017,23(8):1088-1089.
被引量:3
赤峰学院学报(自然科学版)
2017年 第20期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部