Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Logic and discrete mathematics : a concise introduction / Willem Conradie and Valentin Goranko.

By: Contributor(s): Material type: TextTextPublication details: Chichester : John Wiley, c2015.Description: xix, 426 p. : illustrations ; 25 cmISBN:
  • 9781118751275 (pbk.)
Subject(s): DDC classification:
  • 511.3 23 C754
Contents:
1. Preliminaries -- 2. Sets, relations, orders -- 3. Propositional logic -- 4. First-order logic -- 5. Number theory -- 6. Combinatorics -- 7. Graph theory -- Index.
Summary: This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 511.3 C754 (Browse shelf(Opens below)) Available 136620
Books ISI Library, Kolkata 511.3 C754 (Browse shelf(Opens below)) Available 136619
Books ISI Library, Kolkata 511.3 C754 (Browse shelf(Opens below)) Available 136621
Total holds: 0

Includes index.

1. Preliminaries --
2. Sets, relations, orders --
3. Propositional logic --
4. First-order logic --
5. Number theory --
6. Combinatorics --
7. Graph theory --
Index.

This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in