Concrete Abstractions

Concrete Abstractions

Wolfgang Schreiner

104,16 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2023
ISBN:
9783031249334

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

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a 'mathematical model checker' by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

Artículos relacionados

  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / HAGHVERDI ESFANDIAR / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / HAGHVERDI ESFANDIAR / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
    Disponible

    45,01 €

  • Mineração De Dados Com Redes Neurais
    Andrilene Ferreira Maciel
    Este material foi desenvolvido para atender às disciplinas de graduação e pós-graduação de redes neurais, processamento de sinais, estatística, mineração de dados, na área de ciência da computação. Vários exercícios contidos neste livro, foram extraídos dos algoritmos da Rede SOM.O primeiro capítulo deste livro tem como objetivo fornecer ao leitor conceitos básicos sobre a desc...
    Disponible

    21,32 €

  • Paradoxes and Inconsistent Mathematics
    Zach Weber
    ...
    Disponible

    41,49 €

  • Notes on Logic and Set Theory
    P. T. Johnstone / PTJohnstone
    ...
    Disponible

    91,77 €

  • Stone Spaces
    P. T. Johnstone / PTJohnstone
    ...
    Disponible

    105,40 €

Otros libros del autor

  • Thinking Programs
    Wolfgang Schreiner
    This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wanted outputs from given inputs, and programs that describe continuously executing...
  • Concrete Abstractions
    Wolfgang Schreiner
    This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order ...
    Disponible

    47,88 €

  • Thinking Programs
    Wolfgang Schreiner
    This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing...
    Disponible

    100,64 €

  • Security and Privacy Management in Service Oriented Architectures
    Wolfgang Schreiner
    ...
    Disponible

    97,45 €