Mathematical Logic for computer science

Aumentar cantidadDisminuir cantidad

Mathematical Logic for computer science

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

6

Disponible  

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

Recomendar a un amigo

Si deseas recomendar este material a un amigo, escribe tu nombre y su dirección de correo electrónico.
Tu nombre: Su e-mail:


Logotipo de la Universidad Nacional de Educación a Distancia

© Fundación Ramón J. Sender 2000-2016. Registrado en España
Centro de la UNED Barbastro [Contacto]

Logotipo de la Fundación Ramón J. Sender

Icono de alerta Las cookies nos permiten ofrecer nuestros servicios. Al navegar por LibrosUNED.com, consideramos que acepta el uso que hacemos de ellas.
Puede cambiar la configuración de cookies en cualquier momento. Para más información, puede consultar nuestro documento de politica de cookies

Cerrar