Introducció a la Lògica (IL)

Quadrimestre de tardor 2010

Professors:

• Acabem de publicar un llibre que inclou el material de l'assignatura, junt amb tots els exercicis (inclosos problemes d'examen) resolts:


• Lógica para informáticos. Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra. Editorial Marcombo. Barcelona, 2011. ISBN: 978-84-267-1694-1