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
Navegando Sede Esmeraldas estanterías, Ubicación en estantería: Sala general, Colección: Col General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||
164/ G193l/ 06.3.039 Lógica simbólica | 164/ H677g/ 08.1.203 Gödel, Escher, Bach : | 164/Ho789l/2.4.001(a) Lógica matemática para informaticos: | 164/Ho789l/2.4.001(a) Lógica matemática para informaticos: | 164/K889l/ 08.1.093 Logic, for undergraduates | 164/ K889l/ 08.1.094 Logic for Undergraduates | 164/L881e/2.4.003(a) Elementos de lógica formal y matemática |
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.