Inicio > > Ciencias de la computación > Logic and Computation
Logic and Computation

Logic and Computation

Răzvan Diaconescu

64,25 €
IVA incluido
Consulta disponibilidad
Editorial:
MDPI AG
Año de edición:
2023
Materia
Ciencias de la computación
ISBN:
9783036573762

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

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 reprint will be interesting and useful for those working in the area of applying logic to computing.

Artículos relacionados

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...
  • Institution-independent Model Theory
    Razvan Diaconescu
    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 ea...
    Disponible

    133,43 €