学科分类
/ 25
500 个结果
  • 简介:常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。反过来,某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是,该框架类对满射互模拟象、不相交并封闭,并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是,它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。

  • 标签: 模态逻辑 定义 公式 充分必要条件 直觉主义逻辑 封闭
  • 简介:摘要:软件化可定义雷达技术是以网络的硬件国际标准体系结构和模块化开放式系统为基础,本文开展雷达的开放式体系架构研究,通过软件定义、扩展和重构实现雷达系统功能的新一代雷达技术,支撑雷达应用及其未来发展的各种不同需求。

  • 标签: 软件化雷达 可定义 开放式架构
  • 简介:自苏格拉底以来,西方哲学家就一直渴望找到超历史的、普遍有效的理论及标准,这样,在西方文化中,就形成了一种以追求永恒不变真理与终极价值为主旋律的本质主义思维方式。为了赋予教育客观性、普遍性的逻辑以及准确无误的标准、毋庸置疑的结论,本质主义者采取化约论的方式方法,将复杂完整的教育现象进行离析、肢解,形成了众多的“碎片化”教育理论与实践路径,不仅使教育探究陷入“茧式化”的境遇中,而且使教育发展与改革陷入左右两难困境。

  • 标签: 教育现象 定义 本质主义 西方哲学家 “碎片化” 发展与改革
  • 简介:圆锥曲线的定义是其方程、几何性质的本质反映,高三复习教学时一定要对此知识进行再温习探究,并归类提升如何用定义优化解决问题,提高学生的综合解题能力和应试能力。

  • 标签: 圆锥曲线 定义 复习 高三 几何性质 应试能力
  • 简介:对Kiesswetter函数进行深入讨论,构造出一个七进位制小数定义的连续不可微函数,讨论并证明了其Harsdorff维数.

  • 标签: 七进位制 HAUSDORFF维数 质量分布
  • 简介:《篮球》杂志既让我体会过遭遇车祸的痛苦,又让我品尝过收获爱情的甜蜜。所以,尽管父母将《篮球》杂志视为头号劲敌,但是我始终不改对这份杂志的爱。先说坏事吧。那是我初三下半学期的一天晚上。当时我刚吃完晚饭,坐在电视机前看《体育新闻》,突然,电话响了,我同学陆宇轩催我快去买《篮球》杂

  • 标签: 篮球 体育新闻 爱情 杂志 定义 电视机
  • 简介:博客(Blog或Weblog),一种极其简易便捷的网络个人出版形式,使得任何一位网民都可以在几分钟之内拥有自己的个人网站,自由挥写。但是。越简单越难定义,人们对于博客的理解千姿百态:博客代表着“新闻媒体3.0”:旧媒体→新媒体→互媒体(硅谷最著名的IT专栏作家丹·吉尔摩);博客是继E-mail、BBS、ICQ(IM)之后的第四种网络交流方式;

  • 标签: 博客 定义 网络交流方式 E-MAIL 个人网站 新媒体
  • 简介:摘要:衡量宇宙物质(量)尺牍、刻度(子)n模拟数列1、2、3…8即量子,(AQP)Applied Quantum Physics ,由万有引力恒量G导出临界速率 λ=2.031043×10 m/s ;顺延临界恒量 刀=1.812188×10 单位kg.m.s;用量子密码 、量子模型 、统一变换 …多级重大科学发现 ,诠释 量子 、分数量子 定义

  • 标签: 量子定义 统一场 经典理论空白 量子算法 量子基态 波粒二基态同时性
  • 简介:基于上篇对翻译定义难的四大原因的探析,本文着重审视了近几年提出的翻译新定义,分析各自的特点和局限性,从翻译整个过程(原作者→原读者→译者→译语→译语受者①)综合考虑,提出了新的定义并且对其特征进行了归纳,旨在给翻译下一个概括性更强、更科学、更清晰的定义,丰富翻译理论,为翻译学科专业的建设和发展做出应有的贡献.

  • 标签: 翻译 新定义 特征
  • 简介:定义与被定义理论是藏传因明的重要逻辑内容,历代藏族学者都非常重视对它的研究。经过历代藏族学者的不断努力和发展,这一逻辑理论到现在已经达到了全面、系统、臻熟的地步。藏传因明对“定义”理论的研究,不仅是多层次和多角度的,同时对“定义”理论的各细节性和终极性问题作了深入细致的探究和总结。因此,本文以现代文论的形式,对其“定义与被定义”“非定义与非被定义”理论作了较深刻的分析研究和总结归纳。

  • 标签: 藏传因明 定义 被定义 非定义 非被定义
  • 简介:有一个智者即将经过一个经商为主的小镇,他还没到来之前,已经在小镇引起了广泛的议论,大家都觉得这么一个伟大的人物来了,一定要他对我们好好地说些什么。这一天,智者经过了小镇,他被镇民请了过去,央求他对大家说些话。智者说:"我和你们一样平凡,没有什么特

  • 标签: 智者 镇民 人生 渴望 经商 过去
  • 简介:我的舅舅是个英雄。外公一家世代行医,舅舅也不例外,在二战期间的一次战斗中,他作为军医荣获一枚军功章。

  • 标签: 勇敢 生活态度 人生观
  • 简介:<正>郭振乾审计长《关于研究审计定义的一封信》对于研究审计定义,尽快形成一个简明、通俗、准确、并与国际提法接轨的审计定义,让更多的人了解和支持审计、推动审计事业的发展具有重要的现实意义。对此我想谈点肤浅看法。所谓定义是指对于一种事物的本质特征或一个概念内涵和外延的确切而简要的说明。因此,审计定义主要指对审计事物本质特征或对审计概念内涵和外延确切而简要的说明。鉴于此,我认为,审计的定义是:审计是依照既定标准,对单位的财政、财务收支及其经济活动进行检查的综合经济监督行为。在这个审计定义中,首先较好地阐述了审计的本质特征——综合经济监督。大家知道在经济监督范畴内,包含了财政监督、税务监督、金融监督、物价监督、统计监督等,而审计监督

  • 标签: 审计定义 审计事业 本质特征 经济监督 财政监督 财务收支
  • 简介:<正>看他穿什么鞋,读什么书,就知道他是不是贵族。Anselm是德国人,他父亲是法兰克福时报的主编。我和Anselm曾经在一家德国公司共事,那年正好赶上德国统一,我俩在公司食堂的角落里,啃着鸡肉沙拉三明治,喝着健怡可乐,评头论足第一批东德过来的实习生。在我眼里,Anselm很贵族,他所有的衬衫袖口上都有他姓名的第一个字母,衣柜里像一个色卡,衣服由浅到深排队挂列,西装都是一个店里订制的,他家祖宗三代都用这家店。我说他是贵族,他说错,他只是比较臭讲究。他说,贵族向来衣来伸手,饭来张口,衣服都是佣人买的,他们不在乎。

  • 标签: 饭来张口 衬衫袖口 代都 德国人 色卡 德国公司
  • 简介:贯穿20世纪的大部分时间,“电影是什么”一直是困扰着许多电影理论家的重要问题之一.本文旨在尝试为该问题提供一种回答.换言之,我将尝试捍卫关于运动图像这种东西所构成的类(theclass)的一个定义.我相信,电影属于这个类,并且,用它来给电影分类最恰当.我选择使用“运动图像”而非“电影”一词的原因将成为我接下来的论点。

  • 标签: 运动图像 定义 电影理论
  • 简介:我的舅舅是个英雄。在二战中,他荣获了一枚军功章。故事是这样的:舅舅身为医疗队的一员,随部队行军。由于情报错误,他们中了敌人的埋伏,几秒钟内死伤遍地。

  • 标签: 定义 勇敢 医疗队 敌人
  • 简介:新闻的专业定义是以基本定义为基础的,是相对于基本定义而言的,必须反映专业的性质和特征.专业定义定义的部分是基本定义中特殊的一部分,是体现专业组织机构、专业人士的观念、意图与目的的一部分.定义作为一种方法或手段有其作为工具的局限性,导致定义错误不是局限性产生的必然结果,而是人对定义这种工具的使用不当,因此正确的定义还具有方法论上的意义.

  • 标签: 新闻学 新闻 专业定义 新闻理论 新闻实践