Computer Security Fundamentals
Computer Security Fundamentals This course will teach
Formal construction and verification of programs in Type Theory
La asignatura se evaluará por medio de dos parciales y trabajos de laboratorio. El nivel mínimo de suficiencia en los trabajos de laboratorio es eliminatorio, ya que esta parte del trabajo del curso no puede ser evaluada mediante exámenes. Por otra parte, dependiendo de las condiciones de dictado del curso, el trabajo de laboratorio se evalúa según las opciones aprobado/ no aprobado, o con puntaje diferenciado en el caso de aprobación.
