Mathematics : Logic

About the Book: The book `Fundamental Approach to Discrete Mathematics` is a required part of pursuing a computer science degree at most universities. It provides in-depth knowledge to the subject for beginners and stimulates further interest in the topic. The salient features of this book include: Strong coverage of key topics involving recurrence relation, combinatorics, Boolean algebra, graph theory and fuzzy set theory. Algorithms and examples integrated throughout the book to bring clarity to the fundamental concepts. Each concept and definition is followed by thoughtful examples. User-friendly and accessible presentation to make learning more interesting as much as possible without compromising mathematical rigour. Includes glossary of all symbols discussed in the book together with the chapter where each was introduced. Around 300 complete solved illustrations to explain the concepts. Over 300 end-of-chapter exercises are included to stimulate further interest in the subject. Contents: Mathematical Logic Set Theory Binary Relation Function Generating Function and Recurrence Relation Combinatorics Group Theory Codes and Group Codes Ring Theory Boolean Algebra Introduction to Lattices Graph Theory Tree Fuzzy Set Theory. more...

Price: $40.00

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (forinstance, temporal, epistemic and probabilistic logics). more...

Price: $209.00

From the reviews of the First Edition. ''An interesting, useful, and well-written book on logistic regression models . . . Hosmer and Lemeshow have used very little mathematics, have presented difficult concepts heuristically and through illustrative examples, and have included references. more...

Price: $141.00

This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike. more...

Price: $52.00

This concentrated professional reference for the design and use of Boolean (algebra) functions in cryptography compiles all of the basic information that one needs to understand most aspects of the applications and computational use of cryptographic B more...

Price: $59.95