Logic and discrete mathematics a computer science perspective
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 systemati...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Upper Saddle River, N.J.
Prentice Hall
1996
|
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000n a2200000 a 4501 | ||
|---|---|---|---|
| 001 | wils-166902 | ||
| 005 | 202205181846 | ||
| 020 | # | # | |a 0135012066 |q hardcover |
| 040 | # | # | |a UiTM |b eng |c UiTM |e rda |
| 090 | 0 | 0 | |a QA76.9.M35 |b G725 1996 |
| 100 | 1 | # | |a Grassmann, Winfried K |e author |
| 245 | 1 | 1 | |a Logic and discrete mathematics |b a computer science perspective |c Winfried Karl Grassmann, Jean-Paul Tremblay |
| 264 | # | 1 | |a Upper Saddle River, N.J. |b Prentice Hall |c 1996 |
| 300 | # | # | |a xviii, 750 pages |b illustrations |c 25 cm |
| 336 | # | # | |a text |2 rdacontent |
| 337 | # | # | |a unmediated |2 rdamedia |
| 338 | # | # | |a volume |2 rdacarrier |
| 504 | # | # | |a Includes bibliographical references (page 641-643) and index |
| 520 | # | # | |a 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. |
| 650 | # | 0 | |a Computer science |x Mathematics |
| 700 | 1 | # | |a Tremblay, Jean-Paul |c 1938- |e author |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=166902 |
| 964 | # | # | |c BOK |d 01 |
| 998 | # | # | |a 00264#1a002.8.2||00264#1b002.8.4||00300##a003.5.1||00300##b003.5.1||00300##c003.5.1||00520##a007.2||00520##b007.2|| |
Discrete mathematics