Logic from Computer Science

Logic from Computer Science

von
Hardcover

Durch das Verwenden dieser Links unterstützt du READO. Wir erhalten eine Vermittlungsprovision, ohne dass dir zusätzliche Kosten entstehen.

Beschreibung

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.
Haupt-Genre
Fachbücher
Sub-Genre
Mathematik & Naturwissenschaften
Format
Hardcover
Seitenzahl
608
Preis
79.95 €

Mehr aus dieser Reihe

Alle
Instantons and Four-Manifolds
Seminar on Nonlinear Partial Differential Equations
Vertex Operators in Mathematics and Physics
Infinite Dimensional Groups with Applications
K-Theory for Operator Algebras
Group Representations, Ergodic Theory, Operator Algebras, and Mathematical Physics
Wave Motion: Theory, Modelling, and Computation
Essays in Group Theory
Global Analysis on Foliated Spaces
Holomorphic Functions and Moduli I
Holomorphic Functions and Moduli II
Nonlinear Diffusion Equations and Their Equilibrium States I
Nonlinear Diffusion Equations and Their Equilibrium States II
Coxeter Graphs and Towers of Algebras
Commutative Algebra
Galois Groups over ?
Geometric Analysis and Computer Graphics
Exterior Differential Systems
Arboreal Group Theory
Symplectic Geometry, Groupoids, and Integrable Systems
Logic from Computer Science
The Geometry of Hamiltonian Systems
Algorithms and Classification in Combinatorial Group Theory
Noncommutative Rings
Topology of Real Algebraic Sets
Set Theory of the Continuum
Algebraic Topology and Its Applications