Chat with our AI personalities
CTL formula: AG(p -> AFq) CTL* formula: AEAp LTL formula: AGFp
s = 5-3 s = 2
A zeta function is the function of the complex variable s which analytically continues the sum of the series 1/n^3 for all values from n=1 to infinity, which converges when the real part of s is greater than 1.
If f is a relation between the sets S and Twith s Є S, t Є T, and (s, t) Є f, then f is defined as a function from S into T if, and only if, s is f-related to one specific t. If this is the case, t can be expressed as a function of s via the notation t = f(s).See the related links for the definitions of relation and f-related as well as the definition of the special types of functions called metrics and sequences.
Sn = n2 S12 = 122 = 144.