Set Theory for Computing: From Decision Procedures to Declarative Programming wi
161,32 €
((A. Dovier, Theory and Practise of Logic Programming, Vol. 3 (1), 2003)"Set theory has played the role of a lingua franca for modern mathematics. (J.M. Plotkin, Zentralblatt MATH, Vol. 981, 2002). Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice.Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving.
Jetzt bei Ebay:
