Portada del llibre






Gallardo López, Domingo;Arques Corrales, Pilar;Lesta Pelayo, Ignacio
Introducción a la teoría de la computabilidad

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!
Comprar a Libelista


Portada del llibre






AUTOMATIZACIÓN DE PROCESOS INDUSTRIALES
García Moreno, Emilio
(Universitat Politècnica de València, 1999) · 396 p. · 29 €

Portada del llibre






MANUAL DE TEORIA I PRÀCTICA DE DISSENY ASSISTIT PER ORDINADOR PER A ENGINYERIA
Magal Royo, Teresa;Císcar Cuña, Javier
(Universitat Politècnica de València, 2011) · 230 p. · 19 €

Portada del llibre






AUDITORÍA DE LOS SISTEMAS DE INFORMACIÓN
Coltell Simón, Óscar;Bernal Montañés, Rafael
(Universitat Politècnica de València, 1999) · 638 p. · 50 €

MÉS CONSULTATS


Portada del llibre






Didàctica, història, cooperació i justícia social
Varios autores
(Publicacions URV, 2021) · 148 p. · 16 €

Portada del llibre






El código PBIP 4. Intervención de las fuerzas del orden en los buques
Marí Sagarra, Ricard
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2008) · 254 p. · 21 €

Portada del llibre






digital: La Descendentia regum Sicilie de Pau Rossell
Varios autores
(Publicacions de la Universitat de València, 2019) · 0 p. · 7 €

Portada del llibre






Haciendo historia. Profesor Carlos Seco Serrano
Martinez de Sas, M. Teresa;Vilanova Ribas, Mercè;Pérez Samper, Mariángeles;Schulze, Ingrid;Alvarez, Jesús Timoteo
(Publicacions i Edicions de la Universitat de Barcelona, 1989) · 0 p. · 15 €

Portada del llibre






digital: Bibliotecas integradas
Parra-Valero, Pablo
(Editorial UOC, S.L., 2018) · 132 p. · 6 €

Portada del llibre






digital obert: NOVES NORMALITATS I OBJECTIUS DE DESENVOLUPAMENT SOSTENIBLE 2030 DE LA TEORIA GENERAL A LA PRÀCTICA CONCRETA
Molina Luque, Fidel;Sanvicen Torne, Paquita;Miró Miró, Deli;Kovačević Kuč, Lana;Soldevila Benet, Anna
(Edicions de la Universitat de Lleida, 2021) · 32 p. · 0 €