El Problemario del Profesor Pedro Borges (Estructuras Discretas I) lo podrán encontrar en su página Web:
 

 - CONJUNTOS

      Problemario de Pedro Borges, Cap.2:
         Ejerc.1,2,3,4.
         Ejerc.12,13(a) pero usando lógica. Es decir, expresar
            los conjuntos a través de predicados de la siguiente
            forma: A = { x : x cumple la propiedad P }
                   B = { x : x cumple la propiedad Q }
                   C = { x : x cumple la propiedad R }
            para así lograr que los conjuntos a ser demostrados
            iguales queden expresados a través de proposiciones
            lógicas.  La demostración se reduce entonces a una
            demostración de equivalencia lógica.  Por ejemplo,
            en el Ejerc.12 lo que habría que demostrar es que
               (P y no Q) y no R    equiv    P y no (Q o R)

      Se recomienda hacer: 2(d), 12 usando lógica.

 - RELACIONES

      Problemario de Pedro Borges, Cap.4:
         Ejerc.4.
         Ejerc.13 pero cambiando en las partes (a,b,c,d) a
            x,y por a,b.  Sugiero esto pues CONOCE_A está
            definido usando las variables x,y y puede confundir
            menos a los estudiantes pedir luego conjuntos que
            dependan de a,b (y no de x,y).

      Problemario de Pedro Borges, Cap.5:
         Ejerc.5 pero ignorando las opciones de respuestas que
            da el problemario, pues estas respuestas usan varios
            operadores sobre relaciones que no tenemos en este
            curso.  Se puede hacer bien "a mano" (es decir, sin
            los operadores de la guía de Pedro).

      Se recomienda hacer: Cap.4.13(a,b,c), Cap5.5(i,ii,iii).

  - LÓGICA PROPOSICIONAL

      Gries, Pág.17:
         Ejerc.1,2,3,4.

      Gries, Pág.26:
         Ejerc.1,3,4,5,6.

      Se recomienda hacer: Pg.17.4(a,b,e,f), Pg.26.6(b,e).

 - LÓGICA DE PREDICADOS

      Gries, Pág.70:
         Ejerc. Todos (aunque algunos requieren que los
                       estudiantes lean por su cuenta lo
                       de CAND y COR)

      Gries, Pág.75:
         Ejerc.4,5,6.

      Se recomienda hacer: Pg.70.3(g,h,i,j), Pg.75.6(a,b,c,d,e).