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 espe...

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 Apresenta a linguagem de programação lógica Prolog, adequada para resolver problemas que envolvem objetos e relações entre objetos. Apresenta e discute um vasto conjunto de predicados Prolog para o tratamento de listas, árvores e grafos.

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 Apresenta e discute algoritmos de aprendizado de máquina caracterizados como algoritmos baseados em instâncias (NN, k-NN, CNN, IB1, IB2, IB3, IB4 e IB5) e algoritmo baseado em exemplares generalizados, conhecido como EACH (parte do sistema NGE).

Essencial à compreensão do conhecimento em muitas searas, a Lógica guarda papel destacado e de extrema relevância para a Matemática e para a Computação. Evidenciar argumentos, sentenças e conteúdos inerentes ao ambiente das Ciências Exatas é fundamental e só se torna possível por meio de linguagens próprias e formais. A Cartilha da Lógica, em sua terceira edição, traz justamente todo o conteúdo ne...

Este livro, dividido em onze capítulos, aborda diferentes tópicos, vários deles relacionados entre si, da área de Aprendizado de Máquina (AM). É um livro introdutório que tem o objetivo de familiarizar o leitor com a terminologia, notação e muitos dos conceitos básicos da área, bem como de iniciá-lo com relação às diferentes abordagens existentes de AM. Também mostra como o processo de aprendizado...

Redes neurais são um método geral e prático para o aprendizado de aproximações de funções a partir de exemplos. Quando da definição de uma rede neural, sabe-se que, na maioria das situações, não existe uma maneira de determinar o melhor número de camadas intermediárias da rede e tampouco o número de neurônios em cada uma dessas camadas. Uma maneira de abordar esse problema é por meio do uso de alg...

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 Apresenta os fundamentos de representação numérica (binária, octal e hexadecimal), as operações aritméticas envolvendo essas representações e os métodos de conversão entre representações. Mostra em detalhes a representação e a manipulação de números inteiros no ...