Lógica Para Computação: Lógica Para Computação, De Marcelo; Cristina Vieira De Melo, Ana. Editora Cengage, Capa Mole Em Português

Descrição

Lógica para computação é um texto em português que mantém uma abordagem introdutória com rigor matemático e profundidade para estudantes de Ciência da Computação. A obra aborda os fundamentos e métodos da lógica matemática, permitindo aos alunos apreciar os benefícios e as dificuldades da aplicação de métodos matemáticos na resolução de problemas e a importância dos métodos formais, especialmente os baseados em lógica formal, para as diversas áreas da Ciência da Computação. Em sua segunda edição, inclui novos exercícios e sugestões de ferramentas de apoio aos temas abordados.