Au programme de ce cours, on trouve les sujets suivants : caractère dénombrable des ensembles, logique du premier ordre, algèbre des relations, théorie des graphes (problèmes d'acheminement, dénombrement chromatique, arbres, planéité, graphes orientés, arbres dirigés), relation récurrente, notations 0(f), o(f), ~(f). On ne peut recevoir de crédits à la fois pour COSC et MATH 2056. Préalable : COSC 1056. (3 h) 3 cr.