Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

    Taking examples from sources as diverse as Plato and Steven Spielberg, author Julian Baggini presents abstract philosophical issues in concrete terms, suggesting possible solutions while encouraging readers to draw their own conclusions: Lively, clever, and thought-provoking, The Pig That Wants to Be Eaten is a portable feast for the mind that is sure to satisfy any intellectual appetite.

    Russell's classic The Principles of Mathematics sets forth his landmark thesis that mathematics and logic are identical―that what is commonly called mathematics is simply later deductions from logical premises.His ideas have had a profound influence on twentieth-century work on logic and the foundations of mathematics.

    The underlying theme of the book is that the belief in a divine power, the Creator, is not in contradiction with the acceptance of scientific rationale.

    Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.

    It requires three to five times less time than developing in Java, is a great building block for learning both procedural and object-oriented programming concepts, and is an ideal language for data analysis. Beginning Programming with Python For Dummies is the perfect guide to this dynamic and powerful programming language--even if you've never coded before! Author John Paul Mueller draws on his vast programming knowledge and experience to guide you step-by-step through the syntax and logic of programming with Python and provides several real-world programming examples to give you hands-on experience trying out what you've learned.Provides a solid understanding of basic computer programming concepts and helps familiarize you with syntax and logic Explains the fundamentals of procedural and object-oriented programming Shows how Python is being used for data analysis and other applications Includes short, practical programming samples to apply your skills to real-world programming scenarios Whether you've never written a line of code or are just trying to pick up Python, there's nothing to fear with the fun and friendly Beginning Programming with Python For Dummies leading the way.

    Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition reflects user and reviewer feedback on both content and organization.

    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

    

    Through careful use of modern examples and engaging activities, this text provides an accessible, readable, student-centred guide to Descartes' Meditations, which is a set text for AQA AS Philosophy.

    His profound management sutras are derived from his bestselling books on business and management. They show how individuals can realize their potential, create wealth and achieve lasting success by following uniquely Indian principles (based on Hindu, Jain and Buddhist mythology) of goal setting, strategic thinking and decision-making.

    Mirroring his theory, Minsky boldly casts The Society of Mind as an intellectual puzzle whose pieces are assembled along the way. Each chapter -- on a self-contained page -- corresponds to a piece in the puzzle. As the pages turn, a unified theory of the mind emerges, like a mosaic. Ingenious, amusing, and easy to read, The Society of Mind is an adventure in imagination.

    In The Tao of Chess, the author seamlessly blends the wisdom of a time-honoured spiritual quest for truth with 200 principles that will improve anyone's chess game. By following the author's principles, readers not only come to enjoy the game more, they develop a habit of seeking underlying truth - whether in a chess game or a real-life situation.The Tao of Chess is full of conscise advice, such as:Understanding is more important than memoryFortune favors the braveWhen you see a good move, wait and look for a better moveMistakes tend to come in bunchesTrust your intuition; it's usually rightAuthoritative and easy to follow, this book will turn every reader into a master strategist.

    Communication is also emphasized, with a focus on how to document and communicate project developments, both within and outside of the team. In-depth coverage of planning, scheduling and cost management is also provided. The authors' goal is to provide many cases that are fun and elicit interesting debates, and this edition includes new end-of-chapter cases. In addition, all new up-to-date Real World Project Management vignettes are included at the beginning and within each chapter, giving you a taste of how project management is practically applied in the workplace. Key points of each chapter are highlighted in Critical Success Factor boxes, providing an overview of the main ideas covered within the chapter. End-of-chapter materials contain questions and Internet exercises that allow you to apply the concepts covered in the chapter. Sprinkled throughout each chapter are boxed questions designed to test your comprehension of key concepts. A trial version of Microsoft Office Project 2007 is included for student use on class projects.

    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.