Disponibilidade:
PRODUTO EM ESTOQUE
IMPORTANTE:
- O prazo para entrega do pedido passa a ser considerado a partir do 1º dia útil após a confirmação do pagamento do pedido pela instituição financeira.
- O envio será considerado conforme a coleta da empresa de transporte, em alguns casos no dia subsequente.
- Em caso de falta de estoque de um ou mais itens, O comprador será informado e os itens do pedido serão enviados separadamente. Caso isso aconteça, não haverá cobrança de qualquer custo adicional e o prazo de entrega adicional dos demais produtos será informado ao comprador.
Obra que trata da "nova lógica" no desenvolvimento da filosofia da linguagem e de modelos formais de larga aplicação na inteligência artificial. Seus autores desenvolvem o cálculo proposicional a partir de uma linguagem natural, respeitando os princípios de Aristóteles para a lógica, culminando no estudo da validade de inferências lógicas; introduzem o sistema formal do cálculo proposicional; estudam algumas propriedades do sistema; apresentam a álgebra dos conjuntos que caracteriza um outro sistema booleano; estudam os silogismos aristotélicos; mostram como se pode caminhar com a lógica, envolvendo em um único sistema formal as concepções lógicas tratadas no livro e a adequação deste sistema para a matemática contemporânea; discorrem sobre a amplidão de possibilidades de investigações lógicas atualmente; e introduzem noções básicas dos sistemas fuzzy ou lógica fuzzy. Abordam, também, a particular relevância do papel da lógica em meio ao mais presente e revolucionário dos desenvolvimentos tecnológicos contemporâneos: a computação.
Ficha Técnica
Editora: UNESP
Especialidade: EDUCACAO MATEMATICA
ISBN: 9788571396050
Páginas: 0232
Ano: 2006
Edição: 1
Encadernação: Capa comum
