# data[].attributes.headline
O que é lógica computacional?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.A lógica formal estuda como provar 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.Ambas estão ligadas ao pensamento computacional, que, por sua vez, não necessariamente está associado a contextos puramente tecnológicos. Essa estratégia tem como objetivo preparar alguém para resolver um problema, independentemente do seu escopo.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.A etapa do algoritmo é fortemente baseada na lógica, de forma ainda mais prática que as outras. Nesse momento, é preciso organizar uma série de passos interconectados por estruturas de controle, como as cláusulas “se-então”.Por exemplo, “se acontecer X, então farei Y”. Nesse caso, existe uma estrutura condicional que indica que Y só será efetuado se X ocorrer.Outra estrutura comum é a de repetição. Consiste em um controle do fluxo para garantir que uma instrução se repita em um loop até que uma condição seja atendida. Por exemplo, “tentar fazer X até que Y ocorra e permita seguir adiante no algoritmo”.É possível formalizar essas estruturas e processos de uma forma que o computador compreenda. Assim, o sistema é capaz de seguir os passos e chegar a uma solução.

# data[].attributes.subject
O que é lógica computacional?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.A lógica formal estuda como provar 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.Ambas estão ligadas ao pensamento computacional, que, por sua vez, não necessariamente está associado a contextos puramente tecnológicos. Essa estratégia tem como objetivo preparar alguém para resolver um problema, independentemente do seu escopo.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.A etapa do algoritmo é fortemente baseada na lógica, de forma ainda mais prática que as outras. Nesse momento, é preciso organizar uma série de passos interconectados por estruturas de controle, como as cláusulas “se-então”.Por exemplo, “se acontecer X, então farei Y”. Nesse caso, existe uma estrutura condicional que indica que Y só será efetuado se X ocorrer.Outra estrutura comum é a de repetição. Consiste em um controle do fluxo para garantir que uma instrução se repita em um loop até que uma condição seja atendida. Por exemplo, “tentar fazer X até que Y ocorra e permita seguir adiante no algoritmo”.É possível formalizar essas estruturas e processos de uma forma que o computador compreenda. Assim, o sistema é capaz de seguir os passos e chegar a uma solução.

# data[].attributes.headline
PERÍODO ARISTOTÉLICO (± 390 a.C. a ± 1840 d.C.)A história da Lógica tem início com o filósofo grego ARISTÓTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macedônia. Aristóteles criou a ciência da Lógica cuja essência era a teoria do silogismo (certa forma de argumento válido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Ciência.Na Grécia, distinguiram-se duas grandes escolas de Lógica, a PERIPATÉTICA (que derivava de Aristóteles) e a ESTÓICA fundada por Zenão (326-264a.C.). A escola ESTÓICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGÁRIA (fundada por Euclides, um seguidor de Sócrates). Segundo Kneale e Kneale (O Desenvolvimento da Lógica), houve durante muitos anos uma certa rivalidade entre os Peripatéticos e os Megários e que isto talvez tenha prejudicado o desenvolvimento da lógica, embora na verdade as teorias destas escolas fossem complementares.GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX .

# data[].attributes.subject
PERÍODO ARISTOTÉLICO (± 390 a.C. a ± 1840 d.C.)A história da Lógica tem início com o filósofo grego ARISTÓTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macedônia. Aristóteles criou a ciência da Lógica cuja essência era a teoria do silogismo (certa forma de argumento válido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Ciência.Na Grécia, distinguiram-se duas grandes escolas de Lógica, a PERIPATÉTICA (que derivava de Aristóteles) e a ESTÓICA fundada por Zenão (326-264a.C.). A escola ESTÓICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGÁRIA (fundada por Euclides, um seguidor de Sócrates). Segundo Kneale e Kneale (O Desenvolvimento da Lógica), houve durante muitos anos uma certa rivalidade entre os Peripatéticos e os Megários e que isto talvez tenha prejudicado o desenvolvimento da lógica, embora na verdade as teorias destas escolas fossem complementares.GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX .

# data[].attributes.headline
· PERÍODO BOOLEANO :(± 1840 a ± 1910)Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu.GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana.

# data[].attributes.subject
· PERÍODO BOOLEANO :(± 1840 a ± 1910)Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu.GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana.

# data[].attributes.body
· PERÍODO BOOLEANO :(± 1840 a ± 1910)

Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.

# data[].attributes.headline
GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu.

# data[].attributes.subject
GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu.

# data[].attributes.headline
GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana.

# data[].attributes.subject
GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana.