mathematical intuitionism introduction to proof theory

Mathematical Intuitionism Introduction to Proof Theory

ISBN: , SKU: , AUTHOR: A G Dragalin, PUBLISHER: American Mathematical Society, NA

String Theory An introduction to th bosonic string

Polchinski Joseph, String Theory. Volume I° An introduction to the bosonic string. Ed. Cambridge University Press collana Cambridge Monographs on Mathematical Physics. In-8°, legatura, sovraccoperta, pp. XIX-402, ottime condizioni. ISBN

Introduction to the Theory of Sets

ISBN: , SKU: , AUTHOR: Breuer, Joseph / Fehr, Howard F., PUBLISHER: Dover Publications, Set theory permeates much of contemporary mathematical thought. This text for undergraduates offers a natural introduction, developing the subject through observations of the physical world. Its progressive development leads from finite sets to cardinal numbers, infinite cardinals, and ordinals. Exercises appear throughout the text, with answers at the end. edition.

Elementary Probability Theory with Stochastic Processes

ISBN: , SKU: , AUTHOR: Chung, K. L. / Chung, Kai Lai, PUBLISHER: Springer, This book provides an elementary introduction to probability theory and its applications. The emphasis is on essential probabilistic reasoning, amply motivated, explained and illustrated with a large number of carefully selected samples. The fourth edition adds material related to mathematical finance, as well as expansions on stable laws and martingales.

An Introduction to Game Theory

ISBN: , SKU: , AUTHOR: Osborne, Martin J., PUBLISHER: Oxford University Press, USA, Game-theoretic reasoning pervades economic theory and is used widely in other social and behavioral sciences. An Introduction to Game Theory, by Martin J. Osborne, presents the main principles of game theory and shows how they can be used to understand economic, social, political, and biological phenomena. The book introduces in an accessible manner the main ideas behind the theory rather than their mathematical expression. All concepts are defined precisely, and logical reasoning is used throughout. The book requires an understanding of basic mathematics but assumes no specific knowledge of economics, political science, or other social or behavioral sciences. Coverage includes the fundamental concepts of strategic games, extensive games with perfect information, and coalitional games; the more advanced subjects of Bayesian games and extensive games with imperfect information; and the topics of repeated games, bargaining theory, evolutionary equilibrium, rationalizability, and maxminimization. The book offers a wide variety of illustrations from the social and behavioral sciences and more than 280 exercises. Each topic features examples that highlight theoretical points and illustrations that demonstrate how the theory may be used. Explaining the key concepts of game theory as simply as possible while maintaining complete precision, An Introduction to Game Theory is ideal for undergraduate and introductory graduate courses in game theory.

Logic and Computation: Interactive Proof with Cambridge Lcf

ISBN: , SKU: , AUTHOR: Paulson, Lawrence C., PUBLISHER: Cambridge University Press, Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

String Theory Superstring theory and beyond

Polchinski Joseph, String Theory. Volume II° Superstring theory and beyond. Ed. Cambridge University Press collana Cambridge Monographs on Mathematical Physics. In-8°, legatura, sovraccoperta, pp. XIX-531, ottime condizioni. ISBN

Direct Methods in the Theory of Elliptic Equations

ISBN: , SKU: , AUTHOR: Necas, Jindrich / Tronel, Gerard / Kufner, Alois, PUBLISHER: Springer, Necas's famous book Direct methods in the theory of elliptic equations has become standard reference material on the mathematical theory of linear elliptic equations and systems, and also on the related function spaces framework. It provides a concise and self-contained introduction to the modern theory of partial differential equations, the theory of weak solutions and related topics. It is recommended to scientists working in the field of partial differential equations, postgraduate and graduate students, and applied mathematicians. The first chapter is devoted to directs methods, introduction to the Sobolev spaces, weak solution, Lax-Milgram theorem, Galerkin metods and spectral theory. The second chapter deals with the basic properties of Sobolev spaces (imbeddings, traces, compact imbeddings, fractional spaces).The third chapter contains existence and uniqueness theorems for problems, including the Fredholm alternative and systems of equations with variable coefficients. The next chapter describes regularity properties of weak solutions. Chapter 5 deals with applications of Rellich's inequality and Chapter 6 introduces the Sobolev spaces with weights. Finally the last chapter studies regularity of solutions and their dependence on coefficients and also on irregular domains.

Cultural Theory and Popular Culture: A Reader

ISBN: , SKU: , AUTHOR: Storey, John, PUBLISHER: University of Georgia Press, This new edition is a companion volume to An Introduction to Cultural Theory and Popular Culture, just published in its second edition. The Reader supplements and extends the cultural terrain of the introductory volume by offering students the opportunity to experience firsthand the work of many cultural theorists and critics. Intended as a theoretical, analytical, and historical introduction to the study of popular culture within cultural studies, the current edition contains nine new readings, a new general introduction, and a fully updated bibliography. The readings cover the culture and civilization tradition, culturalism, structuralism and post-sttucturalism, Marxism, feminism, and postmodernism, as well as current debates in the study of popular culture. Used in conjunction with An Introduction to Cultural Theory and Popular Culture, or on its own, this collection will be invaluable to scholars and students.

Mathematical Methods in Queuing Theory

ISBN: , SKU: , AUTHOR: Kalashnikov, Vladimir V., PUBLISHER: Springer, This volume presents an overview of mathematical methods used in queuing theory, and various examples of solutions of problems using these methods are given. Many of the topics considered are not traditional, and include general Markov processes, test functions, coupling methods, probability metrics, continuity of queues, quantitative estimates in continuity, convergence rate to the stationary state and limit theorems for the first occurrence times. Much attention is also devoted to the modern theory of regenerative processes. Each chapter concludes with problems and comments on the literature cited. For researchers and graduate students in applied probability, operations research and computer science.

Convex Analysis and Global Optimization

ISBN: , SKU: , AUTHOR: Hoang, Tuy / Hoang Tuy, Tuy / Hoang Tuy, PUBLISHER: Springer, Due to the general complementary convex structure underlying most nonconvex optimization problems encountered in applications, convex analysis plays an essential role in the development of global optimization methods. This book develops a coherent and rigorous theory of deterministic global optimization from this point of view. Part I constitutes an introduction to convex analysis, with an emphasis on concepts, properties and results particularly needed for global optimization, including those pertaining to the complementary convex structure. Part II presents the foundation and application of global search principles such as partitioning and cutting, outer and inner approximation, and decomposition to general global optimization problems and to problems with a low-rank nonconvex structure as well as quadratic problems. Much new material is offered, aside from a rigorous mathematical development. Audience: The book is written as a text for graduate students in engineering, mathematics, operations research, computer science and other disciplines dealing with optimization theory. It is also addressed to all scientists in various fields who are interested in mathematical optimization.

Introduction to Statistical Limit Theory

ISBN: , SKU: , AUTHOR: NA, PUBLISHER: CRC Press, NA

Elementary Probability

ISBN: , SKU: , AUTHOR: Stirzaker, David, PUBLISHER: Cambridge University Press, The aim of this book is to provide a straightforward introduction to the theory of probability. The topics covered illustrate the wide range and power of the subject, and include conditional probability, independence, discrete and continuous random variables, basic combinatorics, generating functions and limit theorems, and an introduction to Markov chains. The text is accessible to undergraduate students and provides numerous worked examples and exercises to help build the important skills necessary for problem solving.

Introduction to Logic Design, Second Edition

ISBN: , SKU: , AUTHOR: Shiva, Sajjan G. / Shiva, Shiva G., PUBLISHER: CRC Press, The second edition of this text provides an introduction to the analysis and design of digital circuits at a logic, instead of electronics, level. It covers a range of topics, from number system theory to asynchronous logic design. A solution manual is available to instructors only. Requests must be made on official school stationery.

Introduction to Probability Theory

ISBN: , SKU: , AUTHOR: Charles J Stone Paul G Hoel Sidney C Port, PUBLISHER: Houghton Mifflin Company, NA

An introduction to algorithmc trading

An introduction to algorithmc trading BASIC to advanced strategies Edward leshik and Jane Cralle Con cd originale. Come nuovo

Introduction to English linguistics

Vendo Introduction to English linguistics (linguistica inglese) molto ben scritto e semplice da comprendere.

Introduction to Data compression

Introduction to Data compression K. Sayood. Second ediction copertina rigida. Ottimo stato.

Monete Franklin Mint Proof Set

Monete Franklin Mint Proof Set. Vendo monete con custodia originale e completa di certificato per collezionisti di vari stati: Barbados Proof set: () -Belize Proof:Set(.) Commonwealth of the Bahamas Proof set: (.) British Virgin Island Proof set: (.) Repubblica of the Philippines-Proof set:(.) Papa New Guinea Proof set: (.) Panama Proof set:(.) Etiopia Proof set: () Guyana Proof set: (). Liberia Proof set: (). Trinidad and Tobago Proof set: (.) Jamaica Proof set (-n.2 set monete. - .) Ten Dollar (una moneta con scatola)

Topics in Dynamic Bifurcation Theory

ISBN: , SKU: , AUTHOR: Jack K Hale, PUBLISHER: American Mathematical Society, NA Acquista Ora

Introduction to calculus and Analysis I e II

Vendo Introduction to calculus and Analysis I Introduction to calculus and Analysis II Courant, John - Springer Le condizioni generali sono buone, presente qualche annotazione e alcune pagine del volume II/2 si sono staccate (ma ci sono tutte) Consegna a mano a Roma

Political Theory: A Thematic Inquiry

ISBN: , SKU: , AUTHOR: Wiser, James, PUBLISHER: Wadsworth Publishing Company, This gracefully written, intellectually rigorous book explores the major issues of political theory by presenting the perspectives of major theorists. It gives students necessary historical background while examining basic themes and assessing the validity of basic arguments. Written in a clear, direct style, it can be easily understood by students with little previous exposure to political science. Rather than simply presenting an abstract or formal discussion of the major issues of political theory, it examines how the issues were understood by specific political thinkers including Plato, Machiavelli, Locke, Hobbes, Marx, Dahl, Popper, Nozick. T.H. Green, and others. This is a useful thematic introduction to political theory that places theory in an interesting historical and intellectual context.

An introduction to modern astrophysics

Vendo libro "An introduction to modern astrophysics" di Carroll Ostlie. Si tratta della seconda edizione ed è in perfette condizioni. Chiesti 125€, spedizione esclusa.

The Algebraic Theory of Semigroups, Vol. 2

ISBN: , SKU: , AUTHOR: A H Clifford G B Preston, PUBLISHER: American Mathematical Society, NA

Introduction to Programming with Fortran

Vendo libro "Introduction to Programming with Fortran" di Chivers e Sleightholme completo di cd. Chiedo 15€.

Contatto

• Successivo →