Planejar, projetar, avaliar o que é possível e impossível são capacidades características da espécie humana, que muito contribuem ao nosso progresso coletivo. A habilidade de raciocinar logicamente é usada da infância à vida adulta, e também como ferramenta de trabalho dentro da Ciência da Computação – desde os mais básicos circuitos de mudança de estado até os mais avançados algoritmos de machine learning e realidade virtual. As páginas de “Raciocínio lógico computacional: fundamentos e aplicações” são uma fascinante viagem pelo mundo da computação, onde você entenderá a aplicabilidade da lógica elementar clássica no mundo contemporâneo.

Esta é a mais recente publicação do professor André Roberto Guerra, Mestre em Ciência da Computação (UFSC/2002). Escrita para quem ingressa agora no estudo e criação de sistemas, a obra explica como os computadores e os diversos devices entendem instruções, e como os humanos se comunicam com eles de forma eficiente e inteligente. “Se os computadores são máquinas que executam as nossas instruções, então como podemos enviar esses comandos de forma clara e precisa? Como os computadores interpretam e processam essas rotinas, e interagem com dados e informações?“, provoca o autor. “Neste livro, você encontrará respostas para essas e outras questões relevantes, especialmente sobre os conhecimentos básicos necessários para o desafiador desenvolvimento de ferramentas de Inteligência Artificial”, convida Prof. André Guerra.

A obra é um manual de introdução à lógica elementar clássica aplicada à linguagem computacional do mundo moderno. Ao longo de 9 capítulos, temas como tipos de proposições e predicados, cálculo proposicional, construção de tabelas-verdade, relações de implicação e equivalência lógicas, lógica dos predicados e cálculo dos predicados de primeira ordem são explicados passo a passo – e ilustrados com questões aplicadas, que mantêm o leitor entretido. Me. André Guerra já atuou como Coordenador e Professor de cursos de graduação e pós-graduação em Ciência da Computação, e expressa sua vasta experiência didática neste livro.

Cálculo proposicional e seu papel na Era Digital

O cálculo proposicional é um sistema lógico que estuda as relações entre proposições (afirmações que podem ser verdadeiras ou falsas), através de representações simbólicas. Permite a construção de fórmulas bem formadas – sequências de símbolos que obedecem a regras sintáticas – e a avaliação de sua validade – propriedade de ser verdadeira em todas as possíveis interpretações. Em um mundo cada vez mais digital, o cálculo proposicional se aplica à programação computacional de diversas formas.

A primeira forma pontuada pelo autor é na construção de circuitos lógicos, onde cada sinal binário (0 ou 1) pode ser visto como uma proposição, e cada circuito lógico pode ser visto como uma fórmula bem formada do cálculo proposicional. Também cita a verificação formal de programas: técnica que usa a lógica para provar propriedades sobre o comportamento de um programa, como a sua correção ou a sua terminação. “Uma terceira forma é na Inteligência Artificial, a área da ciência da computação que estuda como criar sistemas capazes de realizar tarefas que normalmente requerem inteligência humana. O cálculo proposicional pode representar o conhecimento de um agente inteligente, que é um sistema capaz de perceber o seu ambiente e agir de forma racional. O agente inteligente usa do cálculo proposicional para inferir novas informações a partir do seu conhecimento e para tomar decisões baseadas em critérios lógicos”, explica Prof. André Guerra.

Algebra das proposições na otimização de sistemas

Um dos grandes desafios computacionais contemporâneos é a redução de códigos e instruções, visto que as memórias são dispositivos caros e escassos. A álgebra das proposições é o ramo da lógica matemática que estuda as operações lógicas entre proposições – permitindo simplificar, equivaler e inferir proposições a partir de outras. Quando aplicada à computação, ela ajuda a reduzir o código-fonte dos programas, otimizando o uso de memória e o desempenho dos algoritmos. “Essa redução de código é essencial para aumentar a eficiência e a qualidade dos programas, especialmente em áreas como a Inteligência Artificial (IA), que exigem um alto desempenho e uma grande capacidade de adaptação dos sistemas”, salienta o autor. “Portanto, a álgebra das proposições é uma ferramenta poderosa para os profissionais da computação, que precisam criar códigos cada vez mais simples, claros e robustos”, conclui.

Com linguagem acessível e alta relevância mercadológica, o livro “Raciocínio lógico computacional: fundamentos e aplicações” cumpre seu propósito de preencher a lacuna entre eletrônica e matemática. Leitura recomendada a estudantes e profissionais da Engenharia da Computação e de outras áreas também, para que identifiquem o elo entre o raciocínio lógico e seu campo de atuação.

Ficha técnica

Livro: “Raciocínio Lógico Computacional: fundamentos e aplicações”
Autor: André Roberto Guerra
Número de páginas: 222
ISBN: 9786555170528
Formato: brochura (paperback)
Dimensões: 1,2 x 14 x 21 cm
Preço: R$88,80
Editora: Intersaberes

Adquira um exemplar do livro “Raciocínio Lógico Computacional: fundamentos e aplicações”

Sobre o Autor

André Roberto Guerra é Mestre em Ciência da Computação pela Universidade Federal de Santa Catarina (UFSC/2002), Doutorando em Educação e Novas Tecnologias do Centro Universitário Internacional UNINTER com Estágio Doutoral Internacional no ISEP/IPP (Instituto Superior de Engenharia do Porto / Instituto Politécnico do Porto) Portugal e publicação no Cal Poly (California Polytechnic State University – USA). É também MBA Executivo em Estratégias Empresariais (UNIVEL/FGV 2015), Especialista em Gestão Estratégica de Empresas (UNIOESTE/2002) e Graduado em TI (Tecnologia da Informação) (UNIVEL/1999). Instrutor Certificado pela Academia Latino-Americana de Segurança da Informação e pelas empresas CISCO, AWS (Amazon Web Services), Microsoft, Novell, HP, Intel, IBM. Atualmente é Professor das modalidades Presencial e EaD (Telepresencial e Ao Vivo Digital), Autor, Produtor de Conteúdo e tutor do Centro Universitário Internacional UNINTER, Avaliador de Cursos e IES – BASis INEP/MEC. Tem experiência como Diretor Executivo Empresarial, Diretor Executivo Industrial, Consultor de TI, Coordenador e Professor de Cursos de Graduação e Pós Graduação na área de Ciência da Computação.