Lógica para computação

A Lógica é uma das construções da mente humana que mais se aproxima da perfeição, cuja aplicação se atualiza de acordo com o desenvolvimento de novas tecnologias. Fundamentos de Informática – Lógica para Computação apresenta uma proposta didática e lúdica de estudo dessa área de conhecimento, partindo dos primeiros teoremas e axiomas, explicados com profusão de exemplos e detalhes, e indo, passo a passo, às aplicações e ferramentas da computação mais atuais. O livro oferece aos estudantes universitários uma oportunidade única de introdução a esse campo em intensa expansão na sociedade cada vez mais tecnológica em que vivemos.