Inicio > Matemáticas y ciencia > Ciencia: cuestiones generales > Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning

 

132,22 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2002
Materia
Ciencia: cuestiones generales
ISBN:
9781402007125

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase 'direct deductive reasoning in application areas', advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring 'pieces' of the application areas as 'labels' into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.

Artículos relacionados

  • Cases on Research-Based Teaching Methods in Science Education
    Eugene de Silva
    While the great scientists of the past recognized a need for a multidisciplinary approach, today’s schools often treat math and science as subjects separate from the rest. This not only creates a disinterest among students, but also a potential learning gap once students reach college and then graduate into the workforce. Cases on Research-Based Teaching Methods in Science Educ...
  • Enhancing Qualitative and Mixed Methods Research with Technology
    Shalin Hai-Jew
    In light of the expensive nature of quantitative research, such as experiments, researchers must seek other methods of understanding the world around them. As such, new qualitative methods are gaining ground in the modern research community. Enhancing Qualitative and Mixed Methods Research with Technology explores the integration of new digital tools into the research process. ...
  • Emerging Research on Bioinspired Materials Engineering
    Mohamed Bououdina
    Bioinspired materials can be defined as the organic or inorganic materials that mimic naturally occurring substances. With applications in a number of fields such as biomedical, chemical, mechanical, and civil engineering, research on the development of biologically-inspired materials is essential to further advancement. Emerging Research on Bioinspired Materials Engineering pr...
  • Contemporary Knowledge and Systems Science
    As branches of research and knowledge continue to expand, platforms for gathering and understanding new information become important aspects of organizational improvement. Contemporary Knowledge and Systems Science provides emerging research on the methods and applications of knowledge systems in social science, economics, and technological developments. While highlighting topi...
  • BOUQUET OF DYSON, A
    BERNSTEIN JEREMY / Jeremy Bernstein
    University of Texas at Austin My friendship with Freeman Dyson goes back over a half century. My first contact with him goes back to the late 1950s, when I was at the Institute for Advanced Study, and then evolved when I was a consultant at General Atomics in La Jolla, California. Freeman was then trying to design a space ship — the Orion — which would be propelled by atomic bo...
    Disponible

    33,35 €

  • CLOUDS ARE NOT SPHERES
    LESMOIR-GORDON NIGEL / NIGEL LESMOIR-GORDON
     The time is right, following Benoît Mandelbrot's death in 2010, to publish this landmark book about the life and work of this maverick math genius.This compact book celebrates the life and achievements of Benoît Mandelbrot with the ideas of fractals presented in a way that can be understood by the interested lay-person. Mathematics is largely avoided. Instead, Mandelbrot&#...