Livro ensina a linguagem computacional e aplicação do raciocínio lógico

Planejar, projetar, avaliar o que é possível e impossível são capacidades características da espécie humana, que em muito contribuem para o progresso coletivo. A habilidade de raciocinar logicamente vira ferramenta de trabalho no mundo contemporâneo, dentro da Ciência da Computação: dos mais básicos circuitos de mudança de estado aos 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, e demonstram a aplicabilidade da lógica elementar clássica nos dias de hoje.

Esta é a nova publicação do professor André Roberto Guerra, mestre em Ciência da Computação (UFSC/2002), que convida a todas e todos a prestigiarem o lançamento do livro em Curitiba. O evento será nesta sexta-feira, 28 de julho, às 18h30, na Livraria Da Vila (Shopping Pátio Batel, detalhes abaixo), gratuito, aberto ao público e sem necessidade de reservas. Presente na ocasião, o autor conduzirá sessão de autógrafos e bate-papo sobre as vastas oportunidades que agora se abrem aos profissionais da Engenharia da Computação – mercado de destaque para o futuro próximo.

A obra

Escrito para quem ingressa agora no estudo e criação de sistemas, o livro explica como os dispositivos eletrônicos 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 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. 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 experiência didática na elaboração deste 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 André Guerra.

Álgebra 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.

Serviço

Lançamento “Raciocínio Lógico Computacional: fundamentos e aplicações”

Data: 28 de julho/23

Horário: das 18h30 às 21h30

Local: Livraria Da Vila – Shopping Pátio Batel – Av. do Batel, 1868 – Loja 314 – Curitiba (PR)

Evento gratuito e aberto ao público

Para contato com o autor: https://linktr.ee/arguerra

Mais informações sobre o livro “Raciocínio Lógico Computacional: fundamentos e aplicações”

 

Ficha técnica

Livro: “Raciocínio Lógico Computacional: fundamentos e aplicações”

Autor: André Roberto Guerra Número de páginas: 222

Formato: brochura (paperback)

Dimensões: 1,2 x 14 x 21 cm

Preço: R$ 88,80

Editora: Intersaberes

Clique aqui para adquirir um exemplar de “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 da 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 da 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.

Incorporar HTML não disponível.