Lecturing Material 

2009

Part of the course notes for the Software Formal Verification module (MFES 08/09, MFES 09/10)

    –  Formal Logic and Deduction Systems (introduction) 

    –  Classical Propositional Logic

    –  Classical First-Order Logic 

    –  Beyond First-Order Logic 

2007

–  M. J. Frade. Type Systems and Logics. Departamento de Informática, Universidade do Minho, 2007. 

–  M. J. Frade. Beyond Pure Type Systems. Departamento de Informática, Universidade do Minho, 2007. 

–  M. J. Frade. Programação Funcional - Haskell. Departamento de Informática, Universidade do Minho, 2004–2007. 


2006

–  M. J. Frade, J. S. Pinto. Programação Funcional - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2006. 

–  M. J. Frade. Lógica Computacional - Prolog. Departamento de Informática, Universidade do Minho, 2006. 

–  M. J. Frade. Lógica Computacional - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2006. 


2005

–  M. J. Frade. Elementos Lógicos da Programação I - Caderno de Exercícios. Departamento de Informática, Universidade do Minho, 2005. 


1998

–  J. S. Pinto, M. J. Frade. Introdução ao Sistema COQ de Assistência à Prova  (Elementos Lógicos da Programação III). Departamento de Informática, Universidade do Minho, 1998.

–  J. S. Pinto, M. J. Frade. Guiões das aulas práticas laboratoriais sobre o sistema COQ (Elementos Lógicos da Programação II). Departamento de Informática, Universidade do Minho, 1998.

–  M. J. Frade. Sebenta Prática de Elementos Lógicos da Programação I. Departamento de Informática, Universidade do Minho,  1998. 


1995

–  J. P. Miranda, M. J. Frade. Comunicação, Concorrência e Processos. Departamento de Informática, Universidade do Minho, 1995. 

–  J. P. Miranda, M. J. Frade. A minha primeira introdução ao RPC. Departamento de Informática, Universidade do Minho, 1995. 

–  J. P. Miranda, M. J. Frade. Navegar é preciso... Departamento de Informática, Universidade do Minho, 1995.