Lógica para computação 2ª edição

Page 1

PARA COMPUTAÇÃO 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. Aplicações: Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciência da Computação, Matemática e Filosofia. Leitura complementar para a disciplina fundamentos matemáticos da computação. Leitura recomendada também para profissionais e todos aqueles que, direta ou indiretamente, lidam com métodos formais e matemáticos para a resolução de problemas.

FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO

MATEMÁTICA DISCRETA: UMA INTRODUÇÃO Tradução da 3a edição norte-americana

Edward R. Scheinerman

PROGRAMAÇÃO EM MATLAB PARA ENGENHEIROS Tradução da 5a edição norte-americana

ALGORITMOS E LÓGICA DE PROGRAMAÇÃO 2a edição revista e ampliada

Marco Antonio Furlan de Souza, Marcelo Marques Gomes, Marcio Vieira Soares e Ricardo Concilio

FUNDAMENTOS DA CIÊNCIA DA COMPUTAÇÃO Tradução da 2a edição norte-americana

2 EDIÇÃO a

Behrouz Forouzan e Firouz Mosharraf

INTRODUÇÃO À CIÊNCIA DA COMPUTAÇÃO 2a edição atualizada

Ricardo Daniel Fedeli, Enrico Giulio Franco Polloni e Fernando Eduardo Peres

PARA COMPUTAÇÃO Lógica para computação_final.indd 1

Outras obras

Stephen J. Chapman

LÓGICA PARA COMPUTAÇÃO

FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO

FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO

2a EDIÇÃO

MODELOS CLÁSSICOS DE COMPUTAÇÃO Flávio Soares Corrêa da Silva e Ana Cristina Vieira de Melo

8/7/17 5:07 PM


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.