Lógica - para el Postgrado en Computación, presencial e interactivo a distancia, y el Postgrado en Modelado y Simulación, Presencial, en los semestres B1998, A1999, B1999, A2000, B2000, A2001, B2001, A2002, B2002, B2003, B2004, B2005, A2007, B2007, B2008, B2009, B2010, B2011, B2012, A2013