Subjects
Abstract Models of Computation (FIB)
Algorithmics,
Computability, and Complexity (FIB)
Complexity Theory (FIB)
Computability Theory (FME)
Data Structures and Algorithms (FIB)
Introduction to Informatics (ETSEIT)
Introduction to Informatics (ETSEIB)
Introduction to Logic (FIB)
Languages, Grammars, and Automata (FIB)
The Heritage of Thales (FIB)
Tools for Mathematical Discovery (FIB)
Workshop of Proof (FIB)
Schools
ETSEIB =
Escola Tècnica
Superior d'Enginyers Industrials de Barcelona
ETSEIT = Escola Tècnica
Superior d'Enginyers Industrials de Terrassa
FIB = Facultat
d'Informàtica de
Barcelona
FME = Facultat de
Matemàtiques i Estadística