期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
数理逻辑在计算机科学中的应用浅析
被引量：
8
下载PDF
职称材料
导出
摘要
本文简要介绍了数理逻辑的基本思想和特点,数理逻辑思想在计算机科学领域中的应用,数理逻辑所采用的计算机研究方法,以及考虑问题的思维模式对计算机科学发展带来的启迪。
作者
龚静
王青川
机构地区
青海省人工影响天气办公室
青海省气象局
出处
《青海科技》
2004年第6期53-55,共3页
Qinghai Science and Technology
关键词
数理逻辑
计算机科学
浅析
研究方法
思维模式
特点
思想
领域
分类号
TP301 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
7
参考文献
3
共引文献
3
同被引文献
27
引证文献
8
二级引证文献
20
参考文献
3
1
戴青云,唐立中.
元数学对计算机科学的启示[J]
.计算机工程与应用,2003,39(2):94-95.
被引量：2
2
邹姝稚,张再跃,郭振民.
计算机科学若干概念的元数学刻划[J]
.现代电子技术,2000,23(6):37-40.
被引量：3
3
王玲,唐立中,沈清.
元数学与程序设计语言[J]
.小型微型计算机系统,1999,20(9):717-720.
被引量：3
二级参考文献
7
1
王能斌.数据库系统[M].北京:电子工业出版社,1997.91-93.
2
S.C.Kleene.元数学导论[M].科学出版社,1994.11.
3
唐立中.元数学对计算机科学的启示[J].电子工程师,1996,:25-32.
4
王能斌 董逸生著.数据库设计与实现[M].华中理工大学出版社,1995..
5
[美]SC克林著 莫绍揆译.元数学导论[M].科学出版社,1985..
6
唐立中，电子工程师，1996年，增刊，25页
7
Kleene S C，元数学导论，1994年，11期
共引文献
3
1
李剑波,李小华.
计算机科学中的元数学思想[J]
.福建电脑,2005(8):3-4.
2
张晓如,张再跃.
再谈计算机思维[J]
.计算机教育,2010(23):35-42.
被引量：20
3
佟晓强.
元数学对计算机的一些启示[J]
.焦作工学院学报,2002,21(1):55-58.
同被引文献
27
1
梁应仙.
数理逻辑在排队论中的应用[J]
.沈阳航空工业学院学报,2003,20(3):77-78.
被引量：1
2
胡一之,刘恩久,唐南迪.
计算机数理逻辑命题演算软件的研究[J]
.鞍山钢铁学院学报,1996,19(2):33-35.
被引量：1
3
Kenneth H.Rosen.离散数学及其应用[M].北京:机械工业出版社,2006.
4
方世昌.离散数学[M]西安:西安电子科技大学出版社,1985.
5
B.Kolman,R.Busby,S.Ross. Discrete Mathematical Structure[M].
6
李大友.离散数学[M]北京:清华大学出版社,2001.
7
徐珂.
解构论颠覆逻各斯中心主义的传统及其策略[J]
.北方工业大学学报,2008,20(2):69-74.
被引量：4
8
滕定明.
命题逻辑在语用研究中的应用[J]
.河北理工大学学报（社会科学版）,2008,8(3):88-90.
被引量：1
9
陈敏,李泽军.
离散数学在计算机学科中的应用[J]
.电脑知识与技术,2009,5(1):251-252.
被引量：23
10
朱家义,苗国义,梁云娟.
基于知识关系的离散数学教学内容设计[J]
.计算机教育,2010(18):98-100.
被引量：10
引证文献
8
1
贺玉珍,张海江.
浅析《离散数学》在计算机学科中的应用[J]
.现代计算机,2010,16(3):71-73.
被引量：1
2
黄震.
《离散数学》课程在计算机学科中的作用及其应用[J]
.赤峰学院学报（自然科学版）,2011,27(5):264-265.
被引量：8
3
胡平芳,肖超.
离散数学在计算机科学中的作用和应用[J]
.考试周刊,2014(10):116-116.
被引量：6
4
边策,鄂松.
离散数学简介及应用[J]
.考试周刊,2015,0(7):59-60.
5
靳艳芳,赵彦玲.
数理逻辑及其在计算机中的应用[J]
.赤峰学院学报（自然科学版）,2015,31(23):13-14.
被引量：2
6
陈锐.
语言、逻辑与逻辑代数化——逻各斯信仰向计算机运算模式的演化路径[J]
.西部学刊,2017(2):5-8.
被引量：2
7
赖河蒗.
命题逻辑在警校学生干部选拔中的应用[J]
.现代计算机,2018,24(19):28-30.
8
熊震江.
数学思想及其在计算机科学中的应用研究[J]
.计算机产品与流通,2018,7(8):60-60.
被引量：2
二级引证文献
20
1
王远干.
普通本科院校离散数学课程教学模式改革[J]
.钦州学院学报,2012,27(3):19-21.
2
黄海.
数理逻辑教学刍议[J]
.广西民族师范学院学报,2012,29(3):82-85.
被引量：1
3
张录义.
计算机科学应用领域与应用效果分析[J]
.科技创新与应用,2015,5(6):186-186.
被引量：2
4
张绿云.
应用型本科院校的离散数学教学研究与探讨[J]
.考试周刊,2015,0(4):51-52.
5
张泰然.
计算机科学应用领域与实践探寻[J]
.电子技术与软件工程,2015(22):166-166.
6
郭晓姝.
计算机专业基础课三阶段渐进教学方法改革研究[J]
.智能计算机与应用,2015,5(6):115-116.
被引量：1
7
王艳,郭键.
基于计算机学科情感培养的离散数学教学模式探索[J]
.计算机教育,2016(3):19-21.
被引量：6
8
冉莉娟.
计算机科学应用领域与应用成果分析[J]
.华东科技（学术版）,2016,0(7):334-334.
9
任雪芳,汤积华.
数理逻辑中的计算思维能力培养[J]
.黑河学院学报,2016,7(7):214-216.
被引量：1
10
刘明.
结合科研实际的离散数学教学方法探索[J]
.科教导刊,2018(6):107-108.
被引量：3
1
张华泽.
初中数学的直观性教学研究[J]
.新课程导学（中旬刊）,2016,0(4):49-49.
2
卞家海.
浅谈提高初中数学课堂教学效率的策略[J]
.当代教研论丛,2016,0(10):56-56.
被引量：2
3
刘晓峥.
浅析高职教学之Java抽象类与接口[J]
.科技视界,2014(28):204-204.
4
于雯璐.
论数学思想方法在英语语法教学中的应用[J]
.中学课程辅导（教学研究）,2014,8(33):102-103.
5
谢琳.
论数理逻辑思想在英语语法教学中的应用[J]
.考试周刊,2013(30):91-92.
被引量：1
6
陆灵俊.
让多媒体为数学教学插上腾飞的翅膀[J]
.中小学电教（下）,2009,0(3):14-15.
被引量：1
7
王素娟.
也论数学开放题的生命意识[J]
.网络科技时代,2007(10):58-59.
8
董爱军.
关于数学中开放型问题的思考[J]
.河北理科教学研究,2010(2):45-46.
9
包海英.
小学数学加减法的教学策略探究[J]
.中华少年,2016,0(23):145-146.
被引量：4
10
张延虎.
小学数学教学中向学生渗透数学思想和方法的探讨[J]
.青年时代,2016,0(32):212-212.
青海科技
2004年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
