Logic and discrete mathematics : a concise introduction / Willem Conradie and Valentin Goranko.
Material type:
TextPublication details: Chichester : John Wiley, c2015.Description: xix, 426 p. : illustrations ; 25 cmISBN: - 9781118751275 (pbk.)
- 511.3 23 C754
| 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 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.3 C646 Arithmetic,proof theory and computational complexity | 511.3 C714 Finite algebra and multiple-valued logic : proceedings | 511.3 C748 Twenty-five years of constructive type theory | 511.3 C754 Logic and discrete mathematics : | 511.3 C754 Logic and discrete mathematics : | 511.3 C754 Logic and discrete mathematics : | 511.3 C778 Computability theory |
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.
