Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.05.1996
Verlag
Prentice HallSeitenzahl
500
Maße (L/B)
24/17 cm
Sprache
Spanisch
ISBN
978-84-89660-04-5
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.
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.