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: | ||
− | * [ | + | * [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC, Neil D. Jones, DIKU 2005] |