num_pages: 776
description: This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
language: English
title: Logic and Discrete Mathematics: A Computer Science Perspective
titlecomplete: Logic and Discrete Mathematics: A Computer Science Perspective
genres: Textbooks, Computer Science, Mathematics
ratings_count: 16
publisher: Pearson