a Cartilha da Lógica
+ mais detalhesDescrição do Produto
A Série Apontamentos tem por objetivo explorar preferencialmente textos de apoio didático a cursos de graduação ou pós-graduação. Sinopse A estreita ligação entre Lógica e Computação está principalmente relacionada ao desenvolvimento de linguagens pa ra modelar situações e problemas, com vistas às suas soluções. Raciocinar sobre essas situações significa construir argumentos sobre elas. Para a especificação e o desenvolvimento de argumentos de maneira rigorosa é preciso primeiro estabelecer uma l inguagem na qual se possa expressar sentenças evidenciando sua estrutura lógica. A Lógica Proposicional e a Lógica de Predicados, os principais assuntos tratados em A Cartilha da Lógica, são duas dessas linguagens formais. O material aborda também os principais conceitos e resultados da Álgebra de Boole, com o objetivo principal de apresentação de métodos de minimização de expressões booleanas. Para facilitar o aprendizado, A Cartilha da Lógica inclui 138 exemplos, 30 figuras, 106 tabelas e 53 e xercícios.
Atributos
- num_paginas:
- 233
- ano_edicao:
- 2010
- num_edicao:
- 2
- data_lancamento:
- 1900-01-01
- isbn13:
- 9788576001515
- ean:
- 9788576001515
- autor:
- Nicoletti Carmo
- origem:
- NACIONAL
- editora:
- EDUFSCAR
- encadernacao:
- BROCHURA
- situacao:
- 2
- peso:
- 0.660
- altura:
- 2.000
- largura:
- 21.000
- comprimento:
- 27.000