Classical Recursion Theory

In everyday life we must often reach decisions while knowing that the outcome will not only depend on our own choice, but also on the choices of others. These situations are the focus of epistemic game theory. Unlike classical game theory, it explores how people may reason about their opponents before they make their final choice in a game. Packed with examples and practical problems based on stories from everyday life, this is the first textbook to explain the principles of epistemic game theory. Each chapter is dedicated to one particular, natural way of reasoning. The book then shows how each of these ways of reasoning will affect the final choices that can rationally be made and how these choices can be found by iterative procedures. Moreover, it does so in a way that uses elementary mathematics and does not presuppose any previous knowledge of game theory.

In everyday life we must often reach decisions while knowing that the outcome will not only depend on our own choice, but also on the choices of others. These situations are the focus of epistemic game theory. Unlike classical game theory, it explores how people may reason about their opponents before they make their final choice in a game. Packed with examples and practical problems based on stories from everyday life, this is the first textbook to explain the principles of epistemic game theory. Each chapter is dedicated to one particular, natural way of reasoning. The book then shows how each of these ways of reasoning will affect the final choices that can rationally be made and how these choices can be found by iterative procedures. Moreover, it does so in a way that uses elementary mathematics and does not presuppose any previous knowledge of game theory.

Human conflict - from family feuds, to labor strikes, to national warfare - is an ever-present and universal social problem and the methods to manage it, a challenge for everyone, from average citizens to policymakers and social theorists. Using Conflict Theory will educate students about how, under what conditions, and why conflict erupts, and how it can be managed. It is a unique classroom book blending theory and practical application and the first to bridge for students the science of social theory and the art of practice. The authors extract from classical sociological theory (Marx, Dahrendorf, Weber, Durkheim, and Parsons), and interpret for the student how these theoretical perspectives have contributed to understanding social conflict (its sources, the causes of escalation and de-escalation of violence, the negotiations process). The perspectives of contemporary theorists (such as Randall Collins, James Coleman, Joseph Himes, Hubert Blalock) are also brought to bear on these q

Human conflict - from family feuds, to labor strikes, to national warfare - is an ever-present and universal social problem and the methods to manage it, a challenge for everyone, from average citizens to policymakers and social theorists. Using Conflict Theory will educate students about how, under what conditions, and why conflict erupts, and how it can be managed. It is a unique classroom book blending theory and practical application and the first to bridge for students the science of social theory and the art of practice. The authors extract from classical sociological theory (Marx, Dahrendorf, Weber, Durkheim, and Parsons), and interpret for the student how these theoretical perspectives have contributed to understanding social conflict (its sources, the causes of escalation and de-escalation of violence, the negotiations process). The perspectives of contemporary theorists (such as Randall Collins, James Coleman, Joseph Himes, Hubert Blalock) are also brought to bear on these q

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel

This book originates from graduate courses given in Cambridge and London. It provides a brisk, thorough treatment of the foundations of algebraic number theory, and builds on that to introduce more advanced ideas. Throughout, the authors emphasise the systematic development of techniques for the explicit calculation of the basic invariants, such as rings of integers, class groups, and units. Moreover they combine, at each stage of development, theory with explicit computations and applications, and provide motivation in terms of classical number-theoretic problems. A number of special topics are included that can be treated at this level but can usually only be found in research monographs or original papers, for instance: module theory of Dedekind domains; tame and wild ramifications; Gauss series and Gauss periods; binary quadratic forms; and Brauer relations. This is the only textbook at this level which combines clean, modern algebraic techniques together with a substantial arithme

This book, first published in 1991, is devoted to the exposition of combinatorial matrix theory. This subject concerns itself with the use of matrix theory and linear algebra in proving results in combinatorics (and vice versa), and with the intrinsic properties of matrices viewed as arrays of numbers rather than algebraic objects in themselves. There are chapters dealing with the many connections between matrices, graphs, digraphs and bipartite graphs. The basic theory of network flows is developed in order to obtain existence theorems for matrices with prescribed combinatorial properties and to obtain various matrix decomposition theorems. Other chapters cover the permanent of a matrix, and Latin squares. The final chapter deals with algebraic characterizations of combinatorial properties and the use of combinatorial arguments in proving classical algebraic theorems, including the Cayley-Hamilton Theorem and the Jordan Canonical Form. The book is sufficiently self-contained for use

Steven J. Brams' Theory of Moves, though based on the classical theory of games, proposes changes in its rules to render it a truly dynamic theory. By postulating that players think ahead not just to the immediate consequences of making moves, but also to the consequences of countermoves to these moves, counter-countermoves, and so on, it extends the strategic analysis of conflicts into the more distant future. It elucidates the role that different kinds of power - moving, order and threat - may have on conflict outcomes, and it also shows how misinformation affects player choices. Applied to a series of cases drawn from politics, economics, sociology, fiction and the Bible, the theory provides not only a parsimonious explanation of their outcomes, but also shows why they unfolded as they did. This book, which assumes no prior knowledge of game theory or special mathematical background, will be of interest to scholars and students throughout the social sciences.

Lectures on Electromagnetic Theory provides a concise, self-contained introduction to graduate-level electromagnetic theory, organized for a one-semester course. Written in a "theoretical minimum" style, the text emphasizes clear physical insight and mathematical precision. The five chapters cover Maxwell equations and fundamental theorems; wave propagation, plane-wave expansion, and guided waves; electromagnetic radiation and Green functions; analytical scattering theory for canonical targets; and an introduction to relativistic electrodynamics linking classical electrodynamics with special relativity. The book serves both beginning graduate students and researchers seeking a compact reference.

In this concise yet comprehensive guide to the mathematics of modern portfolio theory the authors discuss mean-variance analysis, factor models, utility theory, stochastic dominance, very long term investing, the capital asset pricing model, risk measures including VAR, coherence, market efficiency, rationality and the modelling of actuarial liabilities. Each topic is clearly explained with assumptions, mathematics, limitations, problems and solutions presented in turn. Joshi's trademark style of clarity and practicality is here brought to classical financial mathematics. The book is suitable for mathematically trained students in actuarial studies, business and economics as well as mathematics and finance, and it can be used for both self-study and as a course text. The authors' experience as both academics and practitioners brings clarity and relevance to the book, whilst ensuring that the limitations of models are highlighted.

A canonical quantization approach to classical field theory, this text is suitable for advanced undergraduates and graduate students. It is addressed to mathematicians interested in theoretical physic

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.

In algebraic topology some classical invariants - such as Betti numbers and Reidemeister torsion - are defined for compact spaces and finite group actions. They can be generalized using von Neumann al

The Rhetorical Tradition — the first comprehensive anthology of primary texts covering the history of rhetoric — examines rhetorical theory from classical antiquity through the modern period. Extensiv

Examining the political theory of anarchism from a philosophical and historical perspective, Paul McLaughlin relates anarchism to the fundamental ethical and political problem of authority. The book p

The structural aspects of composite quantum systems in the foundation, interpretation and application of quantum theory is an increasingly prominent topic of physics research. As an emerging field, it

This original work focuses on the rational principles of Indian philosophical theory, rather than the mysticism more usually associated with it. Ganeri explores the philosophical projects of a number

This book gives an introduction to the classical, well-known special functions which play a role in mathematical physics, especially in boundary value problems. Calculus and complex function theory fo

The landscape of psychoanalysis has changed, at times dramatically, in the hundred or so years since Freud first began to think and write about it. Freudian theory and concepts have risen, fallen, evo

In the eloquent style for which he has become famous, Charles Lemert writes of social theory as no one else. Thinking the Unthinkable is offered as text for instruction, yet it defies the prevailing a

In the eloquent style for which he has become famous, Charles Lemert writes of social theory as no one else. Thinking the Unthinkable is offered as text for instruction, yet it defies the prevailing a

The consequences of the existence of a thermal equation of state, the eighteenth century doctrine of latent and specific heats, and Carnot's general axiom are developed here completely and rigorously.

This 1997 book covers the period which saw the establishment in France of a centralized official theatre - not only the Comédie-Française (the first 'national' theatre), but an Italian theatre and a state opera; the often subversive independent theatres are also discussed. Nearly 1,000 documents deal with censorship and other aspects of external control, company management, the acting profession, dramatic theory and criticism, theatre architecture, settings and costumes, audience composition and behaviour. Over 120 pictorial documents - architectural drawings, technical engravings, frontispieces, portraits, etc. - provide a visual dimension where relevant. A full linking narrative and a copious bibliography help to make this an important reference work and a valuable research tool.

This 1997 book covers the period which saw the establishment in France of a centralized official theatre - not only the Comédie-Française (the first 'national' theatre), but an Italian theatre and a state opera; the often subversive independent theatres are also discussed. Nearly 1,000 documents deal with censorship and other aspects of external control, company management, the acting profession, dramatic theory and criticism, theatre architecture, settings and costumes, audience composition and behaviour. Over 120 pictorial documents - architectural drawings, technical engravings, frontispieces, portraits, etc. - provide a visual dimension where relevant. A full linking narrative and a copious bibliography help to make this an important reference work and a valuable research tool.

In this book, Rachel Kousser draws on contemporary reception theory to present an approach to Hellenistic and Roman ideal sculpture. She analyzes the Romans' preference for retrospective, classicizing statuary based on Greek models as opposed to the innovative creations prized by modern scholars. Using a case study of a particular sculptural type, a forceful yet erotic image of Venus, Kousser argues that the Romans self-consciously employed such sculptures to represent their ties to the past in a rapidly evolving world. Kousser presents Hellenistic and Roman ideal sculpture as an example of a highly effective artistic tradition that was, by modern standards, extraordinarily conservative. At the same time, the Romans' flexible and opportunistic use of past forms also had important implications for the future: it constituted the origins of classicism in Western art.

From Homer to Hollywood, the western storytelling tradition has canonised a distinctive set of narrative values characterised by tight economy and closure. This book traces the formation of that classical paradigm in the development of ancient storytelling from Homer to Heliodorus. To tell this story, the book sets out to rehabilitate the idea of 'plot', notoriously disconnected from any recognised system of terminology in literary theory. The first part of the book draws on developments in narratology and cognitive science to propose a way of formally describing the way stories are structured and understood. This model is then used to write a history of the emergence of the classical plot type in the four ancient genres that shaped it - Homeric epic, fifth-century tragedy, New Comedy, and the Greek novel - with insights into the fundamental narrative poetics of each.

From Homer to Hollywood, the western storytelling tradition has canonised a distinctive set of narrative values characterised by tight economy and closure. This book traces the formation of that classical paradigm in the development of ancient storytelling from Homer to Heliodorus. To tell this story, the book sets out to rehabilitate the idea of 'plot', notoriously disconnected from any recognised system of terminology in literary theory. The first part of the book draws on developments in narratology and cognitive science to propose a way of formally describing the way stories are structured and understood. This model is then used to write a history of the emergence of the classical plot type in the four ancient genres that shaped it - Homeric epic, fifth-century tragedy, New Comedy, and the Greek novel - with insights into the fundamental narrative poetics of each.

Classical theories of conservation are well known in the heritage community, but in the last two decades thinking has shifted, and classical theory has faced increasing criticism. Contemporary Theory

Significantly revised and expanded, this authoritative reference/text comprehensively describes concepts in measure theory, classical integration, and generalized Riemann integration of both scalar an

This textbook offers a unique introduction to classical Galois theory through many concrete examples and exercises of varying difficulty (including computer-assisted exercises). In addition to coverin

Scheck’s textbook starts with a concise introduction to classical thermodynamics, including geometrical aspects. Then a short introduction to probabilities and statistics lays the basis for the statis

This excellent, semi-technical account includes a review of classical physics (origin of space and time measurements, Ptolemaic and Copernican astronomy, laws of motion, inertia, and more) and covera

Current sociological theories appear to have lost their general persuasiveness in part because, unlike the theories of the ‘classical era’, they fail to maintain an integrated stance toward society, a

During the past 15 years, quantum field theory and classical statistical mechanics have merged into a single field, and the need for nonperturbative methods for the description of critical phenomena i

Classical in its approach, this textbook is thoughtfully designed and composed in two parts. Part I is meant for a one-semester beginning graduate course in measure theory, proposing an “abstract” app

Previously in two parts and now one book, this work develops the subject of number theory from the beginning, introducing techniques and results of classical and modern number theory. The first part i

This is part two of a two-volume set."Democracy is, in part, a debate about what democracy is. With The Theory of Democracy Revisted, Sartori offers an overview of classical and contemporary issues. A

Motivated by the many and long-standing contributions of H. Gerber and E. Shiu, this book gives a modern perspective on the problem of ruin for the classical Cramer–Lundberg model and the surplus of a

This is a first-ever textbook written in English about the theory of modular forms and Jacobi forms of several variables. It contains the classical theory as well as a new theory on Jacobi forms over

The book deals with the two scales Bsp,q and Fsp,q of spaces of distributions, where -8

若需訂購本書，請電洽客服 02-25006600[分機130、131]。