MCC
Some material developed during my bachelor degree in Mathematics and Computer Science (MCC). It includes the resolution of practical assignments and exercises.
- MFP I - VDM-SL Specifications
Formal Programming Methods I (2006/2007)
Formal specification examples in VDM-SL.
Language: en - AN - Solved Exercises
Numerical Analysis I/II (2005/2006)
Resolution of exercises from the book Análise Numérica: um curso prático com MATLAB (M. I. Falcão and M. J. Soares, Universidade do Minho, 2004).
Language: pt - ELP III - Petri Nets to SMV
Logic Elements of Programming III (2005/2006)
Implementation, using Haskell, of a program to generate a representation of the acessibility graph of P/T nets with propositional logic (SMV).
Language: pt - MC - Solved Exercises
Computational Mathematics (2004/2005)
Resolution of exercices in Mathematica.
Language: pt - MP III - LL Parsers
Programming Methods III (2005/2006)
Implementation of new features in the HaGLR library: a LL(1) parser generator, and a parsing tree visualizer.
Language: pt - MP III - Solved Exercises
Programming Methods III (2005/2006)
Resolution of exercises about language specification and processing (regular expressions, finite automata, and context-free grammars).
Language: pt - PE - Buffon's Needle (with Polygons)
Probabilities and Statistics (2005/2006)
Generalization of the Buffon's needle problem to regular polygons. Implementation of a simulator using Mathematica.
Language: pt - PE - Solved Exercises
Probabilities and Statistics (2005/2006)
Resolution of exercises about probabilities using Mathematica.
Language: pt - PL I - ParserLanguage: pt
- PL I - Parser (AG)
Language Processing I (2005/2006)
Implementation of a compiler for LISS2 language, using attribute grammars and tool LISA.
Language: pt - PP IV - Solved Exercises
Programming Paradigms IV (2004/2005)
Solved exercises of Object Oriented Programming, using Java.
Language: pt - RC I - Solved Exercises
Knowledge Representation I (2006/2007)
Resolution of exercises about knowledge representation using Prolog.
Language: pt - TNC - Solved Exercises
Computational Number Theory (2006/2007)
Resolution of exercise about number theory using PARI/GP.
Language: pt