Descripción
Cada vez más estudiantes necesitan una comprensión básica de la lógica para los cursos de informática, y el cálculo proposicional y de predicados es fundamental para el campo de la lógica matemática. Este texto introductorio no asume conocimientos previos de lógica y se concentra en el material central que es vital para un estudio posterior. Está diseñado específicamente para el estudio independiente y presenta una gran cantidad de ejemplos y ejercicios, muchos de ellos con soluciones didácticas completas.
Autor: Derek Goldrei
Editorial: Springer
Publicado: 09/08/2005
Páginas: 315
Tipo de encuadernación: Tapa blanda
Peso: 1.30 libras
Tamaño: 9.60h x 7.46w x 0.60d
ISBN13: 9781852339210
ISBN10: 1852339217
Categorías BISAC:
- Matemáticas | Lógica