{"product_id":"logica-para-computacao","title":"Lógica Para Computação","description":"Lógica para computação apresenta um texto original em português que, sem perder a abordagem introdutória, expõe rigor matemático e profundidade adequados para o público-alvo. A obra apresenta os fundamentos e métodos da lógica matemática para estudantes de Ciência da Computação, permitindo-lhes apreciar os benefícios e as dificuldades advindos da aplicação de métodos matemáticos rigorosos para a resolução de problemas e, acima de tudo, a enorme importância dos métodos formais – e mais especificamente dos métodos fundamentados em lógica formal – para as diversas facetas e ramificações da Ciência da Computação. Em sua segunda edição, a obra apresenta novos exercícios e sugestões de ferramentas de apoio aos temas apresentados.","brand":"Cengage Learning","offers":[{"title":"E-book","offer_id":53960537473351,"sku":"9788522127191","price":26.71,"currency_code":"EUR","in_stock":false},{"title":"Impresso","offer_id":53960537506119,"sku":"9788522127184","price":33.39,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0945\/6667\/8855\/files\/m_38729f42-44d2-4855-a4a4-46a757cac35a.jpg?v=1779372777","url":"https:\/\/sabooks.pt\/products\/logica-para-computacao","provider":"Sabooks","version":"1.0","type":"link"}