The essence of logic / John J. Kelly.
Tipo de material:
TextoSeries The essence of computingDetalles de publicación: Hertfordshire, Inglaterra : Prentice-Hall, 1997.Edición: 1a. edDescripción: 258 p. : gráf. ; 24 cmTipo de contenido: - texto
- sin mediación
- volumen
- 0133963756
| Tipo de ítem | Biblioteca actual | Colección | Ubicación en estantería | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.6 ; K 21 ; 7167 (Navegar estantería(Abre debajo)) | Disponible (Sin Restricciones) | 7167 |
Contenido: p. v a vii.
Glosario: p. 251 a 255.
Índice: p. 256 a 258.
Bibliografía: p. 250.
1. Tablas de verdad.
2. Cuadros semánticos.
3. Deducción natural.
4. Lógica proposicional axiomática.
5. Resolución en lógica proposicional.
6. Introducción a la lógica de predicados.
7. Un enfoque axiomático de la lógica de predicados.
8. Cuadros semánticos en lógica de predicados.
9. Resolución en lógica de predicados.
La esencia de la lógica es una nueva e interesante publicación que proporciona una introducción concisa a la lógica formal. Sin exigir mucho conocimiento matemático previo, este texto completo prepara al lector para el análisis y la aplicación de técnicas lógicas en informática. También se puede utilizar para el estudio de la lógica matemática por derecho propio. Amplia en su cobertura, cada nuevo concepto se introduce suavemente y luego se refuerza con numerosos ejercicios y ejemplos. Este enfoque práctico desarrolla rápidamente las habilidades necesarias para aplicar la lógica en una amplia gama de disciplinas informáticas.
Para estudiantes de licenciatura en informática.
En inglés.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.