Lógica Computacional by JockerJB https://padlet.com/jonatabuenomoura/Bookmarks jonatã moura bueno en-us 2022-02-22 18:53:01 UTC 2022-08-17 13:28:46 UTC hello@padlet.com O que são Premissas? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196553632 São provas evidentes da verdade da conclusão, caso contrário não é válido. Considera-se válido quando, podemos dizer que a conclusão é uma consequência lógica das premissas, ou ainda que a conclusão seja uma inferência decorrente das premissas.]]> 2022-05-23 22:02:38 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196553632 2 - O que é Proposição jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196554396 Proposições são sentenças as quais se aplicam os qualificativos “Falso” ou “Verdadeiro”. São simples (exemplo: "q é um bem normal") ou compostas, ou seja, proposições simples ligadas por conectivos (exemplo: "Se q é um bem normal, então não pode ser um bem de Giffen").]]> 2022-05-23 22:03:50 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196554396 1.O que é lógica? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196555393 A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.

Podemos pensar em como a veracidade de algum argumento e as relações entre diferentes ideias, ao passo que a computacional estuda como organizar instruções e criar um raciocínio baseado em pequenas etapas para chegar a uma solução.

]]> 2022-05-23 22:05:23 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2196555393 O que são Argumentos? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263277453 Podemos dizer que é uma conclusão verdadeira]]> 2022-08-17 13:27:19 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263277453 .O que é Silogismo? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278016 é uma forma de raciocínio baseada na dedução. Esta linha de pensamento, criada pelo filósofo Aristóteles, utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é a conclusão.]]> 2022-08-17 13:27:53 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278016 O que é Falácia? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278392 é um tipo de argumento utilizado com a intenção de parecer correto, porém quem opta por esse recurso geralmente omite algumas informações por trás do discurso. Por definição, a falácia se refere a qualquer ideia equivocada ou falsa crença em algo. Como, por exemplo, na frase “nenhum homem presta]]> 2022-08-17 13:28:12 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278392 O que é inferência? Quais os tipos? jonatabuenomoura https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278842 A inferência é a dedução automática dos tipos de dados de expressões específicas em uma linguagem de programação, geralmente feita em tempo de compilação. Envolve a análise de um programa e a inferência dos diferentes tipos de algumas ou de todas as expressões nesse programa, de modo que o programador não precise inserir e definir explicitamente os tipos de dados sempre que as variáveis ​​forem usadas no programa.


  • O Java SE 10 introduziu em março de 2018 a inferência de tipos para variáveis locais, um dos recursos mais solicitados no Java;
  • A inferência de tipos é uma técnica usada por linguagens tipadas estaticamente, na qual os tipos de variáveis podem ser inferidos de acordo com o contexto pelo compilador;
  • A inferência de tipo no Java é local. O escopo onde as restrições são reunidas e resolvidas é restrito a uma fatia do programa, como uma única expressão ou instrução;
  • Stuart Marks, da equipe do Java Libraries, compilou um excelente guia além de um FAQ para ajudar a entender as vantagens e desvantagens em torno da inferência de tipos para os locais;
  • Usada corretamente, a inferência de tipos pode tornar o código mais conciso e legível.
]]> 2022-08-17 13:28:33 UTC https://padlet.com/jonatabuenomoura/Bookmarks/wish/2263278842