¡Envío gratis y en 1 día!* a Península + 5% dcto  ¡Ver más!

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)
Formato
Libro Físico
Editorial
Año
2018
Idioma
Inglés
N° páginas
228
Encuadernación
Tapa Dura
ISBN13
9783319683966
N° edición
1

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)

Bernhard Steffen; Oliver Rüthing; Michael Huth (Autor) · Springer · Tapa Dura

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés) - Bernhard Steffen; Oliver Rüthing; Michael Huth

Libro Nuevo

57,86 €

60,91 €

Ahorras: 3,05 €

5% descuento
  • Estado: Nuevo
  • Quedan 100+ unidades
Origen: Estados Unidos (Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el Miércoles 26 de Junio y el Lunes 15 de Julio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)"

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes