Sinopsis / Descripción

Libro de cátedra de Claudia Pons, Ricardo Rosenfeld y Clara Smith, de la Facultad de Informática de la Universidad Nacional de La Plata, que presenta los fundamentos de la lógica aplicada a la informática. Desarrolla la lógica proposicional y la lógica de predicados, su sintaxis y semántica, los sistemas deductivos y la demostración formal, e introduce lógicas no clásicas y su uso en la especificación y verificación de programas, con ejercicios orientados a estudiantes de computación.