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
  • FC - RSA

    Introduction to Cryptography (2006/2007)

    Implementation of RSA key generation and encryption/decryption primitives, using PARI/GP. Exploration of RSA vulnerabilities.

    Language: pt
  • 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 - Parser

    Language Processing I (2005/2006)

    Implementations of a parser using lex and yacc.

    Language: 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