100
edits
Changes
Jump to navigation
Jump to search
=Indução e Recursão Matemática=
Isto pode ser simplificado através do uso da função {\bf bsimp} do maple[[File:imagem3.png]]
\begin{figure}[H]
\centering
\includegraphics[width=1.0\textwidth]{imagem3.png}
\end{figure}
\begin{figure}[H]
\centering
\includegraphics[width=1.0\textwidth]{imagem4.png}
\end{figure}
no edit summary
Este projeto descreve o uso da linguagem Maple para desenvolvimento da Indução Matemática e Recursão na disciplina de Fundamentos da Matemática para Computação II. Com uso da tradução livre do documento que foi disponibilizado do livro Matemática Discreta do Keneth H. Rosen, descreveremos como a Indução pode ser facilmente entendida e utilizada com Maple .
[[File:imagem2.png]]
Isto pode ser simplificado através do uso da função {\bf bsimp} do maple.
Agora, seguimos para um exemplo mais complexo, no qual o leitor pode confirmar a corretude da simplificação, construindo uma tabela verdade.
[[File:imagem4.png]]
O próximo exemplo ilustra a simplificação do Modus Ponens. Primeiro afirmamos que p implica q e p é verdadeiro.
\begin{figure}[H]
