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)
| No cover image available | ||||||||
| 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 | 511.3 C798 Mathematical logic | 511.3 C872 Algebra of logic |
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.
