Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic and Computer Science de Steven Homer

Logic and Computer Science: Lecture Notes in Mathematics, cartea 1429

Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov Editat de Piergiorgio Odifreddi
en Limba Engleză Paperback – 17 iul 1990
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. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
Citește tot Restrânge

Din seria Lecture Notes in Mathematics

  • 17% Model Order Reduction and Applications: Cetraro, Italy 2021
    Preț: 38973 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 34060 lei
  • CAT(0) Cube Complexes: An Introduction
    Preț: 42999 lei
  • Representations of SU(2,1) in Fourier Term Modules
    Preț: 43015 lei
  • Büchi’s Monadic Second Order Successor Arithmetic
    Preț: 33543 lei
  • 15% Séminaire de Probabilités LII
    Preț: 48781 lei
  • 15% Analytic Methods of Spectral Representations of Non-Selfadjoint (Non-Unitary) Operators
    Preț: 57368 lei
  • 15% Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics
    Preț: 48185 lei
  • Buildings and the Geometry of Diagrams: Lectures given at the 3rd 1984 Session of the Centro Inter- nazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 26 - September 4, 1984
    Preț: 46894 lei
  • Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983
    Preț: 40597 lei
  • 15% Commutative Algebra and its Interactions to Algebraic Geometry
    Preț: 42492 lei
  • 15% Stochastic Geometry: Percolation, Tesselations, Gaussian Fields and Point Processes
    Preț: 47790 lei
  • Partial Differential Equations: Proceedings of a Symposium held in Tianjin, June 23 - July 5, 1986
    Preț: 31678 lei
  • 15% Statistical Optimal Transport
    Preț: 45204 lei
  • Seminaire de Probabilites XXI
    Preț: 38930 lei
  • 20% Variational and PDE Methods in Nonlinear Science
    Preț: 47132 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39284 lei
  • Random Obstacle Problems
    Preț: 35023 lei
  • The Spectral Theorem
    Preț: 26216 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41174 lei
  • Compactifying Moduli Spaces for Abelian Varieties
    Preț: 39096 lei
  • Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.). Held at Varenna, Italy, August 22 - September 1, 1982
    Preț: 17734 lei
  • Spear Operators Between Banach Spaces
    Preț: 35074 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41084 lei
  • An Index and Other Useful Information
    Preț: 36044 lei
  • Zeta Integrals, Schwartz Spaces and Local Functional Equations
    Preț: 34875 lei
  • Theory of Moduli: Lectures given at the 3rd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 21-29, 1985
    Preț: 46654 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 48567 lei
  • Series of Bessel and Kummer-Type Functions
    Preț: 38651 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 46894 lei
  • Séminaire de Probabilités IV: Université de Strasbourg. 1970
    Preț: 31567 lei
  • Singularities in Linear Wave Propagation
    Preț: 26284 lei
  • Relational Topology
    Preț: 38553 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 40597 lei
  • Probability and Analysis: Held at Varenna (Como); Italy, May, 31 - June 8, 1985
    Preț: 40487 lei
  • Problems in Nonlinear Diffusion: Lectures given at the 2nd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10 - June 18, 1985
    Preț: 26656 lei
  • A Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
    Preț: 32735 lei
  • Inverse Problems: Lectures Given at the 1st 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, May 28-June 5, 1986
    Preț: 46487 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32253 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 33706 lei
  • Numerical Analysis and Parallel Processing
    Preț: 37393 lei
  • Topics in Calculus of Variations: Lectures given at the 2nd 1987 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, July 20-28, 1987
    Preț: 26753 lei
  • Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981
    Preț: 31364 lei
  • Bifurcation Theory and Applications: Lectures Given at the 2nd 1983 Session of the Centro Internationale Mathematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 24-July 2, 1983
    Preț: 31349 lei
  • Differential Geometry and Topology: Proceedings of the Special Year at Nankai Institute of Mathematics, Tianjin, PR China, 1986-87
    Preț: 40969 lei
  • Seminaire de Probabilites XXIII
    Preț: 45373 lei
  • Generalized B*-Algebras and Applications
    Preț: 29915 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 33589 lei
  • Transformation Groups and Algebraic K-Theory
    Preț: 40844 lei
  • Combinatorial Optimization: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Como, Italy, August 25 - September 2, 1986
    Preț: 31808 lei

Preț: 27782 lei

Puncte Express: 417

Carte tipărită la comandă

Livrare economică 11-25 septembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540527343
ISBN-10: 3540527346
Pagini: 176
Ilustrații: VI, 170 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:1990
Editura: Springer
Colecția Lecture Notes in Mathematics
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.