Lógica para ciencia de la computación /
La ciencia de la computación ha dado un impulso a la lógica matemática, al imponerle nuevos desafíos que se originan con el uso de los computadores. Así, la elección de temas y formas de presentación de la obra ha sido enfocada tomando en cuenta esta tendencia. Si bien el tratamiento del tema es m...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
Santiago :
Ediciones Universidad Católica de Chile,
1995.
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Sumario: | La ciencia de la computación ha dado un impulso a la lógica matemática, al imponerle nuevos desafíos que se originan con el uso de los computadores. Así, la elección de temas y formas de presentación de la obra ha sido enfocada tomando en cuenta esta tendencia. Si bien el tratamiento del tema es matemático, los conceptos, las técnicas y los resultados matemáticos son asequibles a personas sin estudios avanzados en el área. El autor es profesor de la Escuela de Ciencias de la Computación en Carleton University, Ottawa, Canadá y doctor en Ciencias Exactas de la Pontificia Universidad Católica de Chile. |
|---|---|
| Notas: | Incluye índice. |
| Descripción Física: | 302, [8] p. : il. |
| Bibliografía: | Bibliografía : p. 300-302. |
| ISBN: | 9561404044 |