2. 有限维实向量空间 V 中一个二次型 q 是非迷向的当且仅当 q 是确定形式： 要么 q 是正定的，即 q(v)>0，对所有非零向量 v 属于 V； 或 q 是负定的，即 q(v)<0 对所有非零向量 v 属于 V。 更一般地，如果二次型是非退化的具有符号 (p,q)，则迷向指标是 p 和 q...

那么这个二次型被称为半正定的，它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。 如果一个二次型的矩阵在实数域内合同于单位矩阵，那么称其为正定二次型。一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩；是正定二次型当且仅当它的正惯性指数是 n。 正定二次...

g）不再使用，後標註為只作拼寫方言之用。注音符號表成為現在使用的形式： 1932年教育部在「編定《國音常用字彙》特組會議」時決定，為了便利說明，添補一個注音符號「ㄭ（）」，作為「ㄓ、ㄔ、ㄕ、ㄖ、ㄗ、ㄘ、ㄙ」七個聲母單獨成音節時的省略韻母。另外有三個注音符號「ㆭ（）」（-ng）、「ㆬ（）」（-m）、「...

{p}}} 可解的简单关系。运用二次互反律可以将模数较大的二次剩余判别问题转为模数较小的判别问题，并最后归结为较少的几个情况，从而在实际上解决了二次剩余的判别问题。然而，二次互反律只能提供二次剩余的存在性，对于二次同余方程的具体求解并没有实际帮助。 二次互反律常用勒让德符号表述：对于两个奇素数 p {\displaystyle...

在数学中，确定双线性形式（Positive-definite bilinear form）是双线性形式B使得 B(x, x) 在x不是0的时候有固定的符号（或正或负）。 要给出形式定义，设K是域R（实数）或C（复数）之一。假设V是在K上的向量空间，并且 B : V × V → K 是Hermitian形式的双线性形式，在B(x...

符號積分基本包括了尋找以封閉形式表達的函數反微分。在這層意義下，用以定義封閉形式的基本函數包括了多項式、指數函數以及對數等。對這些基本函數有封閉形式的函數又稱初等函數，且包括了三角函數、反三角函數、雙曲函數及反雙曲函數。 因此符號積分的基本問題就是，若給定一個以封閉形式...

表达式（expression）此处是数学表达式（mathematical expression）的简称，在数学领域中是一些符号依据上下文的规则，有限而定义良好的组合。数学符号可用于标定常量、变量、操作、函数、括号、标点符号和分组，帮助确定操作顺序以及有其它考量的逻辑语法。 表达式随语境或不同领域学科也称：表示式、数学式、运算式（operation...

logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究...

A，A⊃乙│乙 符号“│”通常写为水平线，这里“⊃”是指“意味着”。符号A和B是“替身”的字符串;这种形式的符号被称为“公理模式”（即，有一种特殊形式的符号可以采取可数）。这可以读取类似的方式IF-THEN但有区别：给定的符号串IF A和A蕴涵B，那么B（并保留进一步使用仅B）。但符号...

符號邏輯僅為形式邏輯的一種類型，而和形式邏輯的另一種類型－只處理直言命題的三段論不同。 符號邏輯捕獲了邏輯推論的形式特徵，並將其抽象化為符號的研究。符號邏輯通常分為兩個分支：命題邏輯和謂詞邏輯。 「形式邏輯」通常作为符號邏輯的同義詞。但廣義地來說，形式邏輯是古老的，可追溯至兩千年以前，而符號...

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出：...

H的分量给出为Hij = h(ei, ej)。 关联于埃尔米特形式的二次形式 Q(z) = h(z,z) 总是实数的。实际上可证明半双线性形式是埃尔米特形式，当且仅当关联的二次形式是实数的，对于所有z ∈ V。 斜-埃尔米特形式（也叫做反对称半双线性形式）是半双线性形式ε : V × V → C，有着 ε ( w ...

code）是一种时通时断的信号代码，通过不同的排列顺序来表达不同的英文字母、数字和标点符号。由美國發明家萨缪尔·摩尔斯及其助手艾爾菲德·維爾在1836年发明。[來源請求] 摩尔斯电码是一种早期的數位化通訊形式，但是它不同於现代只使用0和1两种状态的二进制代码，它的代码包括五种： 点（·）：1 劃（-）：111 字符内部的停頓（在點和劃之間）：0...

^{2}} 是拉普拉斯算符。 術語「薛定諤方程」可以指廣義形式的薛定諤方程，也可指具體形式的薛定諤方程。廣義形式的薛定諤方程名如其實，可以應用於廣泛量子力學領域，表達從狄拉克方程到量子場論的各種方程，只要將哈密頓算符的各種複雜表達式代入即可。通常，具體形式的薛定...

形式给出乘积法则和链式法则。与牛顿不同，莱布尼茨很注重形式，往往花上數天決定對概念予以什麼適当的符号。 莱布尼茨和牛顿都被普遍认为是独立的微积分发明者。牛顿最先将微积分应用到普通物理当中，而莱布尼茨創作了不少今天在微積分所使用的符号...

theorem），也被称作广义斯托克斯定理、斯托克斯–嘉当定理（Stokes–Cartan theorem）、旋度定理（Curl Theorem）、开尔文-斯托克斯定理（Kelvin-Stokes theorem），是微分几何中关于微分形式的积分的定理，因為維數跟空間的不同而有不同的表現形式，它的一般形式包含了向量分析的几个定理，以乔治·加布里埃尔·斯托克斯爵士命名。...

最古老的几个文字符号来源于公元前第九千年纪到公元前第二千年纪的各种形状刻有条文的筹码，例如表示绵羊的⊕。最早的文字用於經濟。约在公元前3700年左右，青铜时代的苏美尔人用泥板、黏土球等通过图画、刻印的形式记录帳目。距今约3100年的文字成了后来楔形文字的雏形。...

微分几何中，第二基本形式（second fundamental form）是三维欧几里得空间中一个光滑曲面的切丛上一个二次形式，通常记作 II。与第一基本形式一起，他们可定义曲面的外部不变量，主曲率。更一般地，若在黎曼流形中或洛伦兹流形中，的一个光滑超曲面上，选取了一个光滑单位法向量场，则可定义这样一个二形式。 R...

说这种公式处于开发的"初始阶段"，并提及了在最终的"终极形式"中的一些可能的"更大的灵活性"，包括： （1）把无限的盒子替代为有限可扩展的符号空间，"扩展原始操作来允许随着处理的进行对给定的有限符号空间作必要的延伸"， （2）使用多于两个符号的字母表，"有多于一种的方式标记盒子"，...

某些自然数是素数。 数理语义是用形式化的数学上的特定语言表达的研究意义的数学应用。它有三个要素：通过语法的一类对象的数学规定，各种语义域的数学规定，和在二者之间的关系，它通常表达为从语法对象到语义对象的函数。在本文中，我们只致力于描述量词元素如何解释的问题。 在本文中，我们只考虑带有函数符号...

符号分析方法，将“亚文化”看作某个小众群体展现（represent）日常生活的“有意味的形式”，看作构成小众群体特定生活方式的符号系统———“风格”（style）。 自20世纪80年代以来，随着新自由主义在英美的盛行，阶级政治和阶级意识的衰微，全球性消费模式的同质化，符号...

积分符号内取微分（英語：Leibniz integral rule，莱布尼茨积分法则）是一个在数学的微积分领域中很有用的运算。它是说，给定如下积分 F ( x , a ( x ) , b ( x ) ) = ∫ a ( x ) b ( x ) f ( x , t ) d t {\displaystyle...

在實分析中，符號 ∞ {\displaystyle \infty } 稱為「無窮大」，代表無界極限。 x → + ∞ {\displaystyle x\to +\infty } 表示 x {\displaystyle x\quad } 超出任意給定值， x → − ∞ {\displaystyle...

1。 给定两个操作数，每个具有两个可能的值，共有 22 = 4 种可能的输入组合。由于每种输出有两种可能值，一共有 24 = 16种可能的二元逻辑运算（英语：Boolean algebras canonically defined#Truth tables）。 两个主要的二元运算的符号定义为 ∧...

第十一部分：物理科学和技术中使用的数学标志与符号》（已被ISO/IEC 80000-2（英语：ISO/IEC 80000）取代）中，从集合论角度规定：符号 N {\displaystyle \mathbb {N} } 所表示的自然数集是包括正整数和0。 中国大陆于1993年制定的强制性国家标准《物理科学和技术中使用的数学符号》(GB...

本页面有特殊字符，操作系统及浏览器須支持特殊字母与符号才能正確显示，否则可能變成乱码、问号、空格等其它符号。 本條目以列表形式展示並介紹Unicode字符。如果字母顯示模糊，請將瀏覽器字型調為例如「Arial Unicode MS」之类的字体或調高瀏覽器的放大比率。 若要依照編碼查詢Unicode字符，請參見Unicode一覽表。...

本页面有泰语，操作系统及浏览器須支持特殊字母与符号才能正確显示为泰文字，否则可能變成乱码、问号、空格等其它符号。 泰文（泰语：อักษรไทย，轉寫：'ȃk ṣar daiy，派汶拼音：àk-sɔ̌ɔn Tai、國際音標：[ʔàksɔ̌ːn tʰāj]聆），又称泰国字，是在泰国用于书写泰语、南泰語和...

105–130. doi:10.1515/jall.1985.7.2.105.  介音 韻母 同位异音（如声母“b”(注音符号: ㄅ, IPA: [p])和“p”(注音符号: ㄆ, IPA: [pʰ])被视为同位异音。它们都是清辅音，仅有送气强度不同的区别，多种常见汉语注音系统对其都有严格区分。...

向量分析由约西亚·吉布斯和奧利弗·黑維塞於19世纪末从四元數分析发展而来，大多数符号和术语由吉布斯和愛德華·比德韋爾·威爾遜（英语：Edwin Bidwell Wilson）在《向量分析》（1901）中提出。向量演算的常规形式中使用外积，不能推广到更高维度，而另一种几何代数的方法运用了可推广的外积，下文将会讨论。...

，以此来避免一个复数具有多种极坐标表示的情况。 极坐标形式的写法 z = r ( cos ⁡ φ + i sin ⁡ φ ) {\displaystyle z=r\,(\cos \varphi +i\sin \varphi )} ， 被叫做“三角形式”。有时使用符号cis φ简写cosφ + isinφ。 使用欧拉公式还可以写为...

的平均值（英语：Mean of a function），这个性质扩展到了类似的变换比如傅里叶变换。 通过这些系数定义傅里叶级数为： 傅立葉級數，正弦-余弦形式 这里使用符号 ∼ {\displaystyle \sim } ，表示傅里叶级数的求和不一定总是等于 s ( x ) {\displaystyle s(x)}...