Contorno da seção

  • Destaque


    Bibliografia básica e complementar da disciplina, disponível em pdf.

    • Logic in Computer Science Arquivo

      HUTH, M.; RYAN, M. Logic in Computer Science - modeling and reasoning about systems. Cambridge University Press, 2004.

    • Lógica Matemática Arquivo

      FAJARDO, R. A. S. Lógica Matemática. IME-USP, 2015.

    • SWI-Prolog Reference Manual Arquivo

      Manual de referência para o SWI-Prolog (talvez não seja da última versão disponível). As últimas versões possuem manuais e tutoriais online na página http://www.swi-prolog.org.

    • SWI-Prolog Quick Start Arquivo

      Manual de utilização rápida do software SWI-Prolog.

    • Apostila de PROLOG Arquivo

      Caros alunos, não tive tempo de escrever, mas achei essa apostila de PROLOG, que parece ser bem boazinha. Não se acanhem e procurem também.