Tópicos em Matemática Básica e Lógica Matemática (MAT)
Ementa
Tópicos em Matemática Básica. Teoria dos Conjuntos: definições, representação dos conjuntos, relações e operações. Funções de uma variável real. Inequações. Lógica proposicional. Proposições e conectivos. Operações lógicas sobre proposições. Construção de tabelas-verdade. Tautologias, contradições e contingências. Implicação lógica. Equivalência lógica. Álgebra das proposições. Métodos para determinação da validade de fórmulas da lógica proposicional. Árvores de refutação. Álgebra booleana.
| Carga Horária | |||
|---|---|---|---|
| Teórica | Prática | Extensão | Total |
| 4 | - | - | 4 |
Bibliografia Básica
LIPSCHUTZ, S.; LIPSON, M. Matemática discreta. Coleção Schaum, Bookman Editora, 2013. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788565837781/. Acesso em: 28 Mar mar 2022.
GERSTING, J. L. Fundamentos matemáticos para a ciência da computação. Grupo GEN, 2016. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788521633303/. Acesso em: 28 mMar 2022.
ROSEN, K. H. Matemática discreta e suas aplicações. São Paulo: McGraw Hill, 2010. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788563308399/. Acesso em: 28 Mar mar 2022.
Bibliografia Complementar
BISPO, C. A. F.; CASTANHEIRA, L. B.; FILHO, O. M. S. Introdução à Lógica Matemática. Cengage Learning Brasil, 2017. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788522115952/. Acesso em: 28 Mar mar 2022.
DAGHLIAN, J. Lógica e álgebra de Boole. São Paulo: Atlas, 1995. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788522483044/. Acesso em: 28 mMar 2022.
DA SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. D. Lógica para computação - 2ª edição. Cengage Learning Brasil, 2018. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788522127191/. Acesso em: 28 mar. 2022.
NICOLETTI, M. C. A Cartilha da Lógica, 3ª edição. Grupo GEN, 2017. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788521633433/. Acesso em: 28 mar. 2022.
SEIZEN, Y.; TELLES, S. A. O. S. Matemática com aplicações tecnológicas. São Paulo: Editora Blucher, 2014. Disponível em: https://app.minhabiblioteca.com.br/#/books/9788521207801/. Acesso em: 28 mar. 2022.