咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 184 篇 期刊文献
  • 18 篇 学位论文
  • 17 篇 会议
  • 8 册 图书
  • 5 篇 成果

馆藏范围

  • 225 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 138 篇 理学
    • 127 篇 数学
    • 2 篇 地理学
    • 2 篇 系统科学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 大气科学
    • 1 篇 统计学（可授理学、...
  • 108 篇 哲学
    • 108 篇 哲学
  • 39 篇 工学
    • 21 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 7 篇 控制科学与工程
    • 4 篇 机械工程
    • 2 篇 力学（可授工学、理...
    • 2 篇 测绘科学与技术
    • 2 篇 地质资源与地质工...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
  • 13 篇 法学
    • 7 篇 社会学
    • 3 篇 法学
    • 3 篇 政治学
    • 3 篇 公安学
    • 1 篇 马克思主义理论
  • 10 篇 教育学
    • 10 篇 教育学
  • 9 篇 管理学
    • 9 篇 管理科学与工程(可...
  • 8 篇 文学
    • 6 篇 中国语言文学
    • 2 篇 新闻传播学
  • 4 篇 经济学
    • 3 篇 应用经济学
    • 1 篇 理论经济学
  • 2 篇 医学
  • 2 篇 军事学
    • 2 篇 军队指挥学
  • 1 篇 历史学
    • 1 篇 世界史
  • 1 篇 农学
  • 1 篇 艺术学

主题

  • 232 篇 模型论
  • 16 篇 数理逻辑
  • 16 篇 紧致性定理
  • 16 篇 逻辑语义学
  • 10 篇 无限方阵
  • 9 篇 数学理论
  • 9 篇 模态逻辑
  • 8 篇 数学模型
  • 6 篇 递归论
  • 6 篇 非标准分析
  • 5 篇 一阶逻辑
  • 5 篇 证明论
  • 5 篇 goldbach猜想
  • 5 篇 完全理论
  • 5 篇 现代逻辑
  • 5 篇 除环
  • 5 篇 逆方阵
  • 5 篇 计算机科学
  • 4 篇 思维形式
  • 4 篇 逻辑

机构

  • 57 篇 北京师范大学
  • 15 篇 淮北师范大学
  • 11 篇 北京大学
  • 7 篇 淮北煤炭师范学院
  • 7 篇 南开大学
  • 6 篇 北京航空航天大学
  • 5 篇 中央财经大学
  • 4 篇 南京大学
  • 4 篇 上海交通大学
  • 3 篇 华中科技大学
  • 3 篇 中国科学院软件研...
  • 3 篇 复旦大学
  • 3 篇 江西师范大学
  • 3 篇 清华大学
  • 3 篇 哈尔滨工业大学
  • 3 篇 南京航空航天大学
  • 3 篇 中山大学
  • 2 篇 河北师范大学
  • 2 篇 大连理工大学
  • 2 篇 华南师范大学

作者

  • 37 篇 王世强
  • 16 篇 陈国龙
  • 9 篇 wang shiqiang
  • 8 篇 张玉平
  • 7 篇 shi jing
  • 6 篇 别荣芳
  • 6 篇 史璟
  • 5 篇 chen guo-long
  • 4 篇 沈恩绍
  • 4 篇 bie rongfang
  • 4 篇 王捍贫
  • 4 篇 应明生
  • 3 篇 du wenjing
  • 3 篇 杨年西
  • 3 篇 武成伟
  • 3 篇 汪芳庭
  • 3 篇 李修清
  • 3 篇 杜文静
  • 3 篇 沈复兴
  • 3 篇 邓晓芒

语言

  • 232 篇 中文
检索条件"主题词=模型论"
共 232 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
分式化时模的模型论性质的保持性
收藏
分享
引用
北京大学学报（自然科学版） 1997年 第3期33卷 368-374页
作者： 王捍贫 北京大学计算机系
将环Ｒ的分式环Ｓ－１Ｒ上的模ＭＳ－１Ｒ“限制”到Ｒ上时，模理论的纯性、纯入射性、初等等价、初等嵌入等模型论性质都是保持的。
来源： 评论
模型论逻辑与理论计算机科学
收藏
分享
引用
数学进展 1996年 第3期25卷 193-202页
作者： 沈恩绍 上海交通大学计算机系
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义... 详细信息
来源： 评论
模型论简介(英文)
收藏
分享
引用
数学进展 2008年 第6期37卷 641-656页
作者： D.Lascar CNRS Université Denis Diderot Paris 72 Place JussieuUFR de MathématiquesCase 7012
本文将模型论介绍为"可定义集的数学".首先给出"可定义集"的确切定义,并引入处理可定义集的主要工具——一阶公式的概念.然后给出一些例子.最后介绍一些相当于可定义集的组合性质的稳定性理论.
来源： 评论
模型论中的拓扑学方法
收藏
分享
引用
数学学报（中文版） 2002年 第4期45卷 639-642页
作者： 陈国龙 淮北煤炭师范学院计算机科学与技术系 安徽淮北235000
本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.
来源： 评论
模型论基础
收藏
分享
引用
丛书名： 现代数学基础丛书
1987年
作者： 王世强
来源： 内蒙古大学图书馆图书 评论
模型论中一些相关问题的研究及其应用
模型论中一些相关问题的研究及其应用
收藏
分享
引用
作者： 陈国龙 北京师范大学
学位级别：博士
来源： 评论
控制理论——模型论还是控制论
收藏
分享
引用
系统科学与数学 1989年 第4期9卷 328-335页
作者： 韩京清 中国科学院系统科学研究所
控制理论发展历史中的最近30年称为现代控制理论时期.学者们从不同角度描述过这一时期各个阶段的特征,也展望过未来发展趋势.我们从另一角度概括这一时期的特征为控制理论发展史中的“模型论”时期.建立控制系统的模型、分析系统的模型... 详细信息
来源： 评论
模型论中的几种秩及其相关问题
模型论中的几种秩及其相关问题
收藏
分享
引用
作者： 刘琳 北京师范大学
学位级别：硕士
该文详细阐述了在稳定怀理论与单纯性理论体系中一个十分重要的概念-秩,研究人员给出了其中较具代表性又较重要的几种秩的定义,并且介绍,证明了它们的一些性质,文章试图通过对这些秩的讨论来完成对一些理论的分类,使得研究人员所要介绍... 详细信息
来源： 评论
犯罪构成模型论
收藏
分享
引用
法学研究 2004年 第1期26卷 72-81页
作者： 冯亚东 胡东飞 西南财经大学法学院 清华大学法学院
犯罪构成是立法者依据一定的利益需求与价值观念而将生活中之危害行为加以类型化形成的 ,表现为通过刑法规范所确认的认定犯罪之规格、标准或最低度条件———本文称之为模型。它同构成犯罪的事实 (原型 )是不同层面之范畴。注释刑法学... 详细信息
来源： 评论
树和偏序理论的模型论研究
收藏
分享
引用
2015年
作者： 傅莺莺
本书主要介绍树和偏序理论模型论研究的最新成果, 主要内容包括: 一阶逻辑预备知识、经典结构模型论研究、几个定理的新证明、带根节点的树理论、有最小元的树形偏序。
来源： 内蒙古大学图书馆图书 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共24页 <<  < 1 2 3 4 5 6 7 8 9 10 >  >>
回到顶部
执行限定条件