MATHEMATICAL LOGIC FOR COMPUTER SCIENCE/MORDECHAI BEN-ARI/INGLES: Lógica matemática para informática

Ló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 suficientemente elemental para estudiantes de pregrado. Para ofrecer un tratamiento equilibrado de la lógica, los tableaux se relacionan con sistemas de demostración deductivos.

Los sistemas lógicos presentados son:

- Cálculo proposicional (incluidos diagramas de decisión binarios);

- Cálculo de predicados;

- Resolución;

- Lógica de Hoare;

- Z;

- Lógica temporal.

Las respuestas a los ejercicios (solo para instructores), así como el código fuente en Prolog para los algoritmos, se pueden encontrar en el sitio web de Springer London: http://www.springer.com/978-1-85233-319-5

Mordechai Ben-Ari es profesor asociado en el Departamento de Didáctica de las Ciencias del Instituto Weizmann de Ciencias. Es autor de numerosos libros de texto sobre concurrencia, lenguajes de programación y lógica, y ha desarrollado herramientas de software para la enseñanza de la concurrencia. En 2004, Ben-Ari recibió el premio ACM/SIGCSE por sus destacadas contribuciones a la enseñanza de las ciencias de la computación.

Ver atentamente las fotos, hay varias y forman parte de la descripción del lote.

Envíos nacionales e internacionales:

Correos o mensajería.

Envío Gratis para compras LIBROS superiores a 75€, para España peninsular, excluidas enciclopedias y obras de varios tomos.