咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 133 篇 期刊文献
  • 5 册 图书
  • 3 篇 会议

馆藏范围

  • 139 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 58 篇 理学
    • 52 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学（可授理学、...
    • 1 篇 天文学
    • 1 篇 生物学
  • 55 篇 工学
    • 46 篇 计算机科学与技术...
    • 30 篇 软件工程
    • 22 篇 控制科学与工程
    • 9 篇 电气工程
    • 8 篇 网络空间安全
    • 7 篇 信息与通信工程
    • 4 篇 电子科学与技术（可...
    • 4 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 材料科学与工程（可...
    • 3 篇 航空宇航科学与技...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 1 篇 冶金工程
  • 32 篇 管理学
    • 32 篇 管理科学与工程(可...
  • 21 篇 哲学
    • 21 篇 哲学
  • 14 篇 教育学
    • 14 篇 教育学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 法学
    • 1 篇 政治学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 15 篇 中介逻辑
  • 14 篇 定理
  • 11 篇 实无限
  • 11 篇 潜无限
  • 11 篇 公理集合论
  • 8 篇 定义
  • 7 篇 数理逻辑
  • 7 篇 ms
  • 6 篇 思维形式
  • 6 篇 集论
  • 6 篇 概念
  • 6 篇 数学基础
  • 5 篇 逻辑系统
  • 5 篇 人工智能
  • 5 篇 近代公理集合论
  • 4 篇 变程
  • 4 篇 合式公式
  • 4 篇 直觉主义
  • 4 篇 经典数学
  • 4 篇 无穷观

机构

  • 72 篇 南京航空航天大学
  • 59 篇 南京大学
  • 29 篇 空军气象学院
  • 13 篇 中国人民解放军理...
  • 7 篇 南京工业大学
  • 5 篇 南京邮电学院
  • 5 篇 南京邮电大学
  • 5 篇 南京航空学院
  • 4 篇 吉林大学
  • 4 篇 南京晓庄学院
  • 4 篇 扬州大学
  • 3 篇 大连理工大学
  • 2 篇 辽宁大学
  • 2 篇 清华大学
  • 1 篇 中国人民解放军信...
  • 1 篇 nanjing
  • 1 篇 state key labora...
  • 1 篇 research institu...
  • 1 篇 department of ma...
  • 1 篇 state key labora...

作者

  • 141 篇 朱梧槚
  • 54 篇 肖奚安
  • 13 篇 张东摩
  • 13 篇 徐利治
  • 12 篇 顾红芳
  • 11 篇 洪龙
  • 10 篇 郑毓信
  • 10 篇 宫宁生
  • 9 篇 朱朝晖
  • 8 篇 袁相碗
  • 8 篇 李斌
  • 7 篇 宋方敏
  • 6 篇 王建东
  • 6 篇 周勇
  • 5 篇 朱剑英
  • 5 篇 朱俚治
  • 4 篇 陈桂正
  • 4 篇 徐敏
  • 4 篇 毛宇光
  • 4 篇 黄秀琴

语言

  • 131 篇 中文
  • 10 篇 英文
检索条件"作者=朱梧槚"
共 141 条 记 录，以下是71-80 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
中介公理集合论系统(Ⅰ)——两种谓词的划分与定义
收藏
分享
引用
自然杂志 1986年 第7期10卷 554-555页
作者： 朱梧槚 肖奚安 南京大学 空军气象学院
本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
从古典集合论和近代公理集合论到中介公理集合论
收藏
分享
引用
自然杂志 1987年 第1期 3-6+80页
作者： 朱梧槚 肖奚安 南京大学 空军气象学院
模糊数学问世二十年来,在各个领域的广泛应用证明了它的生命力。但其基础理论的研究尚是薄弱环节,特别是与经典数学的关系缺乏探讨。朱梧槚、肖奚安两位作者,近年来从逻辑与集合论的角度孜孜不倦地从事着这方面的研究,有关论文的简报已... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
中介逻辑的命题演算系统(Ⅱ)
收藏
分享
引用
自然杂志 1985年 第5期 394-395页
作者： 朱梧槚 肖奚安 南京大学 空军气象学院
本文为[3]的续篇,在此继续生成MP的形式定理,其中包括MP的重要的替换定理(见定理16)。
来源： 同方期刊数据库 同方期刊数据库 评论
数学基础与模糊数学基础
收藏
分享
引用
自然杂志 1984年 第10期 723-726+800页
作者： 朱梧槚 肖奚安 中国人民解放军空军气象学院 南京大学
模糊数学创立以来发展迅速,国内外都在理论和应用方面作了大量工作。但是关于它的理论基础以及它与经典数学的关系,学术界看法不一。《数学基础与模糊数学基础》一文提出了作者的见解,值得重视。
来源： 同方期刊数据库 同方期刊数据库 评论
中介逻辑系统MP与MP中之命题联结词的独立性问题及其归约
中介逻辑系统MP与MP中之命题联结词的独立性问题及其归约
收藏
分享
引用
中国系统工程学会模糊数学与模糊系统委员会第五届年会
作者： 肖奚安 朱梧槚 空军气象学院 南京航空学院
＜正＞ 命题演算系统中的一个命题联结词被称为独立的是指在该系统中若不使用该命题联结词,则该系统中至少有一个Wff在系统内无法表达。当然,命题联结词的独立性问题是相对于它所在之命题演算系统而言的,例如,在本文中就将证明命题联结... 详细信息
来源： cnki会议 评论
反计算机取证技术研究
收藏
分享
引用
河海大学学报（自然科学版） 2007年 第1期35卷 104-107页
作者： 张有东 王建东 朱梧槚 南京航空航天大学计算机科学与工程系
分析了反计算机取证的基本概念和方法,比较了反计算机取证所采用的数据擦除、数据加密、数据隐藏、数据混淆和数据转换等主要技术,并提出了一种安全、高效的基于m序列的数据擦除方法.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
数学是科学,也是艺术
收藏
分享
引用
南京师范专科学校学报 1998年 第4期14卷 8-11页
作者： 陈桂正 朱梧槚 南京师专教院 南京210017 南京航空航天大学 南京210016
本文简述了当前科学研究中的整体化趋势、边缘科学不断涌现的现状。在继论述数学家与艺术家在创作活动中的同一性之后，进一步阐述数学与艺术这两门不同学科在近现代发展中的相互为用和互相渗透的潜在趋势。着重论述艺术与美学的研究如... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于非Cantor连续统ê1的Dedekind割切原理
收藏
分享
引用
辽宁大学学报(自然科学版) 1980年 第2期 19-25页
作者： 洪声贵 朱梧槚 郑毓信 辽宁大学数学系 南京大学数学系
本文把 Cantor 连续统 E1的 Dedekind 割切原理在潜尾数论的意义下作了逻辑体系上的改造,给出一个系统完善的非 Cantor 连续统ê1的 Dedekind 割切原理。为了证明主要定理——命题Ⅰ、Ⅱ,首先证明8个引理,然后引用引理的结果,证明命题... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
数学研究的艺术
收藏
分享
引用
衡阳师范学院学报 1992年 第3期14卷 1-6页
作者： 徐利治 朱梧槚
本文从“知识准备”、“研究题目的选择”、“如何发挥直觉思维的作用”、“如何鉴别验证直观性结果”、“两种思维形态如何配合”等五个方面简要地论述了数学研究的艺术。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法
收藏
分享
引用
自然杂志 1986年 第12期10卷 -页
作者： 肖奚安 朱梧槚 空军气象学院 南京大学
本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共15页 <<  < 4 5 6 7 8 9 10 11 12 13 >  >> 跳转到页 
回到顶部
执行限定条件