By Peter A. Fejer, Dan A. Simovici
Mathematical Foundations of laptop technology, quantity I is the 1st of 2 volumes providing issues from arithmetic (mostly discrete arithmetic) that have confirmed proper and necessary to machine technological know-how. This quantity treats easy subject matters, ordinarily of a set-theoretical nature (sets, services and family, in part ordered units, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical principles via offering functions to machine technology. Readers will locate valuable functions in algorithms, databases, semantics of programming languages, formal languages, concept of computation, and software verification. the cloth is taken care of in a simple, systematic, and rigorous demeanour. the amount is equipped by means of mathematical sector, making the cloth simply obtainable to the upper-undergraduate scholars in arithmetic in addition to in computing device technological know-how and every bankruptcy features a huge variety of routines. the amount can be utilized as a textbook, however it may also be helpful to researchers and execs who need a thorough presentation of the mathematical instruments they wish in one resource. moreover, the publication can be utilized successfully as supplementary examining fabric in desktop technology classes, really these classes which contain the semantics of programming languages, formal languages and automata, and good judgment programming.