语言学的语义学若从严格意义上的语言学研究来分类，在现代语言学的语义学中，可以分为结构主义的语义学研究和生成语言学的语义学研究。结构主义语义学是从20世纪上半叶以美国为主的结构主义语言学发展而来的，研究的内容主要在于词汇的意义和结构，比如说义素分析，语义场，词义之间的结构关系等等。这样的语义学研究也可以称为词汇语义学，词和词之间的各种关系是词汇语义学研究的一个方面，例如同义词、反义词，同音词等，找出词语之间的细微差别。生成语义学是20世纪六七十年代流行于生成语言学内部的一个语义学分支，是介于早期的结构主义语言学和后来的形式语义学之间的一个理论阵营。生成语义学借鉴了结构语义学对义素的分析方法，比照生成音系学的音位区别特征理论，主张语言的最深层的结构是义素，通过句法变化和词汇化的各种手段而得到表层的句子形式。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻...

结构操作语义戈登·普罗特金（GordonPlotkin）在（Plotkin04a）中引入了结构操作语义的概念作为一个定义操作语义的逻辑方式。其基本主意是使用程序组成部分的行为来定义一个程序的行为，由此来提供一个对操作语义结构性的，即按照句法和归纳性的，分析。结构操作语义对一个程序的行为的说明是通过一（组）变化关系来表示的。其形式是一系列推理规则，这些推理规则通过一组句法的转换来定义该组的合理转换。比如我们考虑一个简单计算机语言的部分语义，在Plotkin04a和Hennessy90以及其它教科书中有相应的图像。设C1,C2{\displaystyleC_{1},C_{2}}为该语言的程序域，s{\displaystyles}是状态域（即函数的存储地址及值）。假如我们有表述（E{\displaystyleE}的域）、值（V{\displaystyleV}）和存储地址（L{\displayst...

参见代数语义学（英语：Algebraicsemantics(computerscience)）指称语义学操作语义学形式语义学谓词变换语义学（英语：Predicatetransformersemantics）断言(程序)参考文献

古典定义设ΓΓ-->{\displaystyle\Gamma}为作用于复区域D{\displaystyleD}的离散群。取定自守因子jγγ-->(x),(γγ-->∈∈-->ΓΓ-->,x∈∈-->D){\displaystylej_{\gamma}(x),\;(\gamma\in\Gamma,x\inD)}及权m∈∈-->N{\displaystylem\in\mathbb{N}}。相应的权m{\displaystylem}自守形式是D{\displaystyleD}上满足下述函数方程的全纯函数自守因子jγγ-->(x){\displaystylej_{\gamma}(x)}当γγ-->{\displaystyle\gamma}固定时是D{\displaystyleD}上的全纯函数，并且是ΓΓ-->{\displaystyle\...

作为格的函数一个模形式可视为从所有格ΛΛ-->⊂⊂-->C{\displaystyle\Lambda\subset\mathbb{C}}（即：C{\displaystyle\mathbb{C}}中的离散加法子群，使得其商群紧致）的集合映至C{\displaystyle\mathbb{C}}的函数F{\displaystyleF}，使之满足下述条件：若考虑形如ΛΛ-->:=⟨⟨-->αα-->,z⟩⟩-->{\displaystyle\Lambda:=\langle\alpha,z\rangle}之格，其中αα-->{\displaystyle\alpha}为常数而z{\displaystylez}为变数，则F(ΛΛ-->){\displaystyleF(\Lambda)}是z{\displaystylez}的全纯函数。存在常数k{\displ...