LibrosUNED.com

Mathematical Logic for Computer Science

Aumentar cantidadDisminuir cantidad

Mathematical Logic for Computer Science

  • Autor: Ben-Ari, Mordechai
  • Editorial: Springer

6

Disponible  

Precio: 55,12 €    52,36 €

Reseña

Is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.

Detalles

  • Nº de edición: 2.ª
  • Año de edición: 2001
  • Número de reimpresión:
  • Año de reimpresión: 0
  • Lugar: INGLATERRA
  • Dimensiones: 23X15X2,5
  • Páginas: 303
  • Soporte: cartoné
  • ISBN: 9781852333195

 Utilizamos cookies propias y de terceros para fines analíticos y/o estadísticos anonimizados y para la correcta navegación por la web.
Para más información, consulte nuestra Politica de Cookies. Puede aceptar todas las cookies pulsando el botón “Aceptar” o bien configurar su uso.

Aceptar todo