Lógica Matemática e Matemática Discreta


Codigo Carga Horária
T E L/P CHT
TTI110 2 2 0 80

Ementa

Conjuntos, álgebra de conjuntos e cardinalidade. Relações. Lógica proposicional. Operadores lógicos. Tabela verdade. Relações de equivalência e implicação. Argumentos válidos. Técnicas dedutivas. Prova direta. Prova do condicional. Prova indireta ou redução ao absurdo. Técnicas de contagem. Relações binárias. Indução e recursão. Lógica proposicional. Lógica de predicados. Sistemas Dedutivos. Técnicas de demonstração.

Descrição

Nos últimos anos, temos presenciado um aumento da aplicação da matemática no entendimento e solução de problemas das Ciências da Computação. Estruturas algébricas estão sendo empregadas na modelagem e controle de circuitos eletrônicos e de Sistemas de Informações. A disciplina de Lógica Matemática e Matemática Discreta dará fundamentos para investigações e pesquisas nessa área do conhecimento. A Lógica matemática nos dá uma base para um método de pensar organizado e cuidadoso, tão importante para o profissional de Ciência da Computação e Sistemas de Informação. A Matemática Discreta oferece excelentes modelos e ferramentas para analisar fenõmenos que podem modificar-se abruptamente e fornece muitas aplicações na Ciência da Computação.

Responsável

Foto Professor

Maria Luisa Gomes da Silva Mancini

Mais Informações

Bibliografia

Básica

  • FÁVARO, Silvio; KMETEUK FILHO, Osmir. Noções de lógica e matemática básica. Rio de Janeiro: Ciência Moderna, c2005. 206 p. ISBN 8573934409.
  • GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 7. ed. Rio de Janeiro, RJ/Brasília, DF: LTC, 2021. 884 p. ISBN 9788521632597.
  • MENEZES, Paulo Blauth. Matemática discreta para computação e informática. 4. ed. Porto Alegre: Bookman, 2013. 348 p. (Livros didáticos Informática UFRGS, 16). ISBN 9788582600245.

Complementar

  • CARNIELLI, Walter; EPSTEIN, Richard L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática: teoria e prática. 2. ed. rev. São Paulo: UNESP, c2005. 415 p. ISBN 9788571398979.
  • DE MAIO, Waldemar (Coord.). Álgebra: estruturas algébricas e matemática discreta. Rio de Janeiro: LTC, c2009. 347 p. ISBN 9788521617051.
  • GONÇALVES, Robério. O grande livro de raciocínio e lógica. Barueri: Camelot, 2021. 98 p. ISBN 9786587817408.
  • SCHEINERMAN, Edward R. Matemática discreta. 3. ed. São Paulo: Cengage Learning, 2019. 586 p. ISBN 9788522125340.
  • SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. 2. ed. São Paulo: Cengage Learning, c2018. 240 p. ISBN 9788522127184.