Fundamentos de Matemática para Computação

Sistemas para Internet (2026-1), UEG, 2026

Ementa

Revisão de matemática básica. Introdução a lógica, portas lógicas; Lógica de predicados. Aplicações de lógica de predicados.
Conversão de Bases numéricas: binário, octal e hexadecimal. Conceitos básicos de contagem. Grafos.

Referências Bibliográficas Básicas

GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação um tratamento moderno de matemática discreta. Rio de Janeiro: LTC, 2017.
SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. M. Lógica para computação. 2a ed. São Paulo: Cengage Learning Brasil, 2018.
TOCCI, Ronald J. Sistemas Digitais: princípios e aplicações. 11a ed. São Paulo: Pearson, 2011.

Referências Bibliográficas Complementares

ROSEN, K. H. Matemática Discreta e suas Aplicações. Disponível em: Minha Biblioteca, Grupo A, AMGH Editora Ltda 2010.
IEZZI, G. M. C. Fundamentos de Matemática Elementar. 7a ed. São Paulo: Atual, 1993. 380p.
DANTE, L.R., Matemática contexto e aplicações. - São Paulo: Ática, 2008.
STEIN, C.; DRYSDALE, R. L.; BOGART, K. Matemática Discreta para Ciência da Computação. São Paulo: Pearson Education do Brasil, 2013.
MENEZES, Paulo B. Matemática Discreta para Computação e Informática - V16 - UFRGS. 4a ed. Porto Alegre: Bookman, 2013.

O texto base do curso será:

MELO, A. Fundamentos de Matemática para Computação: Notas de Aula. Editora UEG, 2026.

que está disponível na versão preliminar (imcompleta) para Download AQUI.

Atenção! O materia base do curso já está disponível com o Capítulo 2 atualizado acima! Próxima atualização só depois da primeira avaliação com os capítulos restantes…

Atenção! A lista de execícios de revisão do Estudo Dirigido sobre os Capítulos 1 e 2 já está disponível abaixo!

Listas de Exercícios para fazer e contabilizar pontos complementares

Exercício	Adicionado em	Descrição
Todos das páginas 16 e 20	12/02	Fazer e preparar para apresentação em sala na semana seguinte.
Todos da página 32	27/03	Fazer e preparar para apresentação em sala na semana depois do feriado (haverá sorteio de ordem).
Todos das páginas 43 e 44	27/03	Fazer e preparar para apresentação em sala na semana depois do feriado (haverá sorteio de ordem).
Todos das páginas 52 e 53	27/03	Fazer e preparar para apresentação em sala na semana depois do feriado (haverá sorteio de ordem).
Todos da página 59	27/03	Fazer e preparar para apresentação em sala na semana depois do feriado (haverá sorteio de ordem).

Recomendo ler a Seção 2.6 sobre Lógica de Predicados, pois será o próximo tópico a ser abordado em sala e seria interessante vocês já terem um contato prévio.

Como não tivemos tempo para discutir Lógica em detalhes, deixo abaixo alguns video-aulas da disciplina da UNIVESP que tem o mesmo nome que a nossa (essa é apenas uma sugestão e há muitos outros materiais online que cobrem isso, então não quero ninguém dizem que não revisou isso adequadamente e, lembrando, teremos nosso momento em sala para discussão)