2.2代数、基调和项 2.2.3代数以及项在代数中的解释 ·基调的代数是为代数项提供含义的数学结构 Σ是一个基调，则Σ代数A包含 -对每个s∈S,正好有一个载体As 一个解释映射 把函数I(f):A.×AA指派给函数符号 f:S1X.XSk→S∈F 把If)∈A指派给常量符号f:S∈F ∑N代数N写成 N=〈N,0N,1N,+N,*N)2.2 代数、基调和项 2.2.3 代数以及项在代数中的解释 • 基调的代数是为代数项提供含义的数学结构 • 是一个基调，则代数A包含 – 对每个s  S，正好有一个载体As – 一个解释映射I 把函数I (f ) : A  …  A → As 指派给函数符号 f : s1  …  sk → s  F 把I (f )  As指派给常量符号f : s F • N代数N写成 N = N, 0 N , 1 N , + N ,  N  sk s1