Slides sobre Lógica

De Wiki DAINF

(Diferença entre revisões)

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

Edição de 12h31min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs) ← Edição anterior		Edição atual tal como 12h32min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs)
(2 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]	+	* [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC, Neil D. Jones, DIKU 2005]