A cartilha da lógica

Descrição: STK - Livro novo. ISBN 9788576001515. Dimensão 21 x 27, 233 págs. Sinopse: 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 para 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 linguagem 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.

Descrição: Ano de Publicação: 2010 ; Livro Usado em bom estado de conservação, brochura, formato 21 x 28cm, 233 páginas, capa e miolo ok, não apresenta riscos, grifos ou anotações. Editora: Edufscar, Assunto: Ciências Exatas PI _PI5874485_