# data[].attributes.headline
                   Lógica Computacional / Fórum

# data[].attributes.subject
                   Lógica Computacional / Fórum

# data[].attributes.body
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!
Profa Adriane Ap. Loper

# data[].attributes.attachment_caption
Origem: Wikipédia, a enciclopédia livre.

# data[].attributes.body
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

# data[].attributes.headline
SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO 

# data[].attributes.subject
SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO 

# data[].attributes.body
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

# data[].attributes.attachment_link.readable_text
Jéssica Silva de Souza, Alba Sandyra Bezerra Lopes
Resumo

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.

# data[].attributes.attachment_link.title
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação - SBIE)

# data[].attributes.attachment_link.description
Jéssica Silva de Souza, Alba Sandyra Bezerra Lopes Resumo 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.

# data[].attributes.body
Fonte: https://www.mindmeister.com/pt/1928727555/l-gica-computacional

# data[].attributes.attachment_link.readable_text
Lógica Computacional

1. O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.

2. O valor-verdade de uma proposição composta é obtido de forma úni- ca a partir dos valores-verdade atribuídos às proposições simples que a compõem.A atribuição de um valor-verdade para uma proposição simples depende do seu contexto e faz parte do estudo semântico.

2.1. Conjunção Disjunção Condicional Bicondicional p q p∧q p∨q p→q p↔q V V V V V V V F F V F F F V F V V F F F F F V V

3. Proposição

3.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).

3.2. As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.

4. Proposição

4.1. Simples

4.1.1. É simples se, e somente se, contiver uma única afirmação.

4.1.1.1. As proposições são ligadas por conectivos.

4.1.1.1.1. Conjunção

4.1.1.1.2. Disjunção

4.1.1.1.3. Condicional

4.1.1.1.4. Bicondicional

4.1.1.1.5. Negação

4.2. Composta

4.2.1. Duas proposições simples ou mais.

5. A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.

6. Tabela-Verdade

7. Critérios para o valor-verdade O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir. Conjunção (∧) Uma conjunção tem seu valor lógico (V) se, e somente se, as duas proposições que a compõem forem verdadeiras (V). Ob- serve que, na tabela apresentada, a conjunção tem valor lógico (V) somente na primeira linha, onde as proposições p e q são verdadeiras. Disjunção (∨) Uma disjunção tem valor-verdade (F) se, e somente se, ambas as proposições que a compõem forem falsas (F) (é o caso da última linha da disjunção). Condicional (→) Uma proposição condicional é falsa (F) se, e somente se, a pro- posição antecedente for verdadeira (V) e a consequente for falsa (F) (é o caso da segunda linha da condicional).

# data[].attributes.attachment_link.description
Lógica Computacional 4.1.1. É simples se, e somente se, contiver uma única afirmação. 4.1.1.1. As proposições são ligadas por conectivos. 4.1.1.1.1. Conjunção 4.1.1.1.2. Disjunção 4.1.1.1.3. Condicional 4.1.1.1.4. Bicondicional 4.1.1.1.5. Negação 4.2.1. Duas proposições simples ou mais.

# data[].attributes.body
Alguns tutoriais sobre lógica computacional no YouTube.

# data[].attributes.attachment_link.title
1. Lógica Computacional: Introdução à Lógica

# data[].attributes.attachment_link.readable_text
Lógica de programação é o modo como se escreve um programa de computador, um algoritmo. Um algoritmo é uma sequência de passos para se executar uma função. Um exemplo de algoritmo, fora da computação, é uma receita de bolo.

Na receita, devem-se seguir os passos para o bolo ficar pronto e sem nenhum problema. Na informática, os programadores escrevem as "receitas de bolo" (algoritmos) de modo que o computador leia e entenda o que deve ser feito, ao executar o algoritmo. Para isto é necessário uma linguagem de programação.

A linguagem de programação é como uma língua normal, um grupo de palavras com significados. No caso da programação, a maioria das linguagens é escrita em Inglês. Estas linguagens fazem o computador assimilar cada comando e função de um algoritmo, depois executar cada função.

A linguagem de programação é somente como se escreve o algoritmo. O grande problema para muitos é o que "dizer" para o computador fazer o que é desejado. Para o aprendizado foi desenvolvido o Software VisualG, que auxilia a programação totalmente em português. Com este software, não é necessário pensar em linguagem de programação, pois todos os comandos são em Português, ficando assim o foco na Lógica.

Na hora de programar alguns passos são indispensáveis, como Declarar Variáveis. Variáveis podem ser escritas por letras ou números, que representam um valor que pode ser mudado a qualquer momento.

Cada variável tem um espaço na memória para armazenar seus dados. Porem existem vários tipos de dados, sendo os mais comuns:

Numérico: todo e qualquer tipo numero, positivo ou negativo

Reais: podem ser positivos ou negativos e decimais.

Caractere: São os textos. Qualquer numero pode entrar aqui, porem não terá função matemática.

Saber lógica de programação é saber o melhor jeito de escrever um código, para o computador interpretar corretamente. É saber se comunicar com a maquina a partir de uma linguagem seja lá qual for.

Um exemplo de algoritmo, que tem como objetivo somar 3 números inteiros.

Algoritmo "soma"
Var Num1, num2, num3, resultado:inteiro

Inicio
escreval("este programa ira somar 3 números inteiros de sua escolha:")
escreval("digite um numero inteiro:")
leia(num1)
escreval("digite um numero para somar ao primeiro numero:")
Leia (num2)
escreval("digite um terceiro numero para somar aos outros 2 numeros:")
Leia (num3)
Resultado <- num1+num2+num3
escreval("O resultado é: ")
escreval (resultado)
fimalgoritmo

no algoritmo acima, alguns elementos são os comandos específicos da linguagem "Portugol": Var, Inicio, Escreval, leia, <-, Fimalgoritmo, :Inteiro. Estes comandos têm funções especificas, e um dos objetivos da lógica de programação é entender como eles funcionam. Cada linguagem tem um correspondente a estes comandos, com a mesma função, porem escrito de modo diferente (sintaxe).

Fontes:
O que é lógica de programação. http://sabercss.com/index.php?Option=com_content&view=article&id=59&Itemid=73

Apostila de lógica de programação. http://www.apostilando.com/download.php?Cod=3195&categoria=L%F3gica%20de%20Programa%E7%E3o

Texto originalmente publicado em https://www.infoescola.com/informatica/logica-de-programacao/

# data[].attributes.attachment_link.description
Artigo sobre a chamada Lógica de Programação, o que é, exemplos, entre outras informações.