Cantitate/Preț
Produs
Total produse
Vezi coșul
Computation, Logic, Philosophy: A Collection of Essays de Wang Hao

Computation, Logic, Philosophy: A Collection of Essays: Mathematics and its Applications, cartea 2

Autor Wang Hao
en Limba Engleză Paperback – oct 2011

Din seria Mathematics and its Applications

  • 18% Mathematical Analysis for Engineering and Applied Sciences: Foundational and Fundamental Aspects
    Preț: 109191 lei
  • 15% Topics in Contemporary Mathematical Analysis and Applications
    Preț: 44197 lei
  • 15% Sloshing in Upright Circular Containers: Theory, Analytical Solutions, and Applications
    Preț: 42272 lei
  • Special Functions in Fractional Calculus and Engineering
    Preț: 44986 lei
  • Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling
    Preț: 43249 lei
  • Methods of Mathematical Modelling: Fractional Differential Equations
    Preț: 46961 lei
  • 15% Concise Introduction to Logic and Set Theory
    Preț: 45209 lei
  • Discrete Mathematical Structures: A Succinct Foundation
    Preț: 47126 lei
  • 15% Integral Transforms and Engineering: Theory, Methods, and Applications
    Preț: 47345 lei
  • 15% Engineering Mathematics and Artificial Intelligence: Foundations, Methods, and Applications
    Preț: 52112 lei
  • Mathematical Methods in Engineering and Applied Sciences
    Preț: 46796 lei
  • 15% Advanced Numerical Methods for Differential Equations: Applications in Science and Engineering
    Preț: 43339 lei
  • Tensor Calculus and Applications: Simplified Tools and Techniques
    Preț: 46071 lei
  • 15% Fractional Calculus in Medical and Health Science
    Preț: 41864 lei
  • Sequence Spaces: Topics in Modern Summability Theory
    Preț: 47371 lei
  • 15% Random Linear Operators
    Preț: 62041 lei
  • Combinatorics, Computing and Complexity
    Preț: 37100 lei
  • 15% Tauberian Theorems for Generalized Functions
    Preț: 61645 lei
  • Autowave Processes in Kinetic Systems: Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine
    Preț: 37215 lei
  • 15% Theory of Suboptimal Decisions: Decomposition and Aggregation
    Preț: 62701 lei
  • 20% Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry
    Preț: 62638 lei
  • Stochastic Equations for Complex Systems
    Preț: 36785 lei
  • Foundations of Optimum Experimental Design
    Preț: 40996 lei
  • 15% Probability Distributions on Banach Spaces
    Preț: 62588 lei
  • The Riemann Boundary Problem on Riemann Surfaces
    Preț: 36896 lei
  • Nonlinear Equations and Operator Algebras
    Preț: 36676 lei
  • 15% Introduction to the Theory of Games
    Preț: 62038 lei
  • 20% Orthomodular Lattices: Algebraic Approach
    Preț: 63131 lei
  • Numerical Solutions of the N-Body Problem
    Preț: 37895 lei
  • 20% Introduction to Algebraic Quantum Field Theory
    Preț: 62018 lei
  • Statistical Analysis and Control of Dynamic Systems
    Preț: 40922 lei
  • Physical Models and Equilibrium Methods in Programming and Economics
    Preț: 37768 lei
  • 15% The Convolution Product: and Some Applications
    Preț: 62446 lei
  • Nonparametric Estimation of Probability Densities and Regression Curves
    Preț: 36974 lei
  • 15% Renormalized Quantum Field Theory
    Preț: 62714 lei
  • 15% Computational Complexity
    Preț: 63486 lei

Preț: 62068 lei

Preț vechi: 73021 lei
-15%

Puncte Express: 931
Paperback 62068 lei
Hardback 63543 lei

Carte tipărită la comandă

Livrare economică 28 iulie-11 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs 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: 9789401075619
ISBN-10: 9401075611
Pagini: 404
Ilustrații: XXVII, 373 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:1990
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Mathematics and its Applications

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

One. Broad Issues.- 1. On Formalization.- 2. The Concept of Computability [(1953)].- 3. Process and Existence in Mathematics [1961(60)].- 4. Logic, Computation and Philosophy [1971(66)].- Two. Automated Theorem Proving(ATP).- 5. Computer Theorem Proving and Artificial Intelligence [1984(82)].- 6. Proving Theorems by Pattern Recognition, I [1960(59)].- 7. Observations on ATP.- 8. Some Data for ATP.- 9. Proving Theorems by Pattern Recognition, II [1961(60)a].- Three. Decidability and Complexity.- 10. Games, Logic and Computers [1965a].- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)].- 12. Towards Feasible Solutions of the Tautology Problem (with B.Dunhan) [1976(74)].- 13. Ranked Matching and Hospital Interns (with D.A.Martin) [(1977)].- Four. Topics from Theory to Practice.- 14. Logical Fragments Relevant to Computer Science.- 15. Computers and Mathematical Activity.- 16. On Information Processing of the Chinese Language [1979].- The List of the Publications of the Author.