Book Description
Introductory textbook/general reference in domain theory for professionals in computer science and logic.
Author : V. Stoltenberg-Hansen
Publisher : Cambridge University Press
Page : 366 pages
File Size : 33,10 MB
Release : 1994-09-22
Category : Computers
ISBN : 9780521383448
Introductory textbook/general reference in domain theory for professionals in computer science and logic.
Author : Roberto M. Amadio
Publisher : Cambridge University Press
Page : 504 pages
File Size : 38,50 MB
Release : 1998-07-02
Category : Computers
ISBN : 0521622778
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Author : Jean Goubault-Larrecq
Publisher : Cambridge University Press
Page : 499 pages
File Size : 37,2 MB
Release : 2013-03-28
Category : Mathematics
ISBN : 1107328772
This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for domain theory, the cornerstone of semantics of computer languages, where the Scott topology is almost never Hausdorff. For the first time in a single volume, this book covers basic material on metric and topological spaces, advanced material on complete partial orders, Stone duality, stable compactness, quasi-metric spaces and much more. An early chapter on metric spaces serves as an invitation to the topic (continuity, limits, compactness, completeness) and forms a complete introductory course by itself. Graduate students and researchers alike will enjoy exploring this treasure trove of results. Full proofs are given, as well as motivating ideas, clear explanations, illuminating examples, application exercises and some more challenging problems for more advanced readers.
Author : Darren Crowdy
Publisher : SIAM
Page : 456 pages
File Size : 35,81 MB
Release : 2020-04-20
Category : Mathematics
ISBN : 1611976154
Whenever two or more objects or entities—be they bubbles, vortices, black holes, magnets, colloidal particles, microorganisms, swimming bacteria, Brownian random walkers, airfoils, turbine blades, electrified drops, magnetized particles, dislocations, cracks, or heterogeneities in an elastic solid—interact in some ambient medium, they make holes in that medium. Such holey regions with interacting entities are called multiply connected. This book describes a novel mathematical framework for solving problems in two-dimensional, multiply connected regions. The framework is built on a central theoretical concept: the prime function, whose significance for the applied sciences, especially for solving problems in multiply connected domains, has been missed until recent work by the author. This monograph is a one-of-a-kind treatise on the prime function associated with multiply connected domains and how to use it in applications. The book contains many results familiar in the simply connected, or single-entity, case that are generalized naturally to any number of entities, in many instances for the first time. Solving Problems in Multiply Connected Domains is aimed at applied and pure mathematicians, engineers, physicists, and other natural scientists; the framework it describes finds application in a diverse array of contexts. The book provides a rich source of project material for undergraduate and graduate courses in the applied sciences and could serve as a complement to standard texts on advanced calculus, potential theory, partial differential equations and complex analysis, and as a supplement to texts on applied mathematical methods in engineering and science.
Author : Ichiro Satake
Publisher : Princeton University Press
Page : 340 pages
File Size : 14,83 MB
Release : 2014-07-14
Category : Mathematics
ISBN : 1400856809
This book is a comprehensive treatment of the general (algebraic) theory of symmetric domains. Originally published in 1981. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Author : Andrea Toselli
Publisher : Springer Science & Business Media
Page : 454 pages
File Size : 35,41 MB
Release : 2006-06-20
Category : Mathematics
ISBN : 3540266623
This book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners for finite and spectral element approximations of partial differential equations. It places strong emphasis on both algorithmic and mathematical aspects. It covers in detail important methods such as FETI and balancing Neumann-Neumann methods and algorithms for spectral element methods.
Author : Stephen D. Fisher
Publisher : Courier Corporation
Page : 292 pages
File Size : 18,41 MB
Release : 2014-06-10
Category : Mathematics
ISBN : 0486151107
A high-level treatment of complex analysis, this text focuses on function theory on a finitely connected planar domain. Clear and complete, it emphasizes domains bounded by a finite number of disjoint analytic simple closed curves. The first chapter and parts of Chapters 2 and 3 offer background material, all of it classical and important in its own right. The remainder of the text presents results in complex analysis from the far, middle, and recent past, all selected for their interest and merit as substantive mathematics. Suitable for upper-level undergraduates and graduate students, this text is accessible to anyone with a background in complex and functional analysis. Author Stephen D. Fisher, a professor of mathematics at Northwestern University, elaborates upon and extends results with a set of exercises at the end of each chapter.
Author : A. Jung
Publisher :
Page : 122 pages
File Size : 26,25 MB
Release : 1989
Category : Closed categories (Mathematics)
ISBN :
Author : William A. Veech
Publisher : Courier Corporation
Page : 257 pages
File Size : 27,82 MB
Release : 2014-08-04
Category : Mathematics
ISBN : 048615193X
A clear, self-contained treatment of important areas in complex analysis, this text is geared toward upper-level undergraduates and graduate students. The material is largely classical, with particular emphasis on the geometry of complex mappings. Author William A. Veech, the Edgar Odell Lovett Professor of Mathematics at Rice University, presents the Riemann mapping theorem as a special case of an existence theorem for universal covering surfaces. His focus on the geometry of complex mappings makes frequent use of Schwarz's lemma. He constructs the universal covering surface of an arbitrary planar region and employs the modular function to develop the theorems of Landau, Schottky, Montel, and Picard as consequences of the existence of certain coverings. Concluding chapters explore Hadamard product theorem and prime number theorem.
Author : Anna Sierpinska
Publisher : Springer
Page : 244 pages
File Size : 41,69 MB
Release : 2013-03-14
Category : Education
ISBN : 9401151946
No one disputes how important it is, in today's world, to prepare students to un derstand mathematics as well as to use and communicate mathematics in their future lives. That task is very difficult, however. Refocusing curricula on funda mental concepts, producing new teaching materials, and designing teaching units based on 'mathematicians' common sense' (or on logic) have not resulted in a better understanding of mathematics by more students. The failure of such efforts has raised questions suggesting that what was missing at the outset of these proposals, designs, and productions was a more profound knowledge of the phenomena of learning and teaching mathematics in socially established and culturally, politically, and economically justified institutions - namely, schools. Such knowledge cannot be built by mere juxtaposition of theories in disci plines such as psychology, sociology, and mathematics. Psychological theories focus on the individual learner. Theories of sociology of education look at the general laws of curriculum development, the specifics of pedagogic discourse as opposed to scientific discourse in general, the different possible pedagogic rela tions between the teacher and the taught, and other general problems in the inter face between education and society. Mathematics, aside from its theoretical contents, can be looked at from historical and epistemological points of view, clarifying the genetic development of its concepts, methods, and theories. This view can shed some light on the meaning of mathematical concepts and on the difficulties students have in teaching approaches that disregard the genetic development of these concepts.