Inicio > > Ciencias de la computación > Institution-independent Model Theory
Institution-independent Model Theory

Institution-independent Model Theory

Razvan Diaconescu

133,43 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2008
Materia
Ciencias de la computación
ISBN:
9783764387075
133,43 €
IVA incluido
Disponible
Añadir a favoritos
Sobre IBD

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ’institution theory’. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.

Artículos relacionados

  • Skills for Managing Rapidly Changing IT Projects
    Fabrizio Fioravanti
    ...
    Disponible

    118,39 €

  • Design and Usability of Digital Libraries
    Schubert Foo / Yin-Leng Theng
    ...
    Disponible

    112,35 €

  • Intelligent Information Technologies and Applications
    Vijayan Sugumaran
    ...
    Disponible

    131,73 €

  • Mobile Technology Consumption
    Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
    Disponible

    249,07 €

  • Creating Personal, Social, and Urban Awareness through Pervasive Computing
    Guo
    The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
    Disponible

    230,09 €

  • Fostering 21st Century Digital Literacy and Technical Competency
    Antonio Cartelli
    The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...
    Disponible

    229,67 €

Otros libros del autor

  • Institution-independent Model Theory
    Răzvan Diaconescu
    A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specifica...
    Disponible

    261,92 €

  • Logic and Computation
    Răzvan Diaconescu
    The present reprint contains five articles accepted and published in the Special Issue 'Logic and Computation 2023' of the MDPI 'Mathematics' journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the r...
    Disponible

    64,25 €