检索结果-内蒙古大学图书馆

妇女研究论丛 1998年第3期 39-44页

作者：王行娟北京红枫妇女心理咨询服务中心

性骚扰的现状与研究王行娟性骚扰（ｓｅｘｕａｌｈａｒａｓｓｍｅｎｔ）是外来语，在中国，只是近几年才在报刊上出现。而且它的出现是和世界轰动的性骚扰传闻联系在一起的。最火爆的性骚扰事件就发生在美国总统克林顿第一任期不久的时... 详细信息

性骚扰的现状与研究王行娟性骚扰（ｓｅｘｕａｌｈａｒａｓｓｍｅｎｔ）是外来语，在中国，只是近几年才在报刊上出现。而且它的出现是和世界轰动的性骚扰传闻联系在一起的。最火爆的性骚扰事件就发生在美国总统克林顿第一任期不久的时候。一名前阿肯色州政府女公务员宝拉...

关键词：性骚扰性别歧视男性与女性平等机会性别角色反性骚扰劳动保护法性伤害模型论工作环境

来源：评论

学校读者我要写书评

暂无评论

大、小E.C.结构的可判定性

引用

数学学报（中文版） 1997年第3期40卷 465-472页

作者：沈恩绍北京师范大学数学系上海交通大学计算机系

可数原子模型与存在式万有模型是可数ｅ。ｃ。结构类中“最小”与“最大”的成员．本文将Ｍｏｒｌｅｙ的能行化的Ｈｅｎｋｉｎ扩张法与Ｒｏｂｉｎｓｏｎ的模型论力迫法有机地结合起来。

关键词：递归模型论模型论力迫法 EC结构可判定性

来源：评论

学校读者我要写书评

暂无评论

什么是逻辑?

引用

哲学研究 1997年第10期 76-81页

作者：李小五中国社会科学院哲学所

来源：评论

学校读者我要写书评

暂无评论

思想模块假说(摘要)

引用

外语与外语教学 1998年第2期 3-7,56页

作者：张今河南大学

思想模块假说（摘要）河南大学教授张今一、两种理论观点我们从两种理论观点来看待语言。一种是辩证系统论观点；另一种是原型－模型论观点。我们的辩证系统论有五个要点。第一，辩证法有两条根本的规律。第一条规律是普遍联系规律；第... 详细信息

思想模块假说（摘要）河南大学教授张今一、两种理论观点我们从两种理论观点来看待语言。一种是辩证系统论观点；另一种是原型－模型论观点。我们的辩证系统论有五个要点。第一，辩证法有两条根本的规律。第一条规律是普遍联系规律；第二条规律是对立统一规律。第二，矛盾...

关键词：心理结构外部语言知识模块形态发生学通用模型原始语精神世界外部矛盾形式逻辑模型论

来源：评论

学校读者我要写书评

暂无评论

从语形和语义的关系看数学的本质

引用

江海学刊 2004年第4期 34-40页

作者：郭贵春康仕慧山西大学科学技术哲学研究中心

数学究竟是一门纯演绎科学还是一门经验科学 ,抑或是“拟经验科学” ,对数学的学科性质的这一鉴定一直以来都是数学哲学家们所关注的中心论题。本文立足于模型论的方法即从语形和语义的关系这一崭新视角来重新审视数学的本质。一方面 ,... 详细信息

数学究竟是一门纯演绎科学还是一门经验科学 ,抑或是“拟经验科学” ,对数学的学科性质的这一鉴定一直以来都是数学哲学家们所关注的中心论题。本文立足于模型论的方法即从语形和语义的关系这一崭新视角来重新审视数学的本质。一方面 ,通过语形学的研究说明数学有着严格的演绎性 ;另一方面 ,对语义学中语义的模型解释方法的探讨表明数学同时也渗透有现实的经验性。通过对语形和语义的融合阐释了数学既不是一门“纯演绎”科学 ,也不只是一门“经验科学” ,“演绎和经验共同结合的整体才是最完美的数学”

关键词：语形语义数学学科性质形式系统模型论经验科学演绎性经验性

来源：评论

学校读者我要写书评

暂无评论

模的稳定性的一些保持性

引用

科学通报 1997年第11期42卷 1149-1152页

作者：王捍贫北京大学计算机科学与技术系北京100871

在模型论中,Zil’ber证明了:非平凡的(?)-范畴理论的模型都是类似于模或域的;于是人们希望证明著名的Vaught猜想对于超稳定的模理论是成立的。Buechler后来证明了:Vaught猜想对于Morley秩为1的模理论是成立的,但以后,Vaught猜想的证明... 详细信息

在模型论中,Zil’ber证明了:非平凡的(?)-范畴理论的模型都是类似于模或域的;于是人们希望证明著名的Vaught猜想对于超稳定的模理论是成立的。Buechler后来证明了:Vaught猜想对于Morley秩为1的模理论是成立的,但以后,Vaught猜想的证明一直进展不大,即使对超稳定的模理论的Vaught猜想的证明也是如此。为对超稳定的模理论Vaught猜想进行化约,Prest曾建议讨论环变化时模理论的稳定性性质的保持性。Ziegler在文献[4]中讨论了一些初等性质的保持性定理。本文讨论下列两种环变化情形下,模的稳定性的保持性:(ⅰ)将R-模M_R看作R的一个理想上的模;(ⅱ)将R的一个分式环S^(-1)R上的模看作R上的,其中S是R的一个乘法子集。此外,还讨论了分式模S^(-1)M与模M的稳定性间的关系。

关键词：模型论超稳定性分式环模稳定性保持性

来源：评论

学校读者我要写书评

暂无评论

综述:一般逻辑程序的证明论语义

引用

计算机科学 2004年第9期31卷 152-156页

作者：陈寅李磊中山大学软件研究所广州510275

一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模... 详细信息

一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模型论语义的证明过程,并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较,最后给出了此问题进一步的一些研完方向。