Características

  • Subgêneros Computação

Descrição

Lógica para computação compreende os seguintes assuntos:
UNIDADE 01 - LÓGICA PROPOSICIONAL
1.1 Introdução .......................................................................
1.2 Primeiros passos ............................................................
1.3 Construção de sentenças11 ...........................................
1.4 Conectivos lógicos13 ......................................................
1.5 Sentenças atômicas e sentenças moleculares ..............
1.6 Reescrita de sentenças .................................................
1.7 Simbologia das sentenças .............................................
1.8 Função verdade .............................................................
1.9 Regras de avaliação das sentenças34 ...........................
1.10 Formalização conceitual ...............................................
1.11 Interpretações ...............................................................
1.12 As três leis do pensamento ...........................................
1.13 Regras de inferência ....................................................
1.14 Formas normais conjuntivas e disjuntivas ....................
1.15 Argumento válido .......................................................
1.16 Demonstração de validade de argumentos ..................
1.17 Construção de tableaux semânticos ............................
1.18 O caminho das pedras ..................................................
Resumo ...............................................................................
Exercícios ...........................................................................
Saiba Mais ..........................................................................
Referências na Web ...........................................................
UNIDADE 02 - A LÓGICA E OUTRAS TEORIAS
2.1Introdução ......................................................................
2.2O Cálculo Proposicional e a Teoria dos Conjuntos ........
2.3 Cálculo Proposicional e a Álgebra de Boole ..............................
2.4 O Principio da Indução Finita e a Lógica .................................
2.5 RESUMO ..................................................................................
Exercícios ......................................................................................
Saiba Mais .....................................................................................
Referências na Web .......................................................................
UNIDADE 03 - LÓGICA DE PREDICADOS
3.1 Breve histórico ..........................................................................
3.2 Primeiros passos ....................................................................
3.3 O cálculo de predicados de 1a ordem .....................................
3.4 Símbolos da linguagem ...........................................................
3.5 Proposições categóricos ........................................................
3.7 Árvores de refutação ou tableaux semânticos ........................
3.8 Consequência lógica em Tableaux semânticos .......................
3.9 Forma prenex ..........................................................................
3.10 Skolemização ........................................................................
RESUMO .......................................................................................
Exercícios ......................................................................................
Saiba Mais ....................................................................................
Referências na Web .......................................................................
Referências Bibliográficas ..............................................

Perguntas e respostas

Qual informação você precisa?

Custo e prazo de envio Meios de pagamento Garantia Devoluções grátis

Está com dúvidas?

Estes atalhos ajudarão você a encontrar o que busca.

Há estoque disponível

Ou pergunte ao vendedor

Há estoque disponível

Você pode comprar agora mesmo!

Últimas perguntas

  • É colorido? Tem como vc colocar uma imagem de uma pagina do arquivo, para eu ver a qualidade?

    Denunciar
  • É o livro ou o PDF? É colorido?

    Denunciar

    É em PDF, em que cada tópico acompanha exércicios para facilitar a compreensão do assunto.

    Denunciar
Novo

Apostila Lógica Para Computação

R$ 15

Estoque disponível

Devolução grátis

Você tem 30 dias a partir do recebimento

Saiba mais

Compra Garantida, receba o produto que está esperando ou devolvemos o dinheiro.

Você ganha 5 Mercado Pontos.

Informações sobre o vendedor

Localização

Teresina, Piauí

  1. Vermelho
  2. Laranja
  3. Amarelo
  4. Verde claro
  5. Verde

Este vendedor ainda não tem vendas suficientes para ter a reputação calculada

Ver mais dados deste vendedor

Compra Garantida com o Mercado Pago

Receba o produto que está esperando ou devolvemos o seu dinheiro

Saiba mais sobre garantia

Cartões de crédito

Pague em até 3x!

Cartões de débito

Boleto bancário

Ver os meios de pagamento

Frete grátis com o Mercado Envios

É o serviço do Mercado Livre que permite que você receba os seus produtos de forma rápida e segura.

Saiba mais sobre as formas de envio

Publicidade

Anúncio #931672388

Denunciar