2008-05-23 08:58
〖最新通知〗 由于客观原因，经大会组委会研究决定：原定于2008年5月28－31日在贵阳市举办的第4届全国性逻辑系统、智能科学与信息科学学术会议(CLSISIT 2008)将延期至2008年10月31日至11月2日在贵阳市举行，报送参加会议交流的论文最后截稿日期顺延至2008年10月15日。会议地点和原定会议内容不变，征文要求和发送地址（xmwang1965@163.com）不变,欢迎广大科技工作者继续踊跃 |
2008-01-28 17:27
2008-01-14 10:12
2007-12-05 02:50
制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了普通逻辑思考中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。故而，充分发展了的 |
2007-11-25 21:51
贵州大学新闻网讯 11月17日下午，由我校承办的第三届全国性逻辑系统专题研讨会暨贵州制约逻辑学会2007年学术年会在贵阳市花溪黔顺宾馆开幕，来自北京、天津、上海、广东、重庆、湖南、四川和我省各地近百名逻辑学专家、学者及嘉宾参加了17日下午的开幕式。
| |
2007-11-23 07:28
二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统，这是逻辑学发展史上的第二座里程碑。
1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑 |
2007-11-19 10:33
2007-11-02 23:42
到目前为止，人类所使用的语言，可以分为三类：自然语言（如：英语和汉语）、半形式化语言（如：数学的语言。即：自然语言加特定的符号）和形式化语言（如：逻辑的语言）。本文从自然语言、半形式化语言和形式化语言的特征看逻辑学的发展。
自然语言文字的一个重要特征 : 人们在日常生活中所使用的语言文字，可以分为拼音语言文字和非拼音语言文字两大类。英语语言文字、俄语语言文字、法语语言文字、德语语言文字、意大利语语言文字、西班牙语语言文字等 |
2007-11-02 23:28
VDM --VDM是在1969年为开发PL/1语言时，由IBM公司维也纳实验室的研究小组提出的，VDM是一种功能构造性规格说明技术，它通过一阶谓词逻辑和已建立的抽象数据类型来描述每个运算或函数的功能，这种方法在90年代初在欧美许多研究机构或大学得到了广泛的应用。 VDM技术的基本思想是运用抽象数据类型、数学概念和符号来规定运算或函数的功能，而且这种规定的过程是结构化的，其目的是要在系统实现之前简短而明确地指出软件系统要完成的功能，由于这种形式化规格说明中采用了数学符号和抽象数 |
2007-10-28 23:43
经组委会研究，兹定于2007年11月17日至11月18日在贵阳召开第3届全国性逻辑系统专题研讨会暨贵州制约逻辑学会2007学术年会。
论文正式录用通知及会议邀请函均已经发出,请论文作者查收。欢迎全国各地逻辑系统及相关专业的专家学者和研究生们前来贵阳参加学术交流、旅游观光。大会正式邀请您出席研讨会，并请您在大会或在小会上发言。现将出席会议有关事项通知如下：
1．报到时间：2007年11月16日（星期 |
|
| 
