Introduction to Mathematical Logic
Sets, Functions, and Logic
Handbook of Natural Language Processing
Fifth Edition
An Introduction to Abstract Mathematics, Third Edition
Second Edition
Queens College, Flushing, New York, USA
Keith Devlin
Nitin Indurkhya
“… There are many fine books on mathematical logic, but Mendelson’s textbook remains a sure choice for a first course for its clear explanations and organization … especially suitable for self-study, with a wealth of exercises to test the reader’s understanding.” —MAA Reviews
Stanford University, Stanford, California, USA
Elliott Mendelson
“… my first choice of reference is always this book. It is the most concise and readable introductory text I have ever encountered and it is a rare occasion when I fail to find the background material needed to solve the problem … I have pulled the ideas for many test questions from it over the years.” —Charles Ashbacher
Catalog no. C8768, January 2010 469 pp., ISBN: 978-1-58488-876-5 $89.95 / £39.99
“The book is written in a language both accessible and attractive to students. The author succeeds in not falling into the trap of a sort of ‘mathematical baby talk’ to meet his goals. … “ —Zentralblatt MATH, 1048 Since its first edition published in 1981, Set, Function and Logic has smoothed the road to higher mathematics for legions of undergraduate students. Now in its third edition, the narrative is more lively, less textbook-like. Remarks and asides link the various topics to the real world. The result is an affordable, thoroughly engaging book that every student making the transition from high school to university mathematics will welcome.
Catalog no. C4495, 2004, 160 pp. Soft Cover, ISBN: 978-1-58488-449-1 $58.95 / £37.99
Edited by
University of New South Wales, Sydney, Australia
Fred J. Damerau Goshen, Connecticut, USA
This comprehensive handbook presents practical tools and techniques for implementing natural language processing in computer systems. Along with removing outdated material, this edition offers greater prominence to statistical approaches and a broader multilingual scope to include Asian and European languages. It also contains a new section that covers many well-known and emerging applications, including machine translation, biomedical text mining, and sentiment analysis. In addition, an actively maintained companion wiki provides online resources, supplementary information, and up-to-date developments.
Catalog no. C5921, February 2010 704 pp., ISBN: 978-1-4200-8592-1 $99.95 / £63.99
( Click on Book Covers for More Information )
A Concise Introduction to Pure Mathematics Second Edition Martin Liebeck Imperial College, London, UK
Handbook of Mathematical Induction
Introduction to Mathematics of Satisfiability
Theory and Applications
Victor W. Marek
David S. Gunderson
University of Kentucky, Lexington, USA
University of Manitoba, Winnipeg, Canada
This book focuses on the satisfiability of theories consisting of propositional logic formulas. After covering logic fundamentals, it examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation explore finite runs of Turing machines, encodings into SAT, constraint satisfaction systems, and answer set programming.
This comprehensive handbook presents the formal development of natural numbers from axioms, which leads into set theory and transfinite induction. It contains numerous exercises highlighting the various levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction.
Catalog no. C3649, August 2010 840 pp., ISBN: 978-1-4200-9364-3 $99.95 / £63.99
Catalog no. K10101, January 2010 364 pp., ISBN: 978-1-4398-0167-3 $89.95 / £54.99
“A gentle but fascinating introduction into the culture of mathematics … a wide selection of problems ranging from routine to quite challenging.” —Robert Guralnick, Chair of the Mathematics Department, University of Southern California “… a pleasure to read … a very welcome and highly accessible book.” —Michael Ward, in The Mathematical Gazette
Catalog no. C5475, 2006, 224 pp. ISBN: 978-1-58488-547-4 $53.95 / £25.99
Math and Art An Introduction to Visual Mathematics Sasho Kalajdzievski University of Manitoba, Winnipeg, Canada
Quantum Computing From Linear Algebra to Physical Realizations Mikio Nakahara and Tetsuo Ohmi Kinki University, Osaka, Japan
With explicit derivations, exercises, and selected solutions, this self-contained, classroom-tested book examines the theoretical aspects of quantum computing and focuses on several candidates of a working quantum computer. It covers theoretical tools, such as vectors, matrices, quantum gates, and integral and Fourier transforms, and explores applications at the forefront of the field.
Catalog no. IP606, 2008 440 pp., ISBN: 978-0-7503-0983-7 $83.95 / £52.99
Introduction to Mathematical Proofs A Transition Charles Roberts Indiana State University, Terre Haute, USA
Written in a conversational style, yet maintaining the proper mathematical rigor, this accessible book teaches how to reason logically, how to read proofs critically, and how to write valid mathematical proofs. It facilitates a smooth transition from courses designed to develop computational skills and problem solving abilities to courses that emphasize theorem proving.
Catalog no. C6955, 2009 433 pp., ISBN: 978-1-4200-6955-6 $89.95 / £57.99
“… engages the reader through explorations with lots of hands-on exercises. The mathematical presentation is solid, and the choice of topics puts the focus on the visual presentation of mathematical concepts. The illustrations are beautiful! … This text is very readable … accessible to those with little mathematical background, and yet the presentation is still engaging for those with more background.” —MAA Reviews “… offers an excellent account of art inspired by mathematics and art generated by mathematics, and it should interest readers in both fields … Highly Recommended.” —R.M. Davis, emeritus, Albion College, in Choice: Current Review for Academic Libraries, Vol. 46, No. 6
Catalog no. C9136, 2008, 272 pp. Soft Cover, ISBN: 978-1-58488-913-7 $60.95 / £34.99
*Enter discount code 699CM at checkout to save 20% off your purchase. Offer good through Dec. 31, 2010 And remember, standard shipping is FREE when you order online at www.crcpress.com.
Follow CRC Press on:
MBFASL0 CFL 041510ßß