Homepage of Marta

Academic term 2009/2010

• Conexionist systems (neural networks)
• Discrete Mathematics (type systems and theorem proving)
• Practicals of Declarative Programming

Academic term 2007/2008

• Practicals of Declarative Programming

Academic term 2006/2007

• Practicals of Conexionist Systems
• Practicals of Artificial Intelligence
• Practicals of Data Structures

Academic term 2005/2006

• Practicals of Conexionist Systems
• Practicals of Declarative Programming

Academic term 2004/2005

• Practicals of Theory of Formal Languages
• Practicals of Technology of Programming