Sistemas Formales: presentación de sus propiedades abstractas dentro del curriculum de Ciencias de la Computación

Este trabajo se funda en el conocimiento de los autores de que existe una relación íntima entre la lógica y las Ciencias de la Computación. Esta vinculación es doble. En principio y como hecho general, el razonamiento lógico es reconocidamente la base de cualquier ciencia. Por otra parte y como rela...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Simari, Guillermo Ricardo, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Educación
sistemas formales
programa de enseñanza
teorías lógicas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24834
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares