Apontamentos
- Lógica Computacional, Nelma Moreira, DCC-FCUP,2004-2016
- Regras de dedução lógica proposicional (notação de Fitch)
- Regras de dedução da lógica de primeira ordem (notação de Fitch)
Bibliografia
Language, Proof and Logic
DAVE BARKER-PLUMMER, JON BARWISE, AND JOHN ETCHEMENDY
DAVE BARKER-PLUMMER, JON BARWISE, AND JOHN ETCHEMENDY
Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan
Cap 1 e Cap 2.
Web tutor
modelling and reasoning about systems
Michael Huth and Mark Ryan
Cap 1 e Cap 2.
Web tutor
Series: Undergraduate Topics in Computer Science
Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.
1st Edition., 2011, XIII, 307 p. 52 illus.
