Computable Models

Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. I...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: turner, raymond (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
Computer science.
Machine theory.
Artificial intelligence.
Natural language processing (Computer science).
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Natural Language Processing (NLP).
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • What is a Computable Model?
  • Typed Predicate Logic
  • Data Types
  • Definability
  • Specification
  • Functions
  • Preconditions
  • Natural Numbers
  • Typed Set Theory
  • Systems Modeling
  • A Type of Types
  • Schemata
  • Separation Types
  • Recursive Schemata
  • Inductive Types
  • Recursive Functions
  • Schema Definitions
  • Computable Ontology
  • Classes
  • Classes of Functions
  • Computable Analysis
  • Programming Language Specification
  • Abstract Types
  • Conclusion.

Ejemplares similares