Can I read Exercícios de Lógica para Programação on EtoBox?

Exercícios de Lógica para Programação by DMG JoMi is a document available to read on EtoBox.

What is Exercícios de Lógica para Programação about?

Este documento apresenta uma compilação de exercícios sobre lógica proposicional e lógica de primeira ordem. Inclui tópicos como argumentos e validade, sistemas de dedução natural, tabelas de verdade, resolução, BDDs, OBDDs, SAT, entre outros. O objetivo é servir de apoio para as aulas práticas e avaliações da disciplina de Lógica para Programação.

Author

DMG JoMi

Language

PT