Lógica Informática
Organización de la asignatura:
programa y bibliografía básica
Notas de Clase (por el profesor):
portada
índice
índice de figuras
Capítulo 01: Notación y Sistema (segunda edición)
Capítulo 02: Reducción (segunda edición)
Capítulo 03: Lógica Combinatoria (primera edición)
Índice de Materias
Apéndice 01: Alfabeto Griego
Bibliografía específica
Exámenes
Evaluación:
Los alumnos serán evaluados de teoría y prácticas por separado. El alumno obtendrá la nota como resultado de efectuar la media entre las notas de teoría y de prácticas. La media será efectuada cuando el alumno haya obtenido una puntuación mínima de 1 pt. en cada parte.- La teoría podrá ser aprobada por parciales o superando una prueba final. La nota de prácticas se obtendrá por evaluación de los ejercicios prácticos propuestos.- Los días fijados para las pruebas escritas, u otras, no serán cambiados por ninguna razón que no fuese de fuerza mayor.-