TY - BOOK AU - GRASSMANN,WINFRIED KARL TI - LOGIC AND DISCRETE MATHEMATICS: A COMPUTER SCIENCE PERSPECTIVE SN - 0135012066 U1 - 005.1015113 PY - 0000///[s.f.] CY - [s.l.] PB - PRENTICE-HALL, INC. KW - COMPUTACION KW - MATEMATICAS N2 - MOST UNIVERSITIES REQUIRE THAT A COURSE IN DISCRETE MATHEMATICS BE TAKEN BY EVERY UNDERGRADUATE COMPUTER SCIENCE STUDENT, AND RIGHTLY SO. INDEED, DISCRETE MATEMATICS GIVES THE APPROPIATE THEORETICAL FOUNDATIONS FOR COMPUTER SCIENCE, FOUNDATIONS THAT ARE NOT ONLY BENEFICIAL FOR DOING THEORETICAL COMPUTER SCIENCE, BUT ALSO FOR PRACTICE OF COMPUTER SCIENCE AS EVIDENCED BY RECETN PROLIFERATION O BOOKS ON FORMAL METHODS ER -