Lógica para informáticos
Tipo de material:
Archivo de ordenador[Lugar de publicación no identificado] : Alfaomega, 2019Tipo de contenido: texto Tipo de medio: computadora Tipo de portador: otroISBN: 9786077079934Tema(s): Computación e informáticaGénero/Forma: Libro electrónico Recursos en línea: Click para acceso en línea Resumen: Este libro proporciona al lector fundamentos de lógica, para las ciencias de la computación, sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente. El libro inicia con un capítulo de preliminares matemáticos donde se repasan: Conjuntos, Relaciones y funciones, Combinatoria, Demostración de propiedades. Continúa con la definición de la lógica proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. En la segunda parte del libro define la lógica de primer orden, explica los métodos de deducción e incluye algunas aplicaciones. Dedica un capítulo a la programación lógica. Ventajas Competitivas: Escrito de forma amena y cercana, simplificando al máximo la carga rotacional, con numerosos ejemplos que ilustran los conceptos explicados. Más de 200 ejercicios acompañados de su correspondiente solución, desarrollada en todo detalle.
| Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
|
|
Biblioteca de la Facultad de Ingeniería UNMDP | Enlace al recurso | Disponible | Acceso en línea |
Total de reservas: 0