Book picks similar to
Handbook of the History of Logic, Volume 10: Inductive Logic by Dov M. Gabbay
modern-logic
philosophy-of-science-logic
history-of-logic
mmath
How to Study for a Mathematics Degree
Lara Alcock - 2012
Many of these students are extremely intelligent and hardworking, but even the best will, at some point, struggle with the demands of making the transition to advanced mathematics. Some have difficulty adjusting to independent study and to learning from lectures. Other struggles, however, are more fundamental: the mathematics shifts in focus from calculation to proof, so students are expected to interact with it in different ways. These changes need not be mysterious - mathematics education research has revealed many insights into the adjustments that are necessary - but they are not obvious and they do need explaining.This no-nonsense book translates these research-based insights into practical advice for a student audience. It covers every aspect of studying for a mathematics degree, from the most abstract intellectual challenges to the everyday business of interacting with lecturers and making good use of study time. Part 1 provides an in-depth discussion of advanced mathematical thinking, and explains how a student will need to adapt and extend their existing skills in order to develop a good understanding of undergraduate mathematics. Part 2 covers study skills as these relate to the demands of a mathematics degree. It suggests practical approaches to learning from lectures and to studying for examinations while also allowing time for a fulfilling all-round university experience.The first subject-specific guide for students, this friendly, practical text will be essential reading for anyone studying mathematics at university.
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
Fifty Challenging Problems in Probability with Solutions
Frederick Mosteller - 1965
Selected for originality, general interest, or because they demonstrate valuable techniques, the problems are ideal as a supplement to courses in probability or statistics, or as stimulating recreation for the mathematically minded. Detailed solutions. Illustrated.
The Complete Works: The Revised Oxford Translation, Vol. 1
Aristotle
It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original translation, slightly emended in light of recent scholarship; three of the original versions have been replaced by new translations; and a new and enlarged selection of Fragments has been added. The aim of the translation remains the same: to make the surviving works of Aristotle readily accessible to English speaking readers.
Trivium: The Classical Liberal Arts of Grammar, Logic, & Rhetoric
John Michell - 2016
Following on the success of Quadrivium and Sciencia, Trivium gathers six Wooden Books titles together into a beautiful six-color package that presents ancient wisdom in an accessible way. Trivium includes the books Euphonics, Grammar, Logic, Rhetoric,, Poetic Meter and Form, and Ethics.
Understanding Analysis
Stephen Abbott - 2000
The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft - 1979
With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it more accessible to today's students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, side-boxes to highlight other interesting material, and a less formal writing style. Exercises at the end of each chapter, including some new, easier exercises, help readers confirm and enhance their understanding of the material. *NEW! Completely rewritten to be less formal, providing more accessibility to todays students. *NEW! Increased usage of figures and pictures to help convey ideas. *NEW! More detail and intuition provided for definitions and proofs. *NEW! Provides special side-boxes to present supplemental material that may be of interest to readers. *NEW! Includes more exercises, including many at a lower level. *NEW! Presents program-like notation for PDAs and Turing machines. *NEW! Increas
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.
Introduction to Graph Theory
Douglas B. West - 1995
Verification that algorithms work is emphasized more than their complexity. An effective use of examples, and huge number of interesting exercises, demonstrate the topics of trees and distance, matchings and factors, connectivity and paths, graph coloring, edges and cycles, and planar graphs. For those who need to learn to make coherent arguments in the fields of mathematics and computer science.
Logical Investigations, Volume 1
Edmund Husserl - 1900
It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy.This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance.These editions include a new preface by Sir Michael Dummett.
Probability Theory: The Logic of Science
E.T. Jaynes - 1999
It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.
Proofs from the Book, 3e
Martin Aigner - 1998
Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."
Games and Decisions: Introduction and Critical Survey
R. Duncan Luce - 1957
Clear, comprehensive coverage of utility theory, 2-person zero-sum games, 2-person non-zero-sum games, n-person games, individual and group decision-making, more. Bibliography.
Thermal Physics
Charles Kittel - 1969
CONGRATULATIONS TO HERBERT KROEMER, 2000 NOBEL LAUREATE FOR PHYSICS For upper-division courses in thermodynamics or statistical mechanics, Kittel and Kroemer offers a modern approach to thermal physics that is based on the idea that all physical systems can be described in terms of their discrete quantum states, rather than drawing on 19th-century classical mechanics concepts.
The Fractal Geometry of Nature
Benoît B. Mandelbrot - 1977
The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary geometry, the geometry of fractal shapes.Now that the field has expanded greatly with many active researchers, Mandelbrot presents the definitive overview of the origins of his ideas and their new applications. The Fractal Geometry of Nature is based on his highly acclaimed earlier work, but has much broader and deeper coverage and more extensive illustrations.