Nessa aula, introduziremos alguns conceitos de lógica, vocês terão o primeiro contato com o raciocínio lógico, voltado para a Tecnologia da Informação.
Para o programa desta aula, seguiremos os seguintes passos (em duplas, na sala de informática):
- Primeiro, vocês elaborarão um conceito básico de lógica. (O que vocês entendem por essa palavra? Você já ouviu falar de lógica matemática dentro da área de informática? O que a matemática pode ter em comum com a informática?)
- Depois desses questionamentos, vocês deverão abrir uma nova aba no navegador e realizar uma pesquisa na internet sobre lógica matemática, tentando responder às perguntas feitas acima. Faça uma pesquisa ampla, abra diversos sites, busque respostas objetivas. Conforme for encontrando resultados interessantes, copie-os e cole-os no editor de texto, não se esquecendo de anotar também o endereço do site que vocês tiraram estas informações.
- Depois deste apanhado de ideias, vocês elaborarão um comentário, que será feito neste post, contendo as respostas das seguintes perguntas:
- O que é lógica matemática?
- Quando ela surgiu?
- Qual a sua relação com a informática?
- Qual a importância da lógica matemática?
- Ao final do comentário, não se esqueça de colocar o nome da dupla e o endereço eletrônico da fonte de suas pesquisas. Vejam um exemplo:
________________________________________________________________
Ao pesquisar sobre o assunto lógica proposicional, foi possível concluir que (....)
(....)
Dupla: Fulano e Sicrano
Fontes de pesquisa:
www.algumacoisa.com.br
www.suapesquisa.com.br
www.reinventandooensinomedio.com.br
__________________________________________________________________
MÃOS À OBRA!
4-A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado que permite diferenciar linguagem cotidiana e linguagem formalizada. Desde o período da Grécia Antiga, a matemática era considerada uma ciência baseada no intuito intelectual de verdades absolutas, existentes em si e por si mesmas, não dependendo de nenhuma interferência humana.
ResponderExcluir5-A partir do XVII passou-se a considerar a matemática uma ciência que resulta de uma construção intelectual, uma invenção do espírito humano.
6-A aprendizagem da lógica faz com que o pensamento proceda corretamente com o objetivo de obter conhecimentos verdadeiros.
7-O raciocínio lógico-matemático é fundamental para todas as áreas da evolução do indivíduo.
Dupla: Leonardo Fujita e Paloma Carvalho. 2° A.
A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado que permite diferenciar linguagem cotidiana e linguagem formalizada. A linguagem formal nada tem a ver com a linguagem cotidiana, pois se trata de uma linguagem inteiramente construída por ela mesma, baseada no modelo da matemática.
ResponderExcluirEmbora as datas sejam incertas, especialmente no caso da Índia, é possível que a lógica tenha emergido nos três países por volta do século IV a.C. A lógica moderna descende da tradição grega, mas também há influências de filósofos islâmicos e de lógicos europeus da era medieval que tiveram contato com a lógica aristotélica.]
A informática necessita da logica que tem papel fundamental e vital para o seu correto funcionamento.
A lógica é importante porque é algo que facilita diversas áreas do conhecimento pois todos os seres humano são lógicos e racionais
Dupla:Matheus Castilho e Diovani
1- Nos achamos que a matemática é fundamental para a informática ,pois sem os números binários as letras não apareceriam .A matemática por ser algo desafiador acaba sendo prazeroso para aqueles que fazem seu estudo .E apesar de não percebamos a Matemática e o ponto fundamental no mundo em que vivemos. Matemática se tornou uma das principais ferramentas nos dias de hoje para auxiliar o pensamento humano e assim os computadores, já que sem um humano os computadores nada seriam. Desenvolvem-se nos dois sentidos as relações Matemática e Informática. A Matemática tem dado contribuições decisivas para o surgimento e incessante aperfeiçoamento tanto dos computadores como das Ciências da Computação. Porem a Matemática, como uma ciência dinâmica que esta sempre em constante evolução, também acaba fortemente influenciada pela informática.
ResponderExcluir2- A Informática no Ensino da Matemática
As novas tecnologias surgiram da necessidade do homem de tornar o mundo mais dinâmico e eficiente, a área da informática tem se desenvolvido de forma acelerada, a disputa tecnológica tem se tornado o principal objetivo das grandes nações. De certo modo, todos são atingidos pelas constantes mudanças ocorridas no mundo moderno.
No papel de educadores, devemos tomar conhecimento da importância da introdução da Informática nos conteúdos programáticos relacionados à Educação Infantil, Ensino Fundamental e Ensino Médio, de acordo com a área de abrangência. Nos assuntos relacionados à Matemática, a Informática possui uma estreita relação com os cálculos. Desde a Antiguidade o homem já utilizava de recursos para registrar suas descobertas, ele desenhava nas paredes das cavernas, registrava situações em ossos, relacionava objetos a pedras na efetivação de cálculos.
A notória evolução da Informática possui um elo com a Matemática, os códigos binários apresentados pelo matemático indiano Pingala (sec. III a.C.) e desenvolvidos, no século XVIII, por Gottfried Leibniz, se tornaram essenciais para o desenvolvimento dos aparelhos eletrônicos.
Atualmente a informática se tornou um objeto essencial para quem busca espaço na sociedade moderna em que vivemos. É evidente a introdução de computadores nas instituições de ensino, os alunos, desde os estudos iniciais, devem manter contato com as máquinas computadorizadas, tanto no âmbito do entretenimento quanto no desenvolvimento de atividades; desde que as ações pedagógicas estejam relacionadas a situações de experimento, interpretação, indução, visualização,demostração e generalização.
A forma de integração entre Informática e Matemática possui inúmeras vertentes, ficando a critério do profissional da educação escolher qual delas irá seguir, mas uma boa opinião engloba os softwares matemáticos e os jogos computacionais que envolvem situações matemáticas concretas. Os jogos computadorizados são elaborados para o entretenimento dos alunos e com isso prender sua atenção, o que contribui no aprendizado de conceitos, conteúdos e habilidades, pois estimulam a autoaprendizagem, a descoberta, provoca a curiosidade, agrupando a fantasia e o desafio.
3.4-Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica.
Nome: Gabriel Henrique e Breno Henrique 2A
Este comentário foi removido pelo autor.
Excluir5- Em 1956, o cientista da computação alemão Karl put publicou em um jornal um periódico chamado Informatik: Automatische Informationsverarbeitung ("Informática: processamento automático de informação"),2 a palavra se estabeleceu como o termo alemão para a ciência da computação, uma disciplina progenitora para o campo mais vasto da informática.
Excluir6-A relação com amigos, familiares como exemplo de redes sociais ”Skype,Facebook”, também são usados como trabalho e vendas de produtos.
7-A lógica matemática é uma disciplina relacionada a lógica e a matemática, consiste no estudo matemático da lógica e na aplicação deste estudo a outras áreas da matemática. A lógica matemática guarda estritas conexões com a ciência da computação. Foi também chamada de lógica simbólica.
Fontes de site:
http://br.answers.yahoo.com/question/index?qid=20110817143213AA7xuGe
http://pt.wikipedia.org/wiki/Inform%C3%A1tica
https://www.google.com.br/search?client=ubuntu&channel=fs&q=google&ie=utf-8&oe=utf-8&gfe_rd=ctrl&ei=A2jzUv6PJsiU8Qe34IGQAQ&gws_rd=cr#channel=fs&q=O+que+%C3%A9+l%C3%B3gica+matem%C3%A1tica%3F
Nomes: Breno Henrique e Gabriel Henrique 2A
1-Logica tem haver com coisas exatas. Entendo que na matemática,informática e outras aréas essa palavra “lógica” está relacionada a algo exato,a números.A informática tem raízes na matemática.Nunca ouvi falar de lógica matemática dentro da informática.
ResponderExcluir2-Pode se dizer que com o surgimento da matemática foi meio caminho andado pro surgimento da informática as raízes da informática e muito intensa mais pouco conhecida pelas pessoas.
O computador tornou possível a realização de experiências, testando conjecturas que envolvem grande quantidade de cálculos. Na verdade, a experimentação de casos particulares como estratégia de descoberta tem grande tradição na Matemática. Por exemplo, Isaac Newton, Karl Gauss e Srinivasa Ramanujam são três matemáticos que se notabilizaram pela sua prática de experimentação de casos especiais, procurando estabelecer proposições gerais a partir de exemplos. O computador vem dar um novo estímulo a este tipo de abordagem à investigação matemática (Stewart, 1995; Ulam, 1974).
Outra estratégia proporcionada pelo computador é a de decompor um problema num grande número de casos especiais, usando-o depois para verificar, um a um, esses casos todos. Um número tão grande de casos seria impossível de verificar pelos processos tradicionais, mas está perfeitamente ao alcance do computador.
4-Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica.Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
ResponderExcluirA lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês Association for Computing Machinery, lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior.
A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado que permite diferenciar linguagem cotidiana e linguagem formalizada. A linguagem formal nada tem a ver com a linguagem cotidiana, pois se trata de uma linguagem inteiramente construída por ela mesma, baseada no modelo da matemática.
5-As origens da matemática perdem-se no tempo. Os mais antigos registos matemáticos de que se tem conhecimento datam de 2400 a.C. Progressivamente, o homem foi reflectindo acerca do que se sabia e do que se queria saber. Algumas tribos apenas conheciam o "um", "dois" e "muitos". Os seus problemas do quotidiano, como a contagem e a medida de comprimentos e de áreas, sugeriram a invenção de conceitos cada vez mais perfeitos. Os "Elementos" do grego Euclides (séc. IV a.C.) foram dos primeiros livros de matemática que apresentaram de forma sistemática a construção dos teoremas da geometria e foram utilizados no ensino em todo o mundo até ao século XVII. Mesmo a antiquíssima Astrologia proporcionou o desenvolvimento da matemática, ao exigir a construção de definições e o rigor no cálculo das posições dos astros.
1 - Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica.1 Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
ResponderExcluir2 -Desde seu surgimento matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século 19, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise.
3 -Em lógica o termo aritmético se refere à teoria dos números naturais. Giuseppe Peano (1889) publicou uma série de axiomas para serem usados pela aritmética que hoje carregam seu nome (Axiomas de Peano), usando variações do sistema logico de Boole e Schröder, porém adicionando quantificadores.
4 - Desde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século 19, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. Os resultados de Kurt Gödel, Gerhard Gentzen, e outros, desde resolução parcial do programa, e esclareceu as questões envolvidas em provar a consistência. O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos.
Dupla : Matheus Carvalho , Valéria Silva.
Turma : 2°A
Fonte : www.Wikipédia.com
6-As relações entre a Matemática e a Informática desenvolvem-se nos dois sentidos. A Matemática tem dado contributos decisivos para o surgimento e incessante aperfeiçoamento tanto dos computadores como das Ciências da Computação. Mas a Matemática, como ciência dinâmica e em constante evolução, está também a ser fortemente influenciada pela Informática, tanto no que respeita aos problemas que coloca como aos métodos que usa na sua investigação. Estas relações dão importantes indicações para a utilização dos instrumentos computacionais no processo de ensino-aprendizagem.
ResponderExcluir7-A lógica matemática, que é também conhecida por lógica formal proposicional, pode auxiliar no discurso da linguagem, assim como o discurso da linguagem pode auxiliar no desenvolvimento lógico-matemático. O raciocínio lógico-matemático auxilia na compreensão e coerência de textos, evitando assim os problemas de ambigüidade na interpretação, pois as línguas naturais são sistemas lógicos. Sendo assim, a importância desse trabalho está no intuito de adentrarmos no paralelo entre lógica matemática e semântica, buscando justificar a necessidade de incluirmos esse assunto nas disciplinas curriculares do ensino de Matemática.
A Lógica Matemática é definida tendo como princípios básicos: o princípio da “não contradição” e o princípio do “terceiro excluído”. O Princípio da “não contradição” diz que uma proposição não pode ser falsa e verdadeira simultaneamente. Por exemplo, a proposição “Maria é casada e é solteira” vai contra este princípio, pois ou ela é casada ou ela é solteira, não podendo possuir os dois estados civis. O Princípio do “terceiro excluído” quer dizer que toda proposição ou é verdadeira ou é falsa, não assumindo outro valor lógico, ou seja, toda proposição tem um, e só um valor lógico, ou a verdade (V) ou a falsidade (F).
http://www.artigonal.com/educacao-artigos/a-importancia-da-logica-matematica-e-a-semantica-auxiliando-na-aprendizagem-945029.html
www.brasilescola.com/sociologia/logica-matematica.htm
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://histinf-ludmilla-rafaella-3cgr.blogspot.com.br/2010/05/o-que-informatica-tem-em-comum-com.html
http://mathematicaemfoco.blogspot.com.br/2008/06/como-surgiu-matemtica.html
Nathália Oliveira e Daniel Silva 2° ano.
é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica.1 Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
ResponderExcluirA lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recurção e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês Association for Computing Machinery, lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior.
Desde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século 19, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. Os resultados de Kurt Gödel, Gerhard Gentzen, e outros, desde resolução parcial do programa, e esclareceu as questões envolvidas em provar a consistência. O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos. O trabalho contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais (como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática pode ser desenvolvida.
Grupo : Rafael e Luiz Felipe sz
- A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês Association for Computing Machinery, lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior.
ResponderExcluirDesde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século 19, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. Os resultados de Kurt Gödel, Gerhard Gentzen, e outros, desde resolução parcial do programa, e esclareceu as questões envolvidas em provar a consistência. O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos. O trabalho contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais (como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática pode ser desenvolvida.
3-Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica.1 Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
4-A logica matematica surgiu em meados do século XIX como um sub-ramo da Matemática e independente do estudo tradicional da (Ferreirós 2001, p. 443)(Ferreirós 2001, p. 443). Antes do seu surgimento independente, a lógica foi estudada com a retórica, através do silogismo e a filosofia. Na primeira metade do seculo XX houve uma explosão de resultados fundamentais, acompanhados por debates vigorosos sobre as bases da matemática.
ResponderExcluir5- As relações entre a matemática e a informática desenvolvem-se nos dois sentidos. A matemática tem dado contributos decisivos para o surgimento e incessante aperfeiçoamento tanto dos computadores como das ciências da computação. Mas a matemática, como ciência dinâmica e em contante evolução, está também a ser fortemente influenciada pela informática, tanto no que respeita aos problemas que coloca como aos métodos que usa na sua investigação. Estas relações dão importantes indicações para a utilização dos instrumentos computacionais no processo d ensino-aprendizagem.
6- Este trabalho apresentará a evolução e a importância da lógica aplicada às questões jurídicas, sem tentar exaurir o assunto, visto que o tema exige um estudo aprofundado das várias formas de utilização da lógica na tomada de decisões judiciais, bem como das várias teorias existentes. Ao decorrer do trabalho, será analisado o surgimento da lógica, sua evolução histórica e algumas das concepções filosóficas predominantes ao longo de seu desenvolvimento. Será dada maior ênfase aos pensadores contemporâneos como Chaïm Perelman, Robert Alexy e Luiz Recaséns Siches. O intuito do presente trabalho será demonstrar que a lógica poderá ser utilizada como arma eficaz na busca do ideal de justiça, fundamentando as decisões judiciais ou dando coerência às petições dos juristas, contribuindo assim, para uma melhor aplicação das normas presentes no ordenamento jurídico. Para um perfeito entendimento do tema proposto, faz-se necessária uma breve introdução ao surgimento da lógica em Aristóteles, seguida pela contribuição oferecida pelos Sofistas à retórica e à argumentação. Serão analisadas a lógica formal e a lógica dialética e sua utilização na seara do Direito, também serão abordadas às concepções filosóficas dos pensadores contemporâneos em busca da “melhor” lógica para o Direito.
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Yasmin Fleming e Laila Tatiane 2° ano
1-Lógica matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica. Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal.
ResponderExcluir2- A logica matemática surgiu em meados do século XIX como um sub-ramo da Matemática e independente do estudo tradicional. Antes do seu surgimento independente, a lógica foi estudada com a retórica, através do silogismo e a filosofia. Na primeira metade do seculo XX houve uma explosão de resultados fundamentais, acompanhados por debates vigorosos sobre as bases da matemática.
3-A noção de procedimento efetivo, que deu origem às primeiras "máquinas abstratas de computação efetiva" está intimamente ligada à noção de "dedução em um sistema formal (simbólico)", como concebido por Gottlo b frege, o mentor da Lógica Moderna, justamente porque esta última veio como a implementação do sonho do filósofo Leibniz (século XVII) de criar uma máquina de verificação da validade de argumentos.
Além do mais, o conceito de máquina de processamento simbólico e as noções de representação e manipulação simbólica, fundamentais para qualquer estudioso da ciência da computação, são estudados no curso de forma abstrata e bastante geral, independente da linguagem utilizada para a representação.
4-A Lógica é uma ciência que estimula o desenvolvimento do raciocínio, favorecendo o aprendizado contínuo, através de experiências proporcionadas a partir da interação entre as estrutura mentais e o meio. Ela é uma ferramenta extremamente importante para o desencadeamento do aprendizado que fundamenta com eficiência a construção do raciocínio e do conhecimento em todas as áreas da evolução do indivíduo. Assim, a capacidade mental é exercitada e os mecanismos cognitivos ativados. Por isso, em função dos inúmeros benefícios promovidos, a Lógica tem sido muito utilizada por professores no processo de ensino-aprendizagem nas mais variadas disciplinas, uma vez que os resultados obtidos são extremamente consideráveis, pois a aprendizagem é estruturada na ordenação do pensamento.
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Historicamente, logica surgiu com o filosofo grego Aristoteles (384-322 A.C.), que fundou a disciplina de logica como um sistema de princıpios nos quais todo o resto do conhecimento se apoia.De acordo com Aristoteles, uma argumentacao consiste de uma sequencia finita de sentencas, chamadas premissasuntamente com uma certa sentenca chamada conclusao que segue das premissas A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado que permite diferenciar linguagem cotidiana e linguagem formalizada. A linguagem formal nada tem a ver com a linguagem cotidiana, pois se trata de uma linguagem inteiramente construída por ela mesma, baseada no modelo da matemática.
ResponderExcluirDesde o período da Grécia Antiga, a matemática era considerada uma ciência baseada no intuito intelectual de verdades absolutas, existentes em si e por si mesmas, não dependendo de nenhuma interferência humana.
As figuras geométricas, os axiomas, os números, as operações algébricas, as operações aritméticas e os símbolos eram considerados verdades absolutas necessárias, universais, que existiriam com ou sem os homens e que permaneceriam existindo mesmo se os seres humanos desaparecessem. Porém, a partir do XVII passou-se a considerar a matemática uma ciência que resulta de uma construção intelectual, uma invenção do espírito humano.
Os entes matemáticos são puras idealidades construídas pelo pensamento ou pelo intelecto, que formula um conjunto rigoroso de regras, princípios, normas e operações para a criação de números, figuras, cálculos, símbolos, etc. Concluído que a matemática é uma ciência de formas e cálculos puros, organizados numa linguagem simbólica perfeita, na qual cada signo é um algoritmo, isto é, um símbolo com um único sentido.
Fonte: Brasil cultura
Perguntas
1-O que é logica matematica?
2-Quando ela surgiu?
3-Qual sua relaçao com a informatica?
4-Qual a importancia da logica matematica?
Respostas
1-Lógica Matemática é uma sub-área da matematica que explora as aplicações da lógica formal para a matemática.
2- A Logica Matematica surgiu em 384-322 A.C. Pelo filosofo grego Aristoteles.
3-Pela Logica Matematica podem se desenvolver novos softwares, e ate mesmo circuitos onde se pode melhor o desempenho das maquinas, como a diminuição do hardware e menor gasto de energia
4-O raciocinio lógico é importante pois a matemática é uma ciência que relaciona o entendimento coerente e pensativo com situações práticas habituais. Ela compreende uma constante busca pela veracidade dos fatos através de técnicas precisas e exatas.
NOMES: Lucas Freitas, Bryan Ambrosio
Este comentário foi removido pelo autor.
ResponderExcluir3) 4- - Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica.1 Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês Association for Computing Machinery, lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior.
ResponderExcluirDesde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século 19, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. O trabalho contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais (como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática pode ser desenvolvida.
3) 5 - A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições. Apesar de muitas culturas terem usado complicados sistemas de raciocínio, somente na China, Índia e Grécia os métodos de raciocínio tiveram um desenvolvimento sustentável. Embora as datas sejam incertas, especialmente no caso da Índia, é possível que a lógica tenha emergido nos três países por volta do século IV a.C.
3) 6 - As relações entre a Matemática e a Informática desenvolvem-se nos dois sentidos. A Matemática tem dado contributos decisivos para o surgimento e incessante aperfeiçoamento tanto dos computadores como das Ciências da Computação. . Estas relações dão importantes indicações para a utilização dos instrumentos computacionais no processo de ensino-aprendizagem.
3) 7 -A lógica matemática é uma disciplina relacionada a lógica e a matemática, consiste no estudo matemático da lógica e na aplicação deste estudo a outras áreas da matemática. A lógica matemática guarda estritas conexões com a ciência da computação. Foi também chamada de lógica simbólica.
Tudo se resume no facto de que a matematica esta presente em tudo quanto é ciência e não só, é claro que ciências da computação não são a excepção, aqui também aplicaras a matematica para resolver os mais variados execícios, problemas, algoritmos de programas, enfim o que possa surgir...que seja necessario aplicar a lógica e a matématica...
Dupla: Shilley Gabrielle e Thalita Alves
Fontes de Pesquisa:
http://br.answers.yahoo.com/question/index?qid=20110817143213AA7xuGe
http://pt.wikipedia.org/wiki/Hist%C3%B3ria_da_l%C3%B3gica
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Pesquisando sobre a ''lógica proposicional'', concluímos que:
ResponderExcluirO que é lógica matemática?
Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática.
Quando ela surgiu?
A lógica, como disciplina intelectual, foi criada no século IV a. C por Aristóteles.
Qual a sua relação com a informática?
A Matemática tem dado contributos decisivos para o surgimento e incessante aperfeiçoamento tanto dos computadores como das Ciência da Computação. Mas a Matemática, como ciência dinâmica e em constantemente evolução, esta também a ser fortemente influenciada pela Informática, tanto no que respeito aos problemas que coloca como aos métodos que usa a sua investigação
Qual a importância da lógica matemática?
A lógica formal surge com Aristóteles. Como indica o termo grego Órganon, nome dado ao conjunto dos escritos lógicos de Aristóteles, a lógica é um instrumento do pensamento para pensarmos corretamente. A Lógica não se refere a nenhum ser, a nenhuma coisa, ou a algum objeto em particular, nem a nenhum conteúdo, mas à forma do pensamento.
- Arthur e Ryan -
2° A
1. R: É o estudo Filosófico do raciocínio válido. Não, nunca tinha ouvido falar. Tudo em comum, porque a tecnologia da informação é movida a números binários e etc.
ResponderExcluir4. R: Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, lógica matemática tem ligações fortes com metamatemática, os fundamentos da matemática e ciência da computação teórica. …
5. R: Este estudo foi iniciado no final do século 19
6. R: Tudo se resume no facto de que a matemática esta presente em tudo quanto é ciência e não só, é claro que ciências da computação não são a excepção, aqui também aplicaras a matematica para resolver os mais variados execícios, problemas, algoritmos de programas, enfim o que possa surgir...que seja necessario aplicar a lógica e a matemática...
7. R: A lógica matemática, que é também conhecida por lógica formal proposicional, pode auxiliar no discurso da linguagem, assim como o discurso da linguagem pode auxiliar no desenvolvimento lógico-matemático. O raciocínio lógico-matemático auxilia na compreensão e coerência de textos, evitando assim os problemas de ambigüidade na interpretação, pois as línguas naturais são sistemas lógicos. Sendo assim, a importância desse trabalho está no intuito de adentrarmos no paralelo entre lógica matemática e semântica, buscando justificar a necessidade de incluirmos esse assunto nas disciplinas curriculares do ensino de Matemática.
Trio : Lorrayne, Luciene, Esthéfani
Fontes :
--http://mathematicaemfoco.blogspot.com.br/2008/06/como-surgiu-matemtica.html
-- http://br.answers.yahoo.com/question/index?qid=20110817143213AA7xuGe
-- http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica