Lógica Para Computação

Main
Mathematics - Logic
Lógica Para Computação

Lógica Para Computação

Name: Lógica Para Computação
ISBN: 9788522127184

Flávio Soares Corrêa da Silva

5.0 / 1.0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

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.

კატეგორია:

Mathematics - Logic

წელი:

2021

გამოცემა:

გამომცემლობა:

Editora Cengage

ენა:

portuguese

გვერდები:

256

ISBN 10: