Matemàtica Discreta i Lògica

La matemàtica discreta és la branca de les matemàtiques amb una relació més directa amb la teoria de la computació; de fet, el seu gran desenvolupament al segle passat es deu en bona part a l’aparició de la informàtica. El curs introdueix diverses matèries interrelacionades –lògica, aritmètica, combinatòria i teoria de grafs—, que són el fonament de la matemàtica discreta. La presentació dels temes farà èmfasi en els aspectes algorísmics i computacionals.

Temari
  • Càlcul proposicional i de primer ordre
  • Formes normals
  • Aritmètica d’enters i de polinomis
  • Enumeració bàsica
  • Equacions recurrents i funcions generadores
  • Probabilitat discreta
  • Grafs i digrafs
  • Arbres. Arbre generador minimal
  • Coloració de grafs. Algorismes
  • Fluxos en xarxes i aparellaments

 

 Més informació a la guia de l'assignatura.