Book picks similar to
Finite Model Theory by Heinz-Dieter Ebbinghaus


logic
mathematics
p2
lobstacle-combinatorics-graphs

Mathematical Circles: Russian Experience (Mathematical World, Vol. 7)


Dmitri Fomin - 1996
    The work is predicated on the idea that studying mathematics can generate the same enthusiasm as playing a team sport - without necessarily being competitive.

Algorithms


Sanjoy Dasgupta - 2006
    Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly formal. Features include: The use of boxes to strengthen the narrative: pieces that provide historical context, descriptions of how the algorithms are used in practice, and excursions for the mathematically sophisticated.Carefully chosen advanced topics that can be skipped in a standard one-semester course, but can be covered in an advanced algorithms course or in a more leisurely two-semester sequence.An accessible treatment of linear programming introduces students to one of the greatest achievements in algorithms. An optional chapter on the quantum algorithm for factoring provides a unique peephole into this exciting topic. In addition to the text, DasGupta also offers a Solutions Manual, which is available on the Online Learning Center.Algorithms is an outstanding undergraduate text, equally informed by the historical roots and contemporary applications of its subject. Like a captivating novel, it is a joy to read. Tim Roughgarden Stanford University

Mathematical Analysis


S.C. Malik - 1992
    This book discusses real sequences and series, continuity, functions of several variables, elementary and implicit functions, Riemann and Riemann-Stieltjes integrals, and Lebesgue integrals.

Forecasting: Principles and Practice


Rob J. Hyndman - 2013
    Deciding whether to build another power generation plant in the next five years requires forecasts of future demand. Scheduling staff in a call centre next week requires forecasts of call volumes. Stocking an inventory requires forecasts of stock requirements. Telecommunication routing requires traffic forecasts a few minutes ahead. Whatever the circumstances or time horizons involved, forecasting is an important aid in effective and efficient planning. This textbook provides a comprehensive introduction to forecasting methods and presents enough information about each method for readers to use them sensibly. Examples use R with many data sets taken from the authors' own consulting experience.

Bayesian Reasoning and Machine Learning


David Barber - 2012
    They are established tools in a wide range of industrial applications, including search engines, DNA sequencing, stock market analysis, and robot locomotion, and their use is spreading rapidly. People who know the methods have their choice of rewarding jobs. This hands-on text opens these opportunities to computer science students with modest mathematical backgrounds. It is designed for final-year undergraduates and master's students with limited background in linear algebra and calculus. Comprehensive and coherent, it develops everything from basic reasoning to advanced techniques within the framework of graphical models. Students learn more than a menu of techniques, they develop analytical and problem-solving skills that equip them for the real world. Numerous examples and exercises, both computer based and theoretical, are included in every chapter. Resources for students and instructors, including a MATLAB toolbox, are available online.

The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics


Clifford A. Pickover - 2009
    Beginning millions of years ago with ancient “ant odometers” and moving through time to our modern-day quest for new dimensions, it covers 250 milestones in mathematical history. Among the numerous delights readers will learn about as they dip into this inviting anthology: cicada-generated prime numbers, magic squares from centuries ago, the discovery of pi and calculus, and the butterfly effect. Each topic gets a lavishly illustrated spread with stunning color art, along with formulas and concepts, fascinating facts about scientists’ lives, and real-world applications of the theorems.

The Man of Numbers: Fibonacci's Arithmetic Revolution


Keith Devlin - 2011
    Devised in India in the 7th and 8th centuries and brought to North Africa by Muslim traders, the Hindu-Arabic system helped transform the West into the dominant force in science, technology, and commerce, leaving behind Muslim cultures which had long known it but had failed to see its potential.The young Italian, Leonardo of Pisa (better known today as Fibonacci), had learned the Hindu number system when he traveled to North Africa with his father, a customs agent. The book he created was Liber abbaci, the "Book of Calculation," and the revolution that followed its publication was enormous. Arithmetic made it possible for ordinary people to buy and sell goods, convert currencies, and keep accurate records of possessions more readily than ever before. Liber abbaci's publication led directly to large-scale international commerce and the scientific revolution of the Renaissance.Yet despite the ubiquity of his discoveries, Leonardo of Pisa remains an enigma. His name is best known today in association with an exercise in Liber abbaci whose solution gives rise to a sequence of numbers--the Fibonacci sequence--used by some to predict the rise and fall of financial markets, and evident in myriad biological structures.One of the great math popularizers of our time, Keith Devlin recreates the life and enduring legacy of an overlooked genius, and in the process makes clear how central numbers and mathematics are to our daily lives.

50 Mathematical Ideas You Really Need to Know


Tony Crilly - 2007
    Who invented zero? Why are there 60 seconds in a minute? Can a butterfly's wings really cause a storm on the far side of the world? In 50 concise essays, Professor Tony Crilly explains the mathematical concepts that allow use to understand and shape the world around us.

The Eudaemonic Pie


Thomas A. Bass - 1985
    “The result is a veritable pi

The R Book


Michael J. Crawley - 2007
    The R language is recognised as one of the most powerful and flexible statistical software packages, and it enables the user to apply many statistical techniques that would be impossible without such software to help implement such large data sets.

Matrix Computations


Gene H. Golub - 1983
    It includes rewritten and clarified proofs and derivations, as well as new topics such as Arnoldi iteration, and domain decomposition methods.