My Prime padlet by Luiz Fernando CS

Lógica Computacional / Fórum

fernandesbiker10 — 2021-08-03 01:42:45 UTC

Bem-vindos à disciplina de Lógica Computacional!

Iniciamos a disciplina que nos traz uma visão dos princípios fundamentais da matemática e da lógica, álgebra de conjuntos, fundamentos da Lógica e Tabela Verdade.

Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação.

Algumas leituras recomendadas:

https://www.mindmeister.com/pt/1928727555/l-gica-computacional
acesso 25jul21

https://br-ie.org/pub/index.php/sbie/article/view/8186 acesso 25jul21

Trouxe um tutorial para orientar vocês na ferramenta Padlet, onde você pode incluir vídeos, imagens, textos entre outros.

https://www.tecmundo.com.br/software/214055-padlet-usar-ferramenta-tutorial-completo.htm
acesso 25jul21

Dentro das visões trazidas em nossa disciplina, vamos construir um mural com a ferramenta Padlet, sobre como a lógica funciona e como podemos trabalhar com ela em nosso cotidiano?
Escolha a parte da Lógica Computacional que você mais se identifica e mãos à obra!
Coloque o link aqui no fórum para que sua professora, seu tutor e seus colegas consigam acessar seu mural!
Boa atividade!
Prof^a Adriane Ap. Loper

O que é Lógica Computacional

fernandesbiker10 — 2021-08-03 01:50:33 UTC

Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação. Ela tem uma relação com a ciência da computação e a engenharia semelhante à relação da lógica matemática com a matemática, ou à da lógica filosófica com a filosofia. É sinônimo de "lógica na ciência da computação".

O termo "Lógica Computacional" veio à proeminência com a fundação da ACM transactions on Computational Logic.^[1] No Entanto, a sua primeira utilização foi, provavelmente em 1972, quando a unidade de Metamatemática da Universidade de Edimburgo foi renomeado para "Departamento de lógica computacional" na Escola de Inteligência Artificial.^[2] O termo foi utilizado por Robert S. Boyer e J Strother Moore, que trabalhou no Departamento, no início do ano de 1970, para descrever o seu trabalho na verificação do programa e raciocínio automatizado. Eles também fundaram uma empresa, Computational Logic Inc. com o mesmo nome.

O termo "Lógica Computacional" também veio a ser associado com a lógica de programação, pois grande parte do trabalho inicial em lógica de programação, no início da década de 1970 foi realizado no Departamento de Lógica Computacional, em Edimburgo. Ele foi reutilizado no início da década de 1990 para descrever trabalhos sobre extensões de lógica de programação na EU Basic Research Project "Compulog" e na rede de excelência associada. Krzysztof Apt, que foi o coordenador da Basic Research Project Compulog-II, reutilizou e generalizou o termo quando ele fundou a ACM Transactions on Computational Logic em 2000 e veio a se tornar seu primeiro Editor-Chefe.

Fonte: https://pt.wikipedia.org/wiki/L%C3%B3gica_computacional

SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO

fernandesbiker10 — 2021-08-03 01:55:39 UTC

Estimulando o pensamento computacional e o raciocínio lógico no ensino fundamental por meio da OBI e computação desplugada

O desenvolvimento do raciocínio lógico é um processo fundamental para auxiliar na resolução de problemas em diversas áreas, inclusive na computação. A Olimpíada Brasileira de Informática (OBI) é uma olimpíada do conhecimento que promove o desenvolvimento dessa competência através da resolução de desafios e visa estimular o interesse dos alunos para a área da computação. Nesse contexto, apresenta uma ação realizada por meio do PIBID em uma escola pública de um município do estado visando auxiliar no desenvolvimento do raciocínio lógico e pensamento computacional por meio da computação desplugada associada aos desafios propostas pela OBI.

Fonte: https://br-ie.org/pub/index.php/sbie/article/view/8186%20acesso%2025jul21

mindmeister

fernandesbiker10 — 2021-08-03 02:11:59 UTC

Fonte: https://www.mindmeister.com/pt/1928727555/l-gica-computacional

Introdução

fernandesbiker10 — 2021-08-03 02:17:18 UTC

Alguns tutoriais sobre lógica computacional no YouTube.

InfoEscola: Navegando e Aprendendo

fernandesbiker10 — 2021-08-03 02:19:57 UTC