Book picks similar to
Modal Logic for Open Minds (Center for the Study of Language and Information - Lecture Notes) by Johan van Benthem
logic
mathematics
philosophy
course-litterature
Quantum Theory: A Very Short Introduction
John C. Polkinghorne - 2002
This book gives a lucid, exciting, and accessible account of the surprising and counterintuitive ideas that shape our understanding of the sub-atomic world. It does not disguise the problems of interpretation that still remain unsettled 75 years after the initial discoveries. The main text makes no use of equations, but there is a Mathematical Appendix for those desiring stronger fare. Uncertainty, probabilistic physics, complementarity, the problematic character of measurement, and decoherence are among the many topics discussed. This volume offers the reader access to one of the greatest discoveries in the history of physics and one of the outstanding intellectual achievements of the twentieth century.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundreds of key topics, from philosophy to Freud, quantum theory to Islam.
Social and Economic Networks
Matthew O. Jackson - 2008
The many aspects of our lives that are governed by social networks make it critical to understand how they impact behavior, which network structures are likely to emerge in a society, and why we organize ourselves as we do. In Social and Economic Networks, Matthew Jackson offers a comprehensive introduction to social and economic networks, drawing on the latest findings in economics, sociology, computer science, physics, and mathematics. He provides empirical background on networks and the regularities that they exhibit, and discusses random graph-based models and strategic models of network formation. He helps readers to understand behavior in networked societies, with a detailed analysis of learning and diffusion in networks, decision making by individuals who are influenced by their social neighbors, game theory and markets on networks, and a host of related subjects. Jackson also describes the varied statistical and modeling techniques used to analyze social networks. Each chapter includes exercises to aid students in their analysis of how networks function.This book is an indispensable resource for students and researchers in economics, mathematics, physics, sociology, and business.
Machine Learning
Tom M. Mitchell - 1986
Mitchell covers the field of machine learning, the study of algorithms that allow computer programs to automatically improve through experience and that automatically infer general laws from specific data.
The Latex Companion
Frank Mittelbach - 1993
This completely updated edition brings you all the latest information about LaTeX and the vast range of add-on packages now available--over 200 are covered! Full of new tips and tricks for using LaTeX in both traditional and modern typesetting, this book will also show you how to customize layout features to your own needs--from phrases and paragraphs to headings, lists, and pages. Inside, you will find: Expert advice on using LaTeX's basic formatting tools to create all types of publications--from memos to encyclopedias In-depth coverage of important extension packages for tabular and technical typesetting, floats and captions, multicolumn layouts--including reference guides and discussions of the underlying typographic and TeXnical concepts Detailed techniques for generating and typesetting contents lists, bibliographies, indexes, etc. Tips and tricks for LaTeX programmers and systems support New to this edition: Nearly 1,000 fully tested examples that illustrate the text and solve typographical and technical problems--all ready to run! An additional chapter on citations and bibliographies Expanded material on the setup and use of fonts to access a huge collection of glyphs, and to typeset text from a wide range of languages and cultures Major new packages for graphics, "verbatim" listings, floats, and page layout Full coverage of the latest packages for all types ofdocuments--mathematical, multilingual, and many more Detailed help on all error messages, including those troublesome low-level TeX errors Like its predecessor, The LaTeX Companion, Second Edition, is an indispensable reference for anyone wishing to use LaTeX productively. The accompanying CD-ROM contains a complete plug-and-play LaTeX installation, including all the packages and examples featured in the book.
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.
The Man Who Counted Infinity and Other Short Stories from Science, History and Philosophy
Sašo Dolenc - 2012
The objective here is to explain science in a simple, attractive and fun form that is open to all.The first axiom of this approach was set out as follows: “We believe in the magic of science. We hope to show you that sci-ence is not a secret art, accessible only to a dedicated few. It involves learning about nature and society, and aspects of our existence which affect us all, and which we should all therefore have the chance to understand. We shall interpret science for those who might not speak its language fluently, but want to understand its meaning. We don’t teach, we just tell stories about the beginnings of science, the natural phenomena and the underlying principles through which they occur, and the lives of the people who discovered them.”The aim of the writings collected in this series is to present some key scientific events, ideas and personalities in the form of short stories that are easy and fun to read. Scientific and philo-sophical concepts are explained in a way that anyone may under-stand. Each story may be read separately, but at the same time they all band together to form a wide-ranging introduction to the history of science and areas of contemporary scientific research, as well as some of the recurring problems science has encountered in history and the philosophical dilemmas it raises today.Review“If I were the only survivor on a remote island and all I had with me were this book, a Swiss army knife and a bottle, I would throw the bottle into the sea with the note: ‘Don’t worry, I have everything I need.’”— Ciril Horjak, alias Dr. Horowitz, a comic artist“The writing is understandable, but never simplistic. Instructive, but never patronizing. Straightforward, but never trivial. In-depth, but never too intense.”— Ali Žerdin, editor at Delo, the main Slovenian newspaper“Does science think? Heidegger once answered this question with a decisive No. The writings on modern science skillfully penned by Sašo Dolenc, these small stories about big stories, quickly convince us that the contrary is true. Not only does science think in hundreds of unexpected ways, its intellectual challenges and insights are an inexhaustible source of inspiration and entertainment. The clarity of thought and the lucidity of its style make this book accessible to anyone … in the finest tradition of popularizing science, its achievements, dilemmas and predicaments.”— Mladen Dolar, philosopher and author of A Voice and Nothing More“Sašo Dolenc is undoubtedly one of our most successful authors in the field of popular science, possessing the ability to explain complex scientific achievements to a broader audience in a clear and captivating way while remaining precise and scientific. His collection of articles is of particular importance because it encompasses all areas of modern science in an unassuming, almost light-hearted manner.”— Boštjan Žekš, physicist and former president of the Slovenian Academy of Sciences and Arts
Aliens & Anorexia
Chris Kraus - 2000
Belief is a technology for softening the landscape. The world becomes more beautiful when God is in it. Here is what happens inside a person's body when they starve.Written in the shadow of Georg Buchner's Lenz at razor pitch, Aliens & Anorexia, first published in 2000, defines a female form of chance that is both emotional and radical. The book unfolds like a set of Chinese boxes, using stories and polemics to travel through a maze that spirals back into itself. Its characters include Simone Weil, the first radical philosopher of sadness, the artist Paul Thek, Kraus herself, and "Africa," her virtual S&M partner who's shooting a big-budget Hollywood film in Namibia while Kraus holes up in the Northwest Woods for the winter to chronicle the failure of Gravity & Grace, her own low-budget independent film.In Aliens & Anorexia, Kraus argues for empathy as the ultimate perceptive tool, and reclaims anorexia from the psychoanalytic girl-ghetto of poor "self-esteem." Anorexia, Kraus writes, could be an attempt to leave the body altogether: a rejection of the cynicism this culture hands us through its food.
The Good Life Handbook: Epictetus' Stoic Classic Enchiridion
Chuck Chakrapani - 2016
It is a concise summary of the teachings of Epictetus, as transcribed and later summarized by his student Flavius Arrian. The Handbook is a guide to the good life. It answers the question, “How can we be good and live free and happy, no matter what else is happening around us?” Ancient Stoics lived in a time of turmoil under difficult conditions. So, the solutions they found to living free was tested under very stringent conditions. For example, the author of this Handbook was a lame slave who made himself free and happy later in life by following the principles set out in this book.
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
Conceptual Mathematics: A First Introduction to Categories
F. William Lawvere - 1997
Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.
Artificial Intelligence: A Modern Approach
Stuart Russell - 1994
The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. *NEW-Nontechnical learning material-Accompanies each part of the book. *NEW-The Internet as a sample application for intelligent systems-Added in several places including logical agents, planning, and natural language. *NEW-Increased coverage of material - Includes expanded coverage of: default reasoning and truth maintenance systems, including multi-agent/distributed AI and game theory; probabilistic approaches to learning including EM; more detailed descriptions of probabilistic inference algorithms. *NEW-Updated and expanded exercises-75% of the exercises are revised, with 100 new exercises. *NEW-On-line Java software. *Makes it easy for students to do projects on the web using intelligent agents. *A unified, agent-based approach to AI-Organizes the material around the task of building intelligent agents. *Comprehensive, up-to-date coverage-Includes a unified view of the field organized around the rational decision making pa
Vision: A Computational Investigation into the Human Representation and Processing of Visual Information
David Marr - 1982
A computational investigation into the human representation and processing of visual information.
The Enlightened Gardener Revisited
Sydney Banks - 2004
Author and philosopher Sydney Banks once again brings to life his wise and simple gardener as a voice through which Banks presents more implications of the Three Principles that create human reality, calling on us to realize that to fully understand the Principles is to liberate one's spirit.
Investigating the Social World: The Process and Practice of Research
Russell K. Schutt - 1995
In this new Seventh Edition of his perennially successful social research text, author Russell K. Schutt continues to make research come alive through stories that illustrate the methods presented in each chapter, and hands-on exercises that help students learn by doing. Investigating the Social World helps readers understand research methods as an integrated whole, appreciate the value of both qualitative and quantitative methodologies, and understand the need to make ethical research decisions. New to this Edition: * upgraded coverage of research methods to include the spread of cell phones and the use of the Internet, including expanded coverage of Web surveys * larger page size in full color allows for better display of pedagogical features * new 'Research in the News' boxes included within chapters * more international examples * expanded statistics coverage now includes more coverage of inferenctial statistics and regression analysi
Stranger and Friend: The Way of an Anthropologist
Hortense Powdermaker - 1966
An occasionally humorous and insightful look into what makes socities both similar and unique.