Recomendações de Livro de Inteligência Artificial
Álgebra Booleana / Primeira ordem / Proposicional / Lógica de Predicados
Álgebra booleana e suas aplicações (Dover Books on Computer Science)
Esta introdução à álgebra booleana explora o assunto em um nível acessível até mesmo para aqueles com uma formação modesta em matemática. O primeiro capítulo apresenta a álgebra dos conjuntos de um ponto de vista intuitivo, seguido por uma apresentação formal no capítulo dois da álgebra booleana como um sistema algébrico abstrato, sem referência a aplicações. Os capítulos seguintes oferecem relatos concisos de aplicações à lógica simbólica, focando em tópicos de lógica comuns à matemática elementar e discutindo conceitos de argumento válido e provas indiretas. Tópicos adicionais incluem a álgebra de circuitos — comutação, relé e computador — bem como a aplicação da álgebra de conjuntos à teoria da probabilidade. Problemas aparecem ao longo do texto, com respostas para problemas selecionados no final do livro. Voltado para estudantes de matemática, ciência da computação e engenharia elétrica, este texto pode ser apreciado por qualquer pessoa que entenda de matemática de nível superior. Ele será particularmente valioso para estudantes de filosofia e outros que desejam estudar lógica simbólica e suas aplicações para a ciência da computação.
Raciocínio Booleano: A Lógica das Equações Booleanas (Dover Books on Mathematics)
Um tratamento sistemático do raciocínio booleano, esta edição concisa e recém-revisada combina os trabalhos dos primeiros lógicos com investigações recentes, incluindo resultados de pesquisa inéditos. Para o benefício dos leitores sem formação formal em matemática, o texto começa com uma visão geral dos conceitos matemáticos elementares e delineia a teoria das álgebras booleanas, com base no postulado de Huntington. Ele define operadores para eliminação, divisão e expansão, fornecendo uma base coerente e sistemática para discussões subsequentes de raciocínio silogístico, solução de equações booleanas e dedução funcional. Exemplos e problemas de final de capítulo aparecem ao longo do livro, muitos retirados do projeto para sistemas de comutação. Dois capítulos finais tratam dos pedidos; um aplica o raciocínio booleano a problemas de diagnóstico, e o outro discute o projeto de circuitos lógicos de saída múltipla.
Nota: Após comentários úteis de revisão sobre problemas com a legibilidade de alguma equação no livro, a formatação e a formatação foram completamente revisadas para melhorar sua experiência de leitura e ajudar a desenvolver uma melhor apreciação. Seu valioso feedback é o mais bem-vindo. Obrigado. MKG. A tecnologia digital tornou-se onipresente em nossa sociedade moderna, na medida em que corremos o risco de sermos deixados para trás e nos tornarmos cortados se não a adotarmos! Este KES tem como objetivo mostrar por que a tecnologia digital está se tornando tão atraente, o que são dados digitais, que operações podem ser realizadas sobre eles e como a teoria da lógica digital pode ser usada para formular sistematicamente soluções para vários problemas práticos. À medida que nos tornamos imersos nos 0 e 1 de um mundo digital, conhecer as diferenças entre a maneira como nossos companheiros digitais inteligentes funcionam e como nós, humanos, interpretamos as informações é de alta relevância hoje, independentemente do rastro de vida em que nos encontramos em relação à tecnologia digital. Os clientes são cada vez mais solicitados a entender termos digitais como bits, bytes, GB, GHz e TB ao selecionar seu próximo laptop ou smartphone, e para quem deseja entrar neste ambiente em rápida evolução como profissional, o básico e os princípios são uma obrigação. Os princípios digitais subjacentes também são encontrados para ser um recurso útil para aprender programação de computador, pois permite entender as operações de nível de máquina do computador e, portanto, equipa a pessoa para entender comportamentos inesperados de um pedaço de código e na solução de bugs.
Lógica de Primeira Ordem (Dover Books on Mathematics)
Introdução à Lógica: E à Metodologia das Ciências Dedutivas (Dover Books on Mathematics)
Introdução à Lógica: Lógica Proposicional
Introdução à Lógica: Lógica de Predicados
Livros de Teoria da Inteligência Artificial
A lenda da programação Charles Petzold desvenda os segredos do extraordinário e presciente artigo de 1936 de Alan M. Turing O matemático Alan Turing inventou um computador imaginário conhecido como Máquina de Turing; Em uma era antes dos computadores, ele explorou o conceito do que significava ser computável, criando o campo da teoria da computabilidade no processo, uma base da programação de computadores atual.
O livro expande o artigo original de Turing de 36 páginas com capítulos de fundo adicionais e extensas anotações; o autor elabora e esclarece muitas das afirmações de Turing, tornando o documento original difícil de ler acessível aos programadores atuais, graduados em ciência da computação, geeks de matemática e outros.
Entrelaçados na narrativa estão os destaques da própria vida de Turing: seus anos em Cambridge e Princeton, seu trabalho secreto em criptoanálise durante a Segunda Guerra Mundial, seu envolvimento em projetos computacionais seminais, suas especulações sobre inteligência artificial, sua prisão e processo pelo crime de “atentado violento ao pudor” e sua morte precoce por aparente suicídio aos 41 anos.
Comentários