Logic and Computer Science by Steven Homer
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Sacks: Prolog Programming.- A.-
Geometric Analysis
-
Recent Stability Issues for Linear Dynamical Systems
-
Stability and Bifurcation Theory for Non-Autonomous Differential Equations
-
Fully Nonlinear PDEs in Real and Complex Geometry and Optics
-
Multiscale and Adaptivity: Modeling, Numerics and Applications
-
Hyperbolic Systems of Balance Laws
-
Current Challenges in Stability Issues for Numerical Differential Equations
-
The Mathematics of Mechanobiology
-
Quantum Transport
-
Relativistic Fluid Dynamics
-
Geometric and Analytic Aspects of Functional Variational Principles
-
Multi-agent Optimization
-
Nonlinear and Optimal Control Theory
-
Nonlinear Water Waves
-
Nonlinear Optimization
-
Regularity Estimates for Nonlinear Elliptic and Parabolic Problems
-
Calculus of Variations and Nonlinear Partial Differential Equations
-
Lectures on Topological Fluid Mechanics
-
Mathematical Problems in Semiconductor Physics
-
Representation Theory and Complex Analysis
-
Geometric Analysis and PDEs
-
Hamiltonian Dynamics - Theory and Applications
-
Nonlocal and Nonlinear Diffusions and Interactions: New Methods and Directions
-
New Trends on Analysis and Geometry in Metric Spaces
-
Arithmetic Geometry
-
Analytic Number Theory
-
Complex Non-Kahler Geometry
-
Inverse Problems and Imaging
-
Optimal Transportation and Applications
-
Transcendental Methods in Algebraic Geometry
-
Advanced Numerical Approximation of Nonlinear Hyperbolic Equations
-
Recent Mathematical Methods in Nonlinear Wave Propagation
-
Probabilistic Models for Nonlinear Partial Differential Equations
-
Model Theory in Algebra, Analysis and Arithmetic
-
Mixed Finite Elements, Compatibility Conditions, and Applications
-
Singular Random Dynamics
-
Real Methods in Complex and CR Geometry
-
Dynamical Systems
-
D-modules, Representation Theory, and Quantum Groups
-
Bifurcation Theory and Applications
-
Dirichlet Forms
-
Global Geometry and Mathematical Physics
-
Transition to Chaos in Classical and Quantum Mechanics
-
Probability and Analysis
-
Phase Transitions and Hysteresis
-
H -Control Theory
-
Combinatorial Optimization
-
Arithmetic Algebraic Geometry
-
Microlocal Analysis and Applications
| SKU | Unavailable |
| ISBN 13 | 9783540527343 |
| ISBN 10 | 3540527346 |
| Title | Logic and Computer Science |
| Author | Steven Homer |
| Series | Cime Foundation Subseries |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1990-07-17 |
| Number of pages | 170 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |