PDF - Lógica para Ciência Da Computação

Este livro apresenta, de forma concisa, os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas como Matemática, Filosofia, Engenharias e Direito. Para estudar seu conteúdo não é necessário nenhum pré-requisito, nem mesmo maturidade matemática, mas mesmo sendo introdutório, há uma ênfase na apresentação matemática rigorosa e no desenvolvimento de demonstrações mais elementares. Ele pode ser utilizado como livro-texto em diversos tipos de disciplinas de Lógica. Em uma disciplina de dois semestres para alunos do início da graduação, ou semestral no final da graduação. Outra possibilidade é utilizá-lo na pós-graduação, caso em que todas as demonstrações e exercícios devem ser considerados em detalhe.

Lógica para Ciência Da Computação

O PDF do primeiro capítulo ainda não está disponível

O Skoob é a maior rede social para leitores do Brasil, temos como missão incentivar e compartilhar o hábito da leitura. Fornecemos, em parceira com as maiores editoras do país, os PDFs dos primeiros capítulos dos principais lançamentos editoriais.