Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.Applications of Propositional Calculus e look at two applications of propositional calculus. The first is its W V use in solving various aword problemsa, such as the superman story on page 37. Formalizing such problems in propositional calculus anbsp;...
|Title||:||A Logical Approach to Discrete Math|
|Author||:||David Gries, Fred B. Schneider|
|Publisher||:||Springer Science & Business Media - 2013-03-14|