J.F. Costa e P. Gouveia, Elementos de Teoria da Computação (texto de apoio para a unidade curricular Elementos de Teoria da Computação da Lic. em Eng. Electrotécnica e de Computadores), DMIST, 2021
J.F. Costa e P. Gouveia, Computabilidade inferência indutiva e complexidade, DMIST, 2018
C. Caleiro, F.M.Dionísio, P. Gouveia, J. Ramos e J. Rasga, Teoria da Computação, DMIST, 2018
P. Gouveia e F.M. Dionísio, Lógica Computacional, DMIST,2004
P. Gouveia e F.M. Dionísio, Breve introdução ao Isabelle, DMIST, 2004
P. Gouveia e F.M. Dionísio, Introdução ao SML, DMIST, 2000
P. Gouveia e H. Lourenço, Texto de apoio para a disciplina de Teoria da Programação II, DMIST, 1999
Disciplinas lecionadas
Eng. Biológica
Computação e Programação
Eng. Electrotécnica e de Computadores
Elementos de Teoria da Computação
Eng. de Gestão Industrial
Elementos de Programação
Eng. Informática e de Computadores
Teoria da Computação
Matemática Discreta
Lógica Computacional
Teoria da Programação I
Teoria da Programação II
Fundamentos Algébricos da Engenharia da Programação
Eng. Química
Computação e Programação
Eng.de Telecomunicações e Informática
Teoria da Computação
Elementos de Matemática Discreta
Matemática Aplicada e Computação
Elementos Lógicos da Programação I
Especificação e Verificação de Sistemas Reativos
Fundamentos Algébricos da Engenharia da Programação
