High Quality Content by WIKIPEDIA articles! In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic. Formally, a signature can be defined as a triple ? = (Sfunc, Srel, ar), where Sfunc and Srel are disjoint sets not containing any other basic logical symbols.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.