Livres en espagnol
 
 

Teoria de la computació

  • Rocha Cárdenas, Jairo, (aut.)
  • Edicions UIB
  • Puesta al día(03/07/2017)
  • 248 pages; 24x17 cm
  • Langue: Catalán
  • ISBN: 8483843528 ISBN-13: 9788483843529
  • Encadrement: Rústica
  • Pas de stock voir les livres liés

   Recevoir un email quand disponible
 
 

El libro cubre las nociones típicas, como por ejemplo la indecidibilidad, los programas indeterministas, los problemas NP-completos, los autómatas finitos, las expresiones regulares, las gramáticas incontextuales y los autómatas con pila. Ahora bien, este libro no es un libro típico, por tres motivos: la sintaxis estructurada para programas y autómatas con pila (evitando las transiciones entre estados de las máquinas de Turing), la aplicación de un paradigma estructurado al indeterminismo de los programas (una introducción a la concurrencia) y el énfasis en la verificación de autómatas finitos (con una metodología práctica) y de autómatas con pila (como introducción a la verificación de programas usando invariantes). El objetivo del libro es crear a los estudiantes de informática el hábito duradero de escribir programas que respeten escrupulosamente las relaciones entre los símbolos usados.


 

 

Rechercher: titre, auteur, ISBN...