Home » Logic and Discrete Mathematics
Product Image

Logic and Discrete Mathematics

Willem Conradie | Valentin Goranko
€47.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=Valentin Goranko
A01=Willem Conradie
Age Group_Uncategorized
Age Group_Uncategorized
algorithm
arithmetic
arrangement
Author_Valentin Goranko
Author_Willem Conradie
automatic-update
axiom
bijection
binomial theorem
Boolean
cardinal number
cardinality
Category1=Non-Fiction
Category=PBCD
Category=PBD
Chinese remainder theorem
clausal form
combination
combinatorics
congruence
COP=United States
countable set
counting techniques
cryptography
Deduction
deductive system
Delivery_Delivery within 10-20 working days
digraph
Diophantine equations
directed graph
discrete mathematics
disjunction
divisibility
divisor
eq_isMigrated=2
eq_nobargain
equivalence
equivalence relation
Euclidean algorithm
Euler's theorem
Euler’s theorem
Fibonacci numbers
first-order language
first-order logic
first-order structure
formula
function
fundamental theorem of arithmetic
generating function
graph
graph colouring
graph theory
greatest common divisor
implication
incidence matrix
inclusion-exclusion principle
inference rule
infinite set
Language_English
law of excluded middle
linear congruence
linear order
logic
logical
logical connective
number theory
PA=Available
predicate logic
Price_€20 to €50
probability
propositional logic
PS=Active
set theory
softlaunch

Product details

  • ISBN 9781118751275
  • Weight: 885g
  • Dimensions: 185 x 241mm
  • Publication Date: 22 May 2015
  • Publisher: John Wiley & Sons Inc
  • Publication City/Country: US
  • Product Form: Paperback
  • Language: English
Secure checkout Fast Shipping Easy returns
Description

A concise yet rigorous introduction to logic and discrete mathematics.

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 to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.

Key Features:

  • Suitable for a variety of courses for students in both Mathematics and Computer Science.
  • Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection  of the most important fields of discrete mathematics
  • Concise, clear and uncluttered presentation with numerous examples.
  • Covers some applications including cryptographic systems, discrete probability and network algorithms.

Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.
About Valentin Goranko | Willem Conradie

Willem Conradie, University of Johannesburg, South Africa.

Valentin Goranko, University of Stockholm, Sweden.

More from this author