Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/5554
Título: | Some applications of propositional calculus |
Autor: | Manfredini, Enrique H. Martins, Manuel A. |
Data: | 2003 |
Resumo: | Neste trabalho pretendemos mostrar como as ferramentas do Cálculo Proposicional permitem resolver certos enigmas e problemas conhecidos de outras áreas da matemática - como a combinatória e a Investigação Operacional - unificando assim, num contexto comum, problemas aparentemente diversos. A forma simples e sistemática das resoluções mostra a utilidade de adoptar estes procedimentos na resolução destes problemas. A ferramenta que mais vezes vamos utilizar são as tabelas de verdade. Num caso menos elementar vamos também mostrar uma aplicação do Teorema da Compacidade do Cálculo Proposicional. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/5554 |
ISSN: | 0872-3672 |
Aparece nas coleções: | DMat - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
aplicpc.pdf | Preprint | 135.34 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.