E-BOOK Lógica - Uma Abordagem Introdutória (envio por e-mail)
PRODUTO DIGITAL PARA DOWNLOAD. RECEBERÁ O LINK E AS INSTRUÇÕES VIA E-MAIL EM ATÉ 2 DIAS ÚTEIS APÓS A CONFIRMAÇÃO DA COMPRA.
NÃO REALIZAMOS DEVOLUÇÕES DESTE PRODUTO.
ANTES DE COMPRAR VERIFIQUE SE SEU PC OU DISPOSITIVO ESTÁ APTO À BAIXAR O ARQUIVO. VEJA MAIS EM INFORMAÇÕES ABAIXO.
*CASO TENHA ESCOLHIDO JUNTO AO E-BOOK UM PRODUTO FÍSICO, O MESMO APARECERÁ NO CARRINHO COM O PRAZO DE ENTREGA E O CUSTO DO FRETE
NESTE CASO, A OPÇÃO ENVIO POR EMAIL DESAPARECERÁ , POREM NÃO SE PREOCUPE, POIS SEU E-BOOK SERÁ ENVIADO EM ATÉ 2 DIAS ÚTEIS PARA O SEU EMAIL .
Quem viu este produto , comprou
-
Soluções detalhadas dos exercícios de um assunto como teoria dos números é raramente encontrado em um livro, e é de grande procura por estudantes e demais interessados em matemática. Este livro mostra como problemas básicos de teoria dos números devem ser resolvidos, como podem ser criados mais exercícios e questões nesta área da matemática, que trata do estudo de números e suas aplicações. Assim, este material contribui para o aprendizado no ramo da matemática que parece difícil e não acessível para muitos estudantes. ... Ler mais +
QUERO VER -
"Estatística Aplicada à Educação com Abordagem além da Análise Descritiva" não pressupõe conhecimentos anteriores do assunto, pois foi escrito para quem se inicia no aprendizado dessa matéria.
QUERO VER
Este livro enfatiza a relação das técnicas estatísticas com a educação, com análises descritivas e também com a introdução de técnicas inferenciais, o que diferencia dos livros-texto de estatística educacional, que tem foco basicamente em estatística descritiva. Decorre que é uma obra que serve tanto aos graduandos quanto aos pós-graduandos de áreas educacionais. ... Ler mais + -
Investigação Histórica no Ensino da Matemática
O principal eixo norteador das discussões presentes neste livro é a relação entre a História da Matemática, a cognição matemática e a aprendizagem matemática. Seu autor amplia o foco de discussão e faz a proposição de abordagens pedagógicas da Matemática apoiadas na História, considerando algumas já discutidas em outros trabalhos de sua autoria, publicados anteriormente. Nesse sentido, faz uma discussão centrada nos aspectos epistemológicos relacionados ao uso do desenvolvimento histórico da Matemática como uma possibilidade didática de exploração dos textos históricos no seu ensino. ... Ler mais +
QUERO VER -
Como Visualizar e Resolver Limites - 100 exercícios detalhadamente explicados
“Como Visualizar e Resolver Limites” é diferente de outros livros de Cálculo Diferencial e Integral porque, em cada exercício resolvido, há uma conversa simples e direta com o leitor. O presente livro mostra como visualizar graficamente limites e descreve o passo a passo de todas as etapas envolvidas na resolução de limites, tanto os que podem ser feitos de “modo direto” quanto os que necessitam de “manipulações matemáticas”.
QUERO VER
Além da linguagem utilizada, da apresentação didática e da grande quantidade de exercícios resolvidos (100 exemplos detalhadamente explicados), outro diferencial deste livro é o modo de abordar o conteúdo, com ilustrações claras e de fácil interpretação. ... Ler mais + -
O livro tem como objetivo principal possibilitar ao leitor o domínio dos conceitos fundamentais da estatística básica. Aborda-se o uso da estatística descritiva e inferencial para uma amostra, para a realização de cálculos estatísticos aplicados, possibilitando interpretar os resultados obtidos e aplicá-los no dia a dia, melhorando processos e produtos. Cada etapa é evidenciada com um exemplo prático e diversos exercícios que permitem ao leitor realizar as atividades por meio de orientações, fórmulas, tabelas, quadros, figuras e gráficos para o alcance do objetivo. Apresenta-se uma coletânea de pontos importantes do estudo estatístico relatados por diferentes autores e os direcionam para uma aplicação prática. ... Ler mais +
QUERO VER -
Neste livro, a teoria da probabilidade é estudada exclusivamente como se fora uma disciplina matemática, e a aquisição de resultados visando o aspecto científico ou de engenharia está fora de seu propósito. Todos os exemplos citados no texto têm por finalidade elucidar os princípios gerais da teoria e identificar a relação entre esses princípios e os problemas das ciências naturais. Ao mesmo tempo, é claro, esses exemplos indicam as áreas de aplicabilidade dos resultados teóricos gerais, bem como desenvolvem a habilidade do leitor em aplicar esses resultados a problemas concretos. Tal procedimento de estudo capacita o leitor a desenvolver uma intuição incisiva para a teoria da probabilidade que o habilita, em termos gerais, a antecipar um teórico resultado probabilístico, mesmo antes de se colocarem as técnicas analíticas em ação. Além do que, observa-se que a teoria da probabilidade não pode ser estudada — especialmente no início — sem uma sistemática de solução de problemas. ... Ler mais +
QUERO VER
Quem viu este produto , também se interessou
-
Desafios e Enigmas: Uma forma descontraída de colocar à prova seu raciocínio
Você consegue cortar uma torta em oito pedaços fazendo apenas três cortes? Você sabe qual número tem raiz quadrada maior do que ele mesmo? Você conhece alguém cujo avô é mais jovem que o pai? Essas são apenas algumas das questões que o deixarão intrigado nesta obra. Com o livro Desafios e Enigmas, você poderá testar e aprimorar sua inteligência por meio da interpretação e resolução de desafios, enigmas, charadas e testes de lógica. O livro está repleto de problemas interessantes, muitos deles ilustrados e apresentados de uma forma totalmente descontraída. ... Ler mais +
QUERO VER -
Cálculo Não É um Bicho-de-Sete-Cabeças - Volume 2 - Integrais e Aplicações
Neste livro o autor apresenta uma abordagem objetiva e direta dos principais conceitos de uma das disciplinas mais desafiantes ao estudante de cursos superiores de ciências exatas: o Cálculo. A obra foi concebida de forma a oferecer os princípios teóricos de forma sucinta, e logo priorizar sua aplicação pelo próprio estudante, por meio de exemplos resolvidos passo a passo e muitos exercícios em ordem crescente de dificuldade. Desta maneira, a obra preenche bem a necessidade de dar ao estudante a familiaridade com as principais operações nesse campo, habilitando-o a prosseguir e aprofundar o estudo do Cálculo e das aplicações técnicas na sua área de concentração. ... Ler mais +
QUERO VER -
Se você estiver preocupado com Estatística, ou só precisa de ajuda para analisar seus dados, o Guia Mangá de Estatística vai ajudá-lo a superar esse sentimento de "não ser bom em matemática". Este guia em quadrinhos vai colocá-lo no caminho certo para aprender Estatística em pouco tempo. E como nenhum livro de Matemática é completo sem eles, este guia contém também exercícios (e respostas) para que você possa praticar o que aprende. ... Ler mais +
QUERO VER -
Investigação Histórica no Ensino da Matemática
O principal eixo norteador das discussões presentes neste livro é a relação entre a História da Matemática, a cognição matemática e a aprendizagem matemática. Seu autor amplia o foco de discussão e faz a proposição de abordagens pedagógicas da Matemática apoiadas na História, considerando algumas já discutidas em outros trabalhos de sua autoria, publicados anteriormente. Nesse sentido, faz uma discussão centrada nos aspectos epistemológicos relacionados ao uso do desenvolvimento histórico da Matemática como uma possibilidade didática de exploração dos textos históricos no seu ensino. ... Ler mais +
QUERO VER -
Neste livro, a teoria da probabilidade é estudada exclusivamente como se fora uma disciplina matemática, e a aquisição de resultados visando o aspecto científico ou de engenharia está fora de seu propósito. Todos os exemplos citados no texto têm por finalidade elucidar os princípios gerais da teoria e identificar a relação entre esses princípios e os problemas das ciências naturais. Ao mesmo tempo, é claro, esses exemplos indicam as áreas de aplicabilidade dos resultados teóricos gerais, bem como desenvolvem a habilidade do leitor em aplicar esses resultados a problemas concretos. Tal procedimento de estudo capacita o leitor a desenvolver uma intuição incisiva para a teoria da probabilidade que o habilita, em termos gerais, a antecipar um teórico resultado probabilístico, mesmo antes de se colocarem as técnicas analíticas em ação. Além do que, observa-se que a teoria da probabilidade não pode ser estudada — especialmente no início — sem uma sistemática de solução de problemas. ... Ler mais +
QUERO VER -
Cálculo e Análise Vetoriais com Aplicações Práticas - Volume 3 Livreto de Anexos
É praticamente impossível conceber cursos na área de ciências exatas, como Engenharia, Automação Industrial, Física e Matemática, sem o suporte das matérias Cálculo Vetorial e Análise Vetorial, que empregam o formalismo vetorial. Apenas para que se possa melhor avaliar a importância desta “poderosa ferramenta matemática”, vale dizer que o trabalho de James Clerk Maxwell, publicado inicialmente em 1873, já predizia, teoricamente, a possibilidade de se produzir ondas eletromagnéticas. Entretanto, isto só foi concretizado em laboratório em 1888, por Heinrich Hertz. Provavelmente, o trabalho de Maxwell teria sido melhor compreendido se os conceitos vetoriais houvessem estado presentes no mesmo. No entanto, o que havia naquela época eram duas teorias muito complicadas: “Quaternions Theory” (Teoria dos Quaternions), devida a William Rowan Hamilton, e “Die Lineale Ausdehnungslehre” (Teoria das Extensões Lineares), de Hermann Günther Grassmann... ... Ler mais +
QUERO VER -
"Estatística Aplicada à Educação com Abordagem além da Análise Descritiva" não pressupõe conhecimentos anteriores do assunto, pois foi escrito para quem se inicia no aprendizado dessa matéria.
QUERO VER
Este livro enfatiza a relação das técnicas estatísticas com a educação, com análises descritivas e também com a introdução de técnicas inferenciais, o que diferencia dos livros-texto de estatística educacional, que tem foco basicamente em estatística descritiva. Decorre que é uma obra que serve tanto aos graduandos quanto aos pós-graduandos de áreas educacionais. ... Ler mais +
- DescriçãoE-BOOK Lógica - Uma Abordagem Introdutória (envio por e-mail)
*** ATENÇÃO ***
PRODUTO DIGITAL PARA DOWNLOAD. RECEBERÁ O LINK E AS INSTRUÇÕES VIA E-MAIL EM ATÉ 2 DIAS ÚTEIS APÓS A CONFIRMAÇÃO DA COMPRA.
NÃO REALIZAMOS DEVOLUÇÕES DESTE PRODUTO.
ANTES DE COMPRAR VERIFIQUE SE SEU PC OU DISPOSITIVO ESTÁ APTO À BAIXAR O ARQUIVO. VEJA MAIS EM INFORMAÇÕES ABAIXO.
*CASO TENHA ESCOLHIDO JUNTO AO E-BOOK UM PRODUTO FÍSICO, O MESMO APARECERÁ NO CARRINHO COM O PRAZO DE ENTREGA E O CUSTO DO FRETE
NESTE CASO, A OPÇÃO ENVIO POR EMAIL DESAPARECERÁ , POREM NÃO SE PREOCUPE, POIS SEU E-BOOK SERÁ ENVIADO EM ATÉ 2 DIAS ÚTEIS PARA O SEU EMAIL .
Descrição
O presente livro consiste em uma abordagem introdutória da Lógica como é desenvolvida atualmente. Sua leitura não exige qualquer conhecimento prévio do assunto. Sua proposta é discorrer sobre um conceito central da lógica, denominado “consequência lógica”. Esta tarefa é levada a termo através da apresentação dos dois Sistemas Lógicos mais importantes: a Lógica Sentencial e a Lógica de Predicados de Primeira Ordem. Estes assuntos são apresentados através de suas sintaxe, semântica e sistemas dedutivos. O texto contém variadas observações que visam esclarecer a importância desses sistemas. Contém variadas questões de Raciocínio Lógico, assim como aplicação dos conceitos e resultados desenvolvidos. - Sobre o Autor
- Especificação
Características
Tipo de Livro Livro Digital / E-book Especificações
Sobre o Autor Márcia da Silva Martins
Márcia da Silva Martins é professora do Instituto de Matemática e Estatística da Universidade Federal Fluminense desde 1985, atuando, especialmente, em Lógica para Matemática e Lógica para Ciência da Computação. É mestre em Matemática pela Universidade Federal Fluminense (1990). Foi professora conferencista do Instituto Militar de Engenharia, ministrando a disciplina Lógica tanto na graduação, quanto no nivelamento para o Mestrado em Engenharia da Computação. Trabalhou na Petrobras, ministrando cursos e oficinas de Lógica. Foi Coordenadora de Concursos do Comitê de Divulgação do Mercado de Capitais e integrou bancas de concursos na Fundação João Goulard. Foi chefe do Departamento de Lógica do Instituto de Lógica, Filosofia e Teoria da Ciência (1991-1993). É coordenadora do Jornal Dá Licença/Matemática/UFF, voltado à divulgação de assuntos relacionados ao ensino de Matemática, tendo publicado, desde 2002, vinte e sete edições do referido jornal. Implantou em 2010 a Biblioteca Dá Licença/Matemática/ UFF.Informações Técnicas INSTRUÇÕES PARA BAIXAR E-BOOKS DA EDITORA CIÊNCIA MODERNA
Preparando seu PC (Mac ou Windows) para baixar seu E-Book.
Antes de fazer a compra de seu E-Book, baixe e instale e autentique o Adobe Digital Editions em seu computador, através do link:
http://www.adobe.com/br/products/digitaleditions/.
Todas as instruções necessárias para download e instalação do Adobe Digital Editions, estão disponíveis em português através do link:
http://www.adobe.com/br/products/digitaleditions/help/#transfer_sony_reader.
NOTA: E-BOOKS NÃO SÃO COPIÁVEIS E TÃO POUCO IMPRESSOS
Para baixar e ler seus e-books em dispositivos Android, recomendamos baixar o DL Reader, sempre utilizando a sua ID e Senha Adobe utlizada para baixa o ADE para seu desktop.
https://play.google.com/store/apps/details?id=com.datalogics.dlreader&hl=pt-br
Para baixar seus ebooks para I Phone e IPad, utilizando sempre a sua ID e Senha Adobe., recomendamos utilizar o aplicativo Blue Fire.
https://itunes.apple.com/br/app/bluefire-reader/id394275498?mt=8
Não execute o link de seu e-book enquanto não estiver com os ícones dos aplicativos devidamente instalados e autenticados em seu desktop.
Sobre os Dispositivos de Leitura (e-Readers)
Nossos livros digitais (E-Books) podem ser baixados e abertos em todos os dispositivos de leitura, compatíveis com o Adobe Digital Editions. No mercado brasileiro, facilmente encontramos o Coo-ler da Gato Sabido e o Positivo Alfa. Uma lista complete poderá se encontrada no link:
http://blogs.adobe.com/digitalpublishing/supported-devices.
Transferência de Itens entre Computadores
Se você autorizou seu computador, o Adobe Digital Editions não "bloqueia" seus E-Books e outras publicações digitais desse computador – elas são atribuídas a você por meio de sua ID Adobe. Isso significa que você pode transferir itens da biblioteca para 6 (seis) computadores ou dispositivos móveis compatíveis (como um Sony® Reader).
Antes de poder transferir itens entre computadores, você deve autorizar os computadores com sua ID Adobe.
Observação: os marcadores não são copiados quando os itens são transferidos para outro computador.
Para transferir um item de biblioteca para outro computador autorizado:
1. No computador para o qual está transferindo, localize e abra a pasta My Digital Editions, que se encontra dentro da pasta Meus Documentos.
2. Selecione os arquivos EPUB ou PDF que correspondem aos títulos eBook que deseja transferir.
3. Copie os arquivos selecionados para uma mídia portátil como uma unidade flash, ou envie por e-mail para o computador de destino.
4. No computador de destino, copie os arquivos EPUB ou PDF para a pasta Meus Documentos\My Digital Editions.
5. Abra o Adobe Digital Editions no computador de destino. Selecione Biblioteca > Adicionar item, em seguida navegue para a pasta My Digital Editions e selecione os novos arquivos para colocar na biblioteca.
Sistema Necessário para a Versão Windows do Adobe Digital Editions
Processador: Intel® Pentium® de 500MHz (ou mais rápido)
Sistema operacional:
o Windows 7
o Windows Vista
o Windows XP SP2 (ou superior)
o Microsoft Windows 2000 com Service Pack 4
Memória: 128 MB de RAM (mínimo)
Navegador:
o Internet Explorer 6 (ou superior)
o Firefox 2 (ou superior)
Software adicional: Adobe Flash Player 7 (ou superior)*
* Windows 7 e Windows Vista necessitam utilizar o Flash 9.0.28 ou superior.
Sistema Necessário para a Versão Apple Mac do Adobe Digital Editions
Para Mac família Intel® (Mais recentes)
o Mac OS X v10.4.11 (Tiger) ou mais novo.
o 128MB de RAM
o Qualquer processador da família Intel® para Mac é suportado
o Navegador Safari 4 ou Mozilla Firefox 3
Para Mac família PowerPC (Mais antigos)
o Mac OS X v10.4.11 (Tiger) ou mais novo
o 128MB de RAM
o Processador PowerPC® G4 ou G5 de 500Mhz
o Navegador Safari 4 ou Mozilla Firefox 3
Informações Adicionais
Através do link Fale Conosco no rodapé do nosso site .
Sumário
Capítulo 1 - Lógica - 1
Algumas palavras iniciais - 1
Argumentos - 2
Validade de Argumentos - 4
Exercícios Propostos - 5
Relações entre premissas e conclusão - 5
Argumento Correto - 5
Argumento Dedutivo x Argumento Indutivo - 6
Falácia - 6
A Lógica na atualidade - 7
Lógica Clássica - 7
As Extensões da Lógica Clássica - 8
Desvios da Lógica Clássica: Lógicas Heterodoxas - 8
Capítulo 2 - Um Breve Histórico - 11
Algumas reflexões - 14
Capítulo 3 - Lógica Sentencial – Sintaxe - 17
Exercícios Propostos - 21
Algumas curiosidades sobre o uso dos conectivos nas línguas naturais - 22
Linguagem objeto e metalinguagem - 24
Uso e menção - 24
Sintaxe da LS - 24
Alfabeto da linguagem da Lógica Sentencial (LS) - 25
Regras de Formação das Fórmulas - 25
Omissão de parênteses nas fórmulas - 26
Subfórmulas de uma fórmula - 26
Tradução de Sentenças das linguagens naturais para a linguagem da LS - 27
Exercícios Propostos - 28
Argumentos da língua Portuguesa e sua Forma - 31
Exercícios Propostos - 32
Capítulo 4 - Semântica da Lógica Sentencial - 33
Dando significado à linguagem da LS - 33
Conectivos por Funções-de-verdade - 35
O valor-de-verdade I*(a) de uma fórmula a em uma interpretação I - 36
Tabela-de-verdade - 38
Classificação das fórmulas da LS - 39
Conjunto das Fórmulas da LS - 41
Conjunto Satisfazível - 42
Consequência Tautológica entre duas fórmulas - 43
Consequência Tautológica entre fórmula e conjunto de fórmulas - 45
Propriedades da relação de consequência tautológica - 46
Equivalência Tautológica - 46
Completude Funcional: Interdefinibilidade dos conectivos lógicos - 48
Outros conectivos - 49
Exercícios Propostos - 50
Capítulo 5 - Sistemas Dedutivos - 55
As noções de Prova, Teorema e Consequência Dedutiva - 55
Relação entre a semântica da LS e os Sistemas - 56
Dedutivos para a LS - 56
Teorema da Corretude da LS - 56
Teorema da Completude da LS - 56
Outras Propriedades de um Sistema Dedutivo SD - 57
Consistência - 57
Decidibilidade - 57
A utilidade das ferramentas fornecidas pelos Sistemas Dedutivos - 57
Sistema Axiomático - 58
Apresentação Axiomática - 58
Sistema Axiomático para a LS - 59
Linguagem - 59
Esquemas de Axiomas - 59
Regra de Inferência - 60
Prova - 60
Teorema - 60
Consequência Dedutiva no Sistema Axiomático para a LS - 62
Metateorema da Dedução - 63
Relação entre Consistência e Satisfazibilidade - 65
Exercícios Propostos - 65
Sistema de Dedução Natural para a LS - 66
Linguagem - 66
Regras de Inferências - 67
A noção de derivação de uma fórmula a partir de um conjunto de fórmulas - 68
As noções Teorema e Prova no Sistema de Dedução para a LS - 69
Exercício Proposto - 72
Exercício Resolvido - 72
Solução do problema via dedução natural: - 72
Sistema Dedutivo de Tableaux Semânticos para a Lógica Sentencial - 75
Linguagem - 75
Regras de Inferências - 75
Tableau associado a um conjunto de fórmulas - 76
Ramos de um Tableau - 77
Tableau Fechado - 77
Prova - 77
Teorema - 77
Sistema Refutacional - 78
Consequência Dedutiva no Sistema de Tableaux Semânticos - 78
Exercícios Propostos - 79
Sistema Dedutivo de Resolução para a LS - 80
Cláusula - 82
Representação de cláusulas na notação de conjunto - 82
Representação de fórmulas que estão na FNC na notação de conjunto - 82
Linguagem - 83
Regra de Inferência - 83
Expansão por resolução - 84
Prova - 85
Teorema - 85
Consequência Dedutiva no Sistema de Resolução - 85
Exercícios Propostos - 86
Exercícios de Revisão da LS - 87
Capítulo 6 - Raciocínio Lógico – LS - 93
Capítulo 7 - As Limitações da LS e a Necessidade de Ampliar o seu Arcabouço - 101
Quantificadores Universal e Existencial - 103
Capítulo 8 - Sintaxe da Lógica de Predicados de Primeira Ordem (LPPO) - 105
A Linguagem da LPPO - 105
Termos - 107
Fórmulas - 107
Expressões bem formadas da linguagem da LPPO - 108
Escopo de um quantificador - 108
Ocorrência livre ou ligada de uma variável - 109
Fórmula Aberta e Fórmula Fechada - 110
Substituição - 110
Variável Substituível por um termo em uma fórmula - 111
Tradução de expressões das Linguagens Naturais para a Linguagem da LPPO - 111
Exercícios Propostos - 114
Capítulo 9 - Semântica da LPPO - 119
Satisfazibilidade de uma fórmula em uma Estrutura - 120
Classificação das Fórmulas da LPPO - 121
Consequência Lógica (Consequência semântica) - 122
Equivalência lógica - 123
Exercícios Propostos - 123
Capítulo 10 - Sistema Dedutivo de Tableaux Semânticos para a LPPO - 129
Tableau associado a um conjunto de fórmulas - 130
Ramos de um Tableau - 131
Tableau Fechado - 131
Consequência Dedutiva no Sistema de Tableaux Semânticos - 132
O Sistema Dedutivo de Tableaux Semânticos para a LS é Correto e Completo - 133
Exercícios Propostos - 135
Capítulo 11 - Raciocínio Lógico – LPPO - 141
Bibliografia - 147Informações Técnicas
Nº de páginas: 168 Origem: Nacional Editora: Editora Ciência Moderna Idioma: Português Edição: 1ª Edição Ano: 2012 ISBN: 9788539902637 Encadernação: Digital Autor: Márcia da Silva Martins - Informações