Slides sobre Lógica

De Wiki DAINF
(Diferença entre revisões)
(Criou página com ' * [INTRODUCTION TO PREDICATE LOGIC http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf]')
 
 
(3 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
  
* [INTRODUCTION TO PREDICATE LOGIC http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf]
+
* [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC, Neil D. Jones, DIKU 2005]

Edição atual tal como 12h32min de 9 de abril de 2012

Ferramentas pessoais