Lecture Notes EG 213


Book Description







Lecture Notes in Algebraic Topology


Book Description

The amount of algebraic topology a graduate student specializing in topology must learn can be intimidating. Moreover, by their second year of graduate studies, students must make the transition from understanding simple proofs line-by-line to understanding the overall structure of proofs of difficult theorems. To help students make this transition, the material in this book is presented in an increasingly sophisticated manner. It is intended to bridge the gap between algebraic andgeometric topology, both by providing the algebraic tools that a geometric topologist needs and by concentrating on those areas of algebraic topology that are geometrically motivated. Prerequisites for using this book include basic set-theoretic topology, the definition of CW-complexes, someknowledge of the fundamental group/covering space theory, and the construction of singular homology. Most of this material is briefly reviewed at the beginning of the book. The topics discussed by the authors include typical material for first- and second-year graduate courses. The core of the exposition consists of chapters on homotopy groups and on spectral sequences. There is also material that would interest students of geometric topology (homology with local coefficients and obstructiontheory) and algebraic topology (spectra and generalized homology), as well as preparation for more advanced topics such as algebraic $K$-theory and the s-cobordism theorem. A unique feature of the book is the inclusion, at the end of each chapter, of several projects that require students to presentproofs of substantial theorems and to write notes accompanying their explanations. Working on these projects allows students to grapple with the ``big picture'', teaches them how to give mathematical lectures, and prepares them for participating in research seminars. The book is designed as a textbook for graduate students studying algebraic and geometric topology and homotopy theory. It will also be useful for students from other fields such as differential geometry, algebraic geometry, andhomological algebra. The exposition in the text is clear; special cases are presented over complex general statements.




Interacting Binaries


Book Description

Observational and Theoretical Issues of Interacting Binaries was the topic of the 22nd Advanced Course of the Swiss Society for Astrophysics and Astronomy. It was the first time that binary systems were the center of attention of our course. The established concept and organisation of the Advanced Course has been retained: three scientists, all acknowledged experts in their respective fields, were each invited to give nine one-hour lectures within the period of a week. The Advanced Course took place from April 6 to 11, 1992, at Les Diablerets, a charming resort in the Swiss alps. The high level of the lectures, the international background of the 65 participants, including many young students, and the beauty of the surroundings all contributed to the success of the course. The lecture notes of this course, the 22nd in our series, are also the third to be published by Springer-Verlag. Well over half of all stars seem to exist in binary systems. The study of binary evolution is therefore essential for our understanding of stellar evolution in general. The evolution of interacting binaries contains in itself many of the problems met in other fields of modern astrophysics. This is very apparent in these lecture notes.




Jacob Wackernagel, Lectures on Syntax


Book Description

This book is an English version of two series of highly acclaimed introductory lectures given by the great Swiss linguist and classical philologist Jacob Wackernagel (1853-1938) at the University of Basle in 1918-19 on aspects of Greek, Latin, and German as languages. Out of print in German since 1996, these lectures remain the best available introduction, in any language, not only to Greek, Latin, and comparative syntax but also to many topics in the history and pre-history ofGreek and Latin, and their relations with other languages. Other subjects, such as the history of grammatical terminology, are also brilliantly dealt with. This new edition supplements the German original by providing a translation of all quotations and examples, a large number of detailed footnotesoffering background information and suggestions for further reading, and a single bibliography which brings together Wackernagel's references and those added in the notes.




Formal Models and Semantics


Book Description

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.







Intelligent Agents VI. Agent Theories, Architectures, and Languages


Book Description

Intelligent agents are one of the most important developments in computer science in the 1990s. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core aspects of agent technology. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems. One of the strengths of the ATAL workshop series is its emphasis on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages. This year’s workshop continued the ATAL trend of attracting a large n- ber of high-quality submissions. In more detail, 75 papers were submitted to the ATAL-99 workshop, from 19 countries. After stringent reviewing, 22 papers wereacceptedforpresentationattheworkshop.Aftertheworkshop,thesepapers were revised on the basis of comments received both from the original reviewers and from discussions at the workshop itself. This volume contains these revised papers.




Problems on Mapping Class Groups and Related Topics


Book Description

The appearance of mapping class groups in mathematics is ubiquitous. The book presents 23 papers containing problems about mapping class groups, the moduli space of Riemann surfaces, Teichmuller geometry, and related areas. Each paper focusses completely on open problems and directions. The problems range in scope from specific computations, to broad programs. The goal is to have a rich source of problems which have been formulated explicitly and accessibly. The book is divided into four parts. Part I contains problems on the combinatorial and (co)homological group-theoretic aspects of mapping class groups, and the way in which these relate to problems in geometry and topology. Part II concentrates on connections with classification problems in 3-manifold theory, the theory of symplectic 4-manifolds, and algebraic geometry. A wide variety of problems, from understanding billiard trajectories to the classification of Kleinian groups, can be reduced to differential and synthetic geometry problems about moduli space. Such problems and connections are discussed in Part III. Mapping class groups are related, both concretely and philosophically, to a number of other groups, such as braid groups, lattices in semisimple Lie groups, and automorphism groups of free groups. Part IV concentrates on problems surrounding these relationships. This book should be of interest to anyone studying geometry, topology, algebraic geometry or infinite groups. It is meant to provide inspiration for everyone from graduate students to senior researchers.




Rewriting Techniques


Book Description

Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the Knuth-Bendix completion method which constructs a complete system for a given set of equations, including extensions of the method dealing with termination, unfailing completion, and associative-communicative completion. One paper examines the various practical techniques that can be used to extend Prolog as a constraint solver, particularly on techniques that solve boolean equations, imposing inequality, disequality, and finitary domain constraints on variables. Another paper presents a sufficient condition for confluence of conditional rewriting, and a practical unification algorithm modulo conditional rewriting through the notion of conditional narrowing. One paper analyzes the possibility of using completion for inductive proofs in the initial algebra of an equational variety without explicit induction. Another papers discusses solving systems of word equations in the free monoid and the free group, where a solution is defined as a word homomorphism. Programmers, mathematicians, students, and instructors involved in computer science and computer logic will find this collection valuable.