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

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

O termo "lógica computacional" ganhou destaque com a fundação da ACM Transactions on Computational Logic em 2000. No entanto, o termo foi introduzido muito antes, por JA Robinson em 1970. A expressão é usada no segundo parágrafo com uma nota de rodapé afirmando que "lógica computacional" é "certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligência artificial que trata de como fazer as máquinas fazerem deduções com eficiência".

Em 1972, a Unidade de Metamatemática da Universidade de Edimburgo foi renomeada para "O Departamento de Lógica Computacional" na Escola de Inteligência Artificial. O termo foi então usado por Robert S. Boyer e J Strother Moore, que trabalharam no Departamento no início dos anos 1970, para descrever seu trabalho sobre verificação de programa e raciocínio automatizado. Eles também fundaram a Computational Logic Inc.

A lógica computacional também passou a ser associada à programação lógica, porque muitos dos primeiros trabalhos em programação lógica no início dos anos 1970 também ocorreram no Departamento de Lógica Computacional em Edimburgo. Foi reutilizado no início dos anos 1990 para descrever o trabalho em extensões de programação lógica no Projeto de Pesquisa Básica da UE "Compulog" e na Rede de Excelência associada. Krzysztof Apt, que era o coordenador do Projeto de Pesquisa Básica Compulog-II, reutilizou e generalizou o termo quando fundou a ACM Transactions on Computational Logic em 2000 e se tornou seu primeiro Editor-Chefe.

Referências

# data[].attributes.attachment_link.title
Lógica computacional - Wikipédia, a enciclopédia livre

# data[].attributes.attachment_link.description
Origem: Wikipédia, a enciclopédia livre. A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia.

# data[].attributes.attachment_link.readable_text
Existem vários tipos de lógica e todos focam seu objeto de estudo na compreensão do raciocínio e na identificação de quando estão corretos ou incorretos.

O estudo da lógica evoluiu desde o tempo do filósofo grego Aristóteles até o presente, e foi ajustado com a intenção de ser mais específico e, ao mesmo tempo, mais adaptado ao cotidiano do ser humano, o que lhe permite aplicação mais tangível em diferentes campos.

Aristóteles, reconhecido como o pai da lógica.

A lógica busca o estudo sistemático de argumentos e proposições, e os diferentes tipos de lógica permitem que seja possível estudar a estrutura meramente formal dessas declarações, bem como o que tem a ver com o conteúdo e o poder desse conteúdo.

Embora a lógica se baseie no estudo das afirmações, ela não se concentra claramente na linguagem natural (a linguagem como a conhecemos), mas sua utilidade alcançou diversas áreas e estruturas diferentes, como matemática e matemática. Computação

Os tipos mais relevantes de lógica

Formal

A lógica formal, também conhecida como lógica clássica ou lógica aristotélica, é o estudo de proposições, argumentos, afirmações ou sentenças do ponto de vista estrutural.

É um método para estruturar o pensamento e determinar as formas corretas ou incorretas de uma abordagem específica.

A lógica formal não se concentra na veracidade ou falsidade do conteúdo de um argumento específico, mas se concentra na validade ou não da construção de sua forma.

Ou seja, o objeto de estudo da lógica formal não é empírico, para a lógica não é relevante determinar se o argumento apresentado é real e comprovado; mas seu estudo está claramente focado na estrutura desse argumento.

Dentro da lógica formal, existem duas classificações muito importantes: lógica dedutiva e lógica indutiva.

A lógica dedutiva se refere àquelas declarações específicas que são geradas a partir de noções gerais. Através desse tipo de lógica, inferências podem ser feitas a partir de conceitos ou teorias que já existem.

Por exemplo, dentro da lógica dedutiva, pode-se dizer que, se os humanos têm pernas e Clara é um ser humano, então Clara tem pernas.

No caso da lógica indutiva, a construção de argumentos acontece de maneira oposta; isto é, conceitos gerais são criados a partir de argumentos específicos.

Por exemplo, dentro da lógica indutiva, pode-se dizer que, se um gato gosta de peixe, e outro também gosta, e outro também, todos os gatos gostam de peixe.

Informal

A lógica informal é o ramo de estudo que se concentra na linguagem e na mensagem que emana de construções e argumentos semânticos.

Essa lógica é diferente da lógica formal, pois a lógica formal estuda as estruturas de sentenças e proposições; e a lógica informal enfoca o fundo da mensagem transmitida.

Seu objeto de estudo é a maneira de argumentar para obter o resultado desejado. A lógica informal valida argumentos lógicos mais consistentes entre outros que possuem uma estrutura argumentativa mais fraca.

Não é clássico

A lógica não clássica, ou lógica moderna, se origina no século XIX e surge em contraste com as afirmações da lógica clássica.

Estabelece outras formas de análise que podem abranger mais aspectos do que é possível através da abordagem clássica da lógica.

É assim que elementos matemáticos e simbólicos, novas declarações ou teoremas que substituíram as deficiências de um sistema lógico formal são incluídos.

Dentro da lógica não clássica, existem diferentes subtipos de lógica, como modal, matemática, trivalente, entre outros.

Todos esses tipos de lógica diferem, em certa medida, da lógica formal, ou incorporam novos elementos que são complementares e permitem que o estudo lógico de uma afirmação específica seja mais preciso e adaptado à utilidade na vida cotidiana.

Simbólico

A lógica simbólica também é chamada de lógica de primeira ordem, ou lógica matemática, e é caracterizada pelo uso de símbolos que constituem uma nova linguagem através da qual os argumentos são "traduzidos".

A intenção da lógica simbólica é converter pensamentos abstratos em estruturas mais formais.

De fato, ele não usa linguagem natural (linguagem), mas usa uma linguagem técnica que converte sentenças em elementos suscetíveis à aplicação de regras mais exatas do que as aplicadas na linguagem natural.

Então, a lógica simbólica permite o tratamento das proposições através das leis de cálculo, a fim de evitar confusões ou imprecisões.

Ele procura incorporar elementos matemáticos na análise de estruturas lógicas formais. No campo matemático, a lógica é usada para provar teoremas.

Em suma, a lógica simbólica ou matemática procura expressar o pensamento humano através da linguagem matemática.

Essa aplicação matemática da lógica permite que argumentos e construções sejam mais exatos.

Modal

A lógica modal se concentra no estudo de argumentos, mas acrescenta elementos relacionados à possibilidade de a afirmação em questão ser verdadeira ou falsa.

A lógica modal visa estar mais alinhada com o pensamento humano, portanto, abrange o uso de construções como "poderia", "possivelmente", "às vezes", "talvez", "provavelmente", "provavelmente", "talvez" ", entre outras.

Na lógica modal, é uma questão de considerar um cenário em que existe uma possibilidade, e tendemos a considerar todas as possibilidades que possam existir, do ponto de vista lógico.

Computacional

A lógica computacional é um tipo de lógica derivada da lógica simbólica ou matemática, apenas que é aplicada na área da computação.

Os programas de computador utilizam a linguagem de programação para seu desenvolvimento e, através da lógica, é possível trabalhar esses sistemas de linguagem, atribuir tarefas específicas e executar ações de verificação.

1. "Lógica" na Enciclopédia Britânica. Retirado em 4 de agosto de 2017 de Encyclopedia Britannica: britannica.com

2. "Lógica formal" na Enciclopédia Britânica. Retirado em 4 de agosto de 2017 de Encyclopedia Britannica: britannica.com

3. Hernández, F. "Lógica computacional" na Universidade Nacional Autônoma do México. Retirado em 4 de agosto de 2017 da Universidade Nacional Autônoma do México: unam.mx

4. Muñoz, C. "Lógica Não Clássica" na Universidade Complutense de Madri. Recuperado em 4 de agosto de 2017 de Universidad Complutense de Madrid: ucm.es

5. Julia, J. "O que é lógica simbólica?" Em eHow em espanhol. Obtido em 4 de agosto de 2017 de eHow em espanhol: ehowenespanol.com

6. Oller, C. "Lógica formal e argumentação" (2006) na Universidade Nacional de La Plata. Recuperado em 4 de agosto de 2017 da Universidade Nacional de La Plata: rfytp.fahce.unlp.edu.ar

7. "Inferências dedutivas e indutivas" na Junta de Extremadura. Recuperado em 4 de agosto de 2017 na Junta de Extremadura: educarex.es.

Referências

# data[].attributes.attachment_link.title
Os 6 principais tipos de lógica - Maestrovirtuale.com

# data[].attributes.attachment_link.description
Existem vários tipos de lógica e todos focam seu objeto de estudo na compreensão do raciocínio e na identificação de quando estão corretos ou incorretos. O estudo da lógica evoluiu desde o tempo do filósofo grego Aristóteles até o presente, e foi ajustado com a intenção de ser mais específico e, ao mesmo tempo, mais adaptado ao cotidiano do ser humano, o que lhe permite aplicação mais tangível em diferentes campos.

# data[].attributes.attachment_link.title
RACIOCÍNIO LÓGICO - PROPOSIÇÕES E TABELA VERDADE  #1 - Prof Robson Liers Mathematicamente

# data[].attributes.headline
Exemplo de como Lógica está presente em nossa infância

# data[].attributes.subject
Exemplo de como Lógica está presente em nossa infância

# data[].attributes.attachment_link.readable_text
As tecnologias como conhecemos contam com complexos sistemas que garantem seu funcionamento. A lógica de programação é a compreensão e o domínio dos comandos por trás das funções dos aparelhos como os computadores.

Dessa forma, é possível alterar as sequências que são processadas pelas máquinas. Para se adquirir esse conhecimento é preciso compreender uma linguagem específica e, a partir dela, criar e editar fórmulas.

Parece complicado? Pois se trata da linguagem do futuro, já que o uso da tecnologia é parte das nossas vidas e seu conhecimento técnico é cada vez mais valorizado no mercado de trabalho.

Neste post, vamos mostrar o que é a lógica da programação e como ela pode ser usada no cotidiano para trazer mais facilidades e aprendizado. Continue a leitura e confira.

O que é a lógica de programação?

Como vimos, as máquinas funcionam a partir de sequências lógicas. Elas são chamadas de algorítimos, os quais são convertidos em programas pelo computador ou realizam alguma tarefa. Isso exige uma grande capacidade analítica, para criar soluções acertadas.

Nesse sentido, compreendemos que a linguagem de computação é como o "idioma das máquinas". Assim, a lógica de programação é o domínio desses códigos aliado à capacidade de operacionalizá-los para o uso prático.

Dessa forma, dominar esse conhecimento permite explorar o potencial da tecnologia e fazer com que ela se torne um instrumento para melhorar o dia a dia.

Trata-se de uma habilidade do mundo moderno, que é necessária para compreender melhor o funcionamento da tecnologia e usá-la como ferramenta.

Além disso, é importante aprender programação, já que essa é uma característica muito valorizada no mercado de trabalho, o que representa grandes oportunidades profissionais.

Como a lógica de programação pode ser usada no dia a dia?

A lógica de programação traz muitos benefícios e está mais presente no cotidiano do que você imagina. Veja algumas das vantagens que esse conhecimento pode representar para a rotina.

Trazer melhorias para a organização

A lógica computacional é muito exata, o que exige organização para que se consiga programar um comando corretamente. Assim, as pessoas que aprendem a raciocinar a partir da linguagem de programação tendem a ficar mais organizadas em sua rotina.

Os benefícios são percebidos em diversas atividades, como o bom aproveitamento do tempo de estudos. O pensamento também se torna mais estruturado e prático.

Apesar de a linguagem ser mais voltada para o raciocínio lógico, presente nas matérias como matemática e física, essa habilidade de planejamento beneficia muito a escrita, que também precisa seguir uma estrutura coerente.

Além disso, com um bom domínio da tecnologia é possível usar seus recursos para facilitar as atividades cotidianas e economizar tempo com coisas que podem ser feitas eletronicamente.

Contribuir para resolver problemas

A tecnologia é uma grande aliada para melhorar a vida das pessoas e resolver problemas. Quando se domina a lógica de programação, é possível perceber as necessidades e encontrar soluções.

A partir dessa observação dos problemas que as pessoas enfrentam é que surgem os recursos como aplicativos e softwares, que podem ser incorporados ao cotidiano.

Ao aprender sobre esse uso técnico dos recursos digitais, se adquire a habilidade de dividir um problema em partes e, com isso, se aproximar da sua solução. Assim, se aprimora o senso prático.

Da mesma forma, a criatividade é favorecida, o que ajuda na descoberta de maneiras de resolver um impasse com eficácia e objetividade.

Incentivar o aprendizado

Assim como a lógica de programação pode ajudar na criação de tecnologias que melhoram a rotina das pessoas, ela também permite desenvolver ferramentas que beneficiam o aprendizado.

Isso pode acontecer de várias maneiras, como plataformas interativas, aplicativos de ensino ou por jogos. Ainda, os estudantes podem criar recursos e compartilhá-los entre colegas, para que todos aprendam mais.

Dessa forma, além de tornar os estudos mais dinâmicos, facilitar o aprendizado de diversas matérias e fazer com que esse momento seja mais divertido, essa prática ainda estimula o protagonismo e a autonomia do aluno.

Nesse sentido, ele percebe que suas contribuições são importantes e que ele também tem o potencial de ser um sujeito ativo no próprio aprendizado, o que ajuda no desenvolvimento dos colegas e melhora as relações escolares.

Aprimorar o raciocínio lógico

Ao aprender a linguagem da programação, são desenvolvidos os raciocínios lógico e analítico, que são exercitados o tempo todo. É preciso pensar de forma estruturada e estabelecer relações para executar os comandos corretos.

O estímulo desse tipo de pensamento melhora o aprendizado e é outro aspecto que contribui com a resolução de problemas, para avaliar as situações mais criticamente e encontrar respostas.

Além disso, um bom raciocínio lógico traz mais facilidade para compreender leituras complexas e transformar os conhecimentos em habilidades.

Avaliações importantes, como o Exame Nacional do Ensino Médio (Enem) trazem questões que envolvem a capacidade de fazer análises a partir da lógica, pois isso é considerado essencial.

Melhorar a segurança digital

A tecnologia tem muitas vantagens, mas seu uso também oferece alguns riscos quando não se compreende bem o funcionamento dos sistemas. Ao aprender sobre como eles são programados é possível garantir a segurança nesse meio.

Com isso, há maior proteção dos dados, além de evitar problemas nos softwares dos aparelhos causados pelo seu uso inadequado. Como vimos anteriormente, conhecer a programação permite o melhor aproveitamento possível dos recursos digitais.

Uma boa educação digital é interessante para tornar o tempo de interação com as tecnologias mais produtivo, pois se aprende a fazer isso de maneira construtiva, para trocar conhecimentos e elaborar soluções.

Para o futuro profissional compreender as práticas para a segurança digital também é indispensável. Afinal, ao se trabalhar com dados de uma empresa é importante conseguir fazer isso de forma segura e consciente.

Dessa maneira, é muito benéfico conhecer mais sobre a lógica de programação e trazê-la para a sua rotina. Ela pode, inclusive, fazer parte da educação dos seus filhos, incentivada pela instituição de ensino. Para isso, você pode contar com a Happy Code, a maior escola de tecnologia e inovação do Brasil.

Nossa metodologia é voltada para o desenvolvimento das habilidades do século 21, com opções para diversos perfis. Entre em contato conosco e saiba mais.

# data[].attributes.attachment_link.title
Lógica de Programação: o que é e como usar no dia a dia

# data[].attributes.attachment_link.description
As tecnologias como conhecemos contam com complexos sistemas que garantem seu funcionamento. A lógica de programação é a compreensão e o domínio dos comandos por trás das funções dos aparelhos como os computadores. Dessa forma, é possível alterar as sequências que são processadas pelas máquinas.

# data[].attributes.headline
Como a Lógica está presente no dia-a-dia

# data[].attributes.subject
Como a Lógica está presente no dia-a-dia