Favoritos by iris alvarez da silva https://padlet.com/iris12alvarez/Bookmarks Criado com um desejo a uma estrela en-us 2021-08-20 16:10:49 UTC 2023-02-17 01:56:11 UTC hello@padlet.com O que é Lógica? iris12alvarez https://padlet.com/iris12alvarez/Bookmarks/wish/1688183525 • A Lógica é considerada uma ciência formal. 
• Ela é o estudo formal sistemático dos princípios da inferência válida e do pensamento correto.
 • Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. 
• Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. • Não existe disciplina que ensine puramente a pensar, mas sim as que mostram como desenvolver e aperfeiçoar o dom de pensar.  


Fonte: https://docente.ifrn.edu.br/franciscojunior/disciplinas/logica-computacional/]]> 2021-08-20 16:26:18 UTC https://padlet.com/iris12alvarez/Bookmarks/wish/1688183525 Aplicações lógicas para computadores iris12alvarez https://padlet.com/iris12alvarez/Bookmarks/wish/1688216055 Sempre houve uma forte influência da lógica matemática no campo da Inteligência Artificial (IA). Desde as origens do campo percebeu-se que a tecnologia para automatizar inferências lógicas pode ter um grande potencial para resolver problemas e tirar conclusões a partir de fatos. Ron Brachman descreveu a Lógica de Primeira Ordem (LPO) como métrica pela qual toda formalidade de representação do conhecimento de IA deve ser avaliada. Não existe um método mais geral ou poderoso conhecido para descrever e analisar informações como a LPO. ]]> 2021-08-20 16:46:51 UTC https://padlet.com/iris12alvarez/Bookmarks/wish/1688216055 Lógica computacional: como ajuda na formação iris12alvarez https://padlet.com/iris12alvarez/Bookmarks/wish/1688226547 No dia a dia, enfrentamos uma série de situações complexas, em que temos que organizar pensamentos e chegar a uma solução ordenada, sendo que o raciocínio lógico e o pensamento estruturado viabilizam essa etapa. Afinal, esses conceitos ajudam a separar o que é razoavelmente possível do que não faz sentido.
Assim, você consegue avançar na solução sem se preocupar com aspectos que não serão úteis. O pensamento computacional, que utiliza a lógica como base, pode ser dividido em quatro etapas:
  • decomposição do problema: quebrar a situação em pequenas partes, seguindo a ideia do “dividir para conquistar”;
  • reconhecimento de padrões: separar categorias e identificar soluções específicas para cada uma, considerando as limitações e as características de cada grupo;
  • abstração: dividir o problema em questões mais simples e profundas, enxergando além;
  • algoritmo: criar uma série de etapas para a resolução de um problema.
Essa separação em fases ajuda a pessoa a organizar suas ações e seu esforço, bem como o tempo para a resolução de um problema. Desse modo, é possível alcançar a eficiência e conseguir resultados mais claros.
]]> 2021-08-20 16:53:32 UTC https://padlet.com/iris12alvarez/Bookmarks/wish/1688226547