Fundamentos de algoritmos

Angebote / Angebote:

Traducción: José Rafael García-Bermejo Giner (Universidad de Salamanca) María Luisa Díez Platas (Universidad Pontificia de Salamanca, Campus de Madrid) Vivian Fernández Vázquez (Universidad de La Habana) Revisión técnica: Luis Joyanes Aguilar (Universidad Pontificia de Salamanca, Campus de Madrid) Descripción: Este texto incluye las tendencias más recientes en informática, en particular una exposición completa del razonamiento lógico, cómo usar la matemática discreta para especificar nuevas aplicaciones y la forma de razonar de forma sistemática acerca de los programas. La obra contiene más de 300 ejemplos que relacionan los conceptos matemáticos con temas de computación, así como 550 problemas. Contenidos: Cálculo proposicional. Cálculo de predicados. Inducción y recursividad. Prólogo. Conjuntos y relaciones. Funciones. Grafos y árboles. Especificación formal de requisitos en Z. Verificación de programas. Gramáticas, lenguajes y análisis sintácticos. Derivaciones. Bases de datos relacionales. Bibliografía.

Fremdlagertitel. Lieferzeit unbestimmt