Mon premier blog

A Logical Approach to Discrete Math David Gries
Publisher: Springer

Post subject: Re: Discrete Math: Direct Proof of a Tautology. This text attempts to change the way logic and discrete math are taught in computer science and mathematics. A Logical Approach to Discrete Math Gries D., Schneider F.B. While many books treat logic simply as another topic of More information. Download A Logical Approach to Discrete Math. LHS as correct approaches for a proof. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. A Logical Approach to Discrete Math by Gries D., Schneider F.B.. (p AND (!q IMPLIES !p)) <=> (p AND (!p or !!q)) <=> (p AND (!p or q)) :: Logical Equivs. This text attempts to change the way we teach logic to beginning students. A Logical Approach to Discrete Math.