Slides sobre Lógica

De Wiki DAINF

(Diferença entre revisões)

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

Edição de 13h31min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs) ← Edição anterior		Edição atual tal como 13h32min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs)
(Uma edição intermediária de um usuário não apresentada)
Linha 1:		Linha 1:

−	* [[http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC]]	+	* [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC, Neil D. Jones, DIKU 2005]