E-BUC

Esta obra, dirigida fundamentalmente a estudiantes de ingenierías informáticas, presenta los conceptos fundamentales de la teoría de la computabilidad. Abarca los temas de computabilidad, máquinas de Turing, funciones recursivas, computación universal y decibilidad e indecibilidad, junto con un tema de preliminares matemáticos necesarios para la comprensión del texto. En todo momento se utiliza un enfoque práctico relacionando todos estos conceptos con la experiencia de los estudiantes en lenguajes de programación. Se proponen más de cien problemas, de los que se incluye la solución en un apéndice.

Publicacions Universitat Alacant, 2003 · Textos docentes · 238 p. · 17 x 24 cm · rústica, butxaca · ISBN 978-84-7908-763-0 · 14 € · castellà

Comprar a Libelista

Teoria d'autòmats i llenguatges formals Ferri Rabasa, Francesc Josep (Publicacions de la Universitat de València, 2004) · 264 p. · 12 €

RIESGO Y SEGURIDAD DE LOS SISTEMAS INFORMÁTICOS Marcelo Cocho, Julian (Universitat Politècnica de València, 2003) · 432 p. · 34 €

EXERCICIS I PRÀCTIQUES DE XARXES DE COMPUTADORS Nachiondo Farinós, Teresa;Santonja Gisbert, Vicente;Sánchez López, Miguel;Baydal Cardona, María Elvira;Silla Jiménez, Federico;Bonastre Pina, Alberto (Universitat Politècnica de València, 2006) · 256 p. · 27 €