“全国逻辑与计算机科学学术研讨会”综述

  本文选题：计算机科学 + 学术研讨会　； 参考：《哲学动态》2002年04期

【相似文献】

相关期刊论文 前10条

1 吴家国;再论解决充足理由律问题的基本途径[J];北京师范大学学报(社会科学版);1980年04期

2 马玉珂 ,苏越;对不矛盾律和排中律的关系及其内容的新探[J];湖北大学学报(哲学社会科学版);1980年04期

3 林淑娟 ,袁长在;论俄语逻辑语调规律[J];外语学刊;1980年04期

4 凌雨轩;大力开展辩证逻辑的研究——学习列宁关于辩证法、认识论、逻辑三者统一的思想[J];人文杂志;1980年01期

5 马伟;也谈宾语的位置——对前置宾语质疑[J];大理学院学报;1980年01期

6 马鹤鸣;逻辑学在今天[J];大理学院学报;1980年01期

7 褚可邑;检验教学真理性的唯一标准只能是社会实践[J];华南师范大学学报(自然科学版);1980年01期

8 吕政春;关于假言判断的联项和符号化问题[J];齐齐哈尔大学学报(哲学社会科学版);1980年Z1期

9 李公天 ,向熙阳;逻辑证明不是检验真理的标准[J];求实;1980年Z2期

10 田崇勤;关于思维方法的一点浅见[J];江淮论坛;1980年03期

相关会议论文 前10条

1 顾基发;;系统工程中的“软”、“硬”方法[A];发展战略与系统工程——第五届系统工程学会年会论文集[C];1986年

2 宋晓秋;;(T)Fuzzy积分及其应用[A];全国青年管理科学与系统科学论文集（第2卷）[C];1993年

3 Michele VIO;陈云水;;关于空气热源热泵机组的COP值[A];第九届全国冷水机组与热泵技术学术会议论文集[C];1999年

4 张石麟;;言语形成机制和言语表达能力[A];外语语言教学研究——黑龙江省外国语学会第十次学术年会论文集[C];1996年

5 宋立亚;;英语定语从句的翻译[A];外语语言教学研究——黑龙江省外国语学会第十一次学术年会论文集[C];1997年

6 王希杰;;语言的规范化和言语的得体性[A];得体修辞学研究[C];1999年

7 李敬德;;坚持社会主义与初级阶段的统一——关于新中国成立以来基本国情问题的回顾与思考[A];探索新路构筑辉煌——庆祝中华人民共和国建国五十周年论文集[C];1998年

8 徐泽同;;城市信息化问题[A];发展的信息技术对管理的挑战——99’管理科学学术会议专辑（下）[C];1999年

9 王淑芝;;逻辑“与或”式化简过程中多余项及多余因子的确定方法[A];教研撷华——青海师大附中建校45周年论文集[C];1999年

10 席酉民;冯耕中;;应用于DSS设计并支持决策分析的决策环境模型[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年

相关重要报纸文章 前10条

1 吴月辉;斯坦福大学启动跨学科研究项目[N];中国化工报;2000年

2 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年

3 高汉文;第四代无人驾驶汽车研制成功[N];中国汽车报;2000年

4 本栏由广东中山图书馆供稿;汉字可能通行全球[N];中国文化报;2000年

5 吕来明;法律适用中的逻辑与经验[N];法制日报;2000年

6 国家信息中心 步德迎;大势所趋：网络技术与传统产业相结合[N];国际商报;2000年

7 ;搞哲学的人应当有较高的逻辑修养[N];光明日报;2000年

8 ;探讨改革开放的逻辑[N];光明日报;2000年

9 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

10 记者 许鹤;我省“人才培养模式改革和开放教育试点”正式启动[N];吉林日报;2000年

相关博士学位论文 前10条

1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年

2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年

3 杜国平;“真”的历程[D];中国社会科学院研究生院;2000年

4 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年

5 尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年

6 刘志;基于逻辑情景演算的虚拟企业过程建模研究[D];浙江大学;2001年

7 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年

8 张拴平;张申府哲学思想研究[D];中共中央党校;2001年

9 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

10 张缨;信任、契约及其规制[D];中国社会科学院研究生院;2001年

相关硕士学位论文 前10条

1 王菲;安全技术研究及其在MIS中的应用[D];大连理工大学;2000年

2 周世杰;网络环境下中间件技术研究与开发[D];电子科技大学;2000年

3 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年

4 和国强;评杜威工具主义真理观[D];首都师范大学;2000年

5 蓝国桥;“逻辑—心理”结构[D];广西师范大学;2000年

6 赵洋;基于智能体概念的虚拟企业管理信息系统模型[D];昆明理工大学;2000年

7 刘旭友;构建中国再保险市场组织体系[D];广西师范大学;2000年

8 唐汉卫;教育研究中的实践整合观初探[D];山东师范大学;2000年

9 李群;高速公路收费系统及分布式数据库研制与开发[D];西安电子科技大学;2001年

10 陈虹;泛逻辑运算的电路实现研究[D];西北工业大学;2001年