Lógica matemática para informaticos: Ejercicios resueltos
Idioma: Español España , 2008Edición: PearsonDescripción: [ x ]: 390 páginas. ; 27 cmTipo de contenido:- texto
- no mediado
- volumen
- 9788483224540
- 164/Ho789l/2.4.001(a)
Contenidos:
Lógica proposicional. Sintaxis matemática. Formalización. Técnicas de razonamiento. Equivalencia lógica. Leyes booleanas. Cálculo lógico con tableaux. Lógica de Primer Orden. Sintaxis y semántica. Formalización. Técnicas de razonamiento. Equivalencia lógica. Leyes de los cuantificadores. Cálculo lógico con tableaux. Cálculo lógico con resolución. Ejercicios propuestos
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libro | Sede Esmeraldas Sala general | Col General | 164/Ho789l/2.4.001(a) (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | ESM410988 | ||
Libro | Sede Esmeraldas Sala general | Col General | 164/Ho789l/2.4.001(a) (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | ESM412307 |
Total de reservas: 0
Lógica proposicional. Sintaxis matemática. Formalización. Técnicas de razonamiento. Equivalencia lógica. Leyes booleanas. Cálculo lógico con tableaux. Lógica de Primer Orden. Sintaxis y semántica. Formalización. Técnicas de razonamiento. Equivalencia lógica. Leyes de los cuantificadores. Cálculo lógico con tableaux. Cálculo lógico con resolución. Ejercicios propuestos
No hay comentarios en este titulo.