MATHEMATICAL LOGIC FOR COMPUTER SCIENCE/MORDECHAI BEN ARI/en ingles logica matematica para informati

ógica matemática para informática es un libro de texto de matemáticas con teoremas y demostraciones, pero la selección de temas se ha guiado por las necesidades de los estudiantes de informática. El método de los tableaux semánticos proporciona una forma elegante de enseñar lógica que es a la vez teóricamente sólida y fácil de comprender. El uso uniforme de técnicas basadas en tableaux facilita el aprendizaje de sistemas lógicos avanzados a partir de los conocimientos adquiridos con sistemas elementales.

Los sistemas lógicos presentados son: lógica proposicional, lógica de primer orden, resolución y su aplicación a la programación lógica, lógica de Hoare para la verificación de programas secuenciales y lógica temporal lineal

para la verificación de programas concurrentes.

La tercera edición ha sido completamente reescrita e incluye nuevos capítulos sobre temas centrales de la informática moderna: solucionadores SAT y verificación de modelos.

Envíos nacionales e internacionales:

Correos o mensajería.

Entregas locales Zaragoza en mano, en mi domicilio zona Corte Ingles de Sagasta