Trailer
Sinopse
Neste episódio especial, damos as boas-vindas ao professor Maxwell Gomes da Silva para uma conversa envolvente sobre a disciplina Fundamentos Matemáticos da Computação 2 (FMC2). Voltado especialmente para estudantes do curso de Tecnologia da Informação, o episódio apresenta os principais tópicos abordados ao longo da matéria, como lógica matemática, técnicas de demonstração, relações, funções e estruturas algébricas. O professor Maxwell compartilha dicas práticas, destaca a importância dos conceitos para a formação acadêmica e profissional, e responde dúvidas comuns dos alunos. Um conteúdo indispensável para quem deseja compreender melhor a base teórica por trás da computação moderna.
Vídeo
Classificações
70%
30%
Clássicas
Ativas
50%
50%
Provas
Atividades
80%
20%
Teórica
Prática
50%
50%
Social
Técnica
0%
100%
Individuais
Em grupo
100%
0%
Presencial
EAD
Podcast
Velocidade 1.0x
Materiais
Sem materiais disponiveis...
Conhecimentos / Competências Desejados
Antes de iniciar a matéria FMC 2, são desejáveis a compreensão de conjuntos, relações, funções e estruturas de ordem, bem como o domínio da notação matemática e da linguagem formal. Espera-se também que o estudante seja capaz de aplicar conceitos de recursão e indução, construir demonstrações formais diretas, indiretas e por refutação e modelar estruturas matemáticas com precisão lógica.
Tópicos e Níveis de Domínio Recomendados
Lógica Proposicional (nível 8): Compreensão de proposições, conectivos lógicos e equivalências.
Técnicas de Demonstração (nível 7): Familiaridade com demonstrações diretas, indiretas e por contradição.
Teoria de Conjuntos (nível 8): Operações básicas com conjuntos e noções de produto cartesiano.
Notação Matemática Formal (nível 6): Leitura e uso de símbolos e quantificadores.
Relações e Funções (nível 6): Conceitos iniciais de domínio, imagem e contradomínio.
Álgebra Elementar (nível 5): Manipulação algébrica simples e operações numéricas básicas.
Indução Matemática (nível 6): Entendimento da estrutura básica da prova por indução.
Tópicos
Sem tópicos cadastrados
Obstáculos
FMC2 apresenta desafios como o uso intenso de linguagem simbólica, o raciocínio abstrato e a aplicação de técnicas de demonstração. Muitos alunos também enfrentam dificuldade em conectar a teoria com problemas práticos. Reconhecer esses obstáculos é o primeiro passo para superá-los com estratégias de estudo adequadas.
Metodologias
Não há metodologias cadastradas
Perguntas Frequentes
Os conceitos de lógica, funções e estruturas matemáticas estão por trás de áreas como banco de dados, inteligência artificial, criptografia e engenharia de software. A capacidade de construir argumentos formais e modelar situações abstratas também é valiosa para resolver problemas complexos em qualquer ambiente de TI.
É comum ter dificuldades no início. O ideal é dividir o conteúdo em partes menores, praticar com frequência e buscar diferentes fontes explicativas (vídeos, apostilas, fóruns). Também é importante tirar dúvidas com professores e colegas — entender o significado por trás dos símbolos facilita muito a aprendizagem.
FMC2 oferece a base lógica e formal necessária para compreender os algoritmos, linguagens de programação e estruturas que sustentam a computação moderna. Ela fortalece o raciocínio lógico, a precisão matemática e a capacidade de abstração, competências fundamentais para qualquer profissional da área.
Uma boa prática é começar com exemplos simples e entender o "porquê" por trás de cada passo da demonstração. Utilizar mapas conceituais, discutir problemas com colegas e revisar diferentes tipos de prova (direta, indireta e por contradição) também ajuda muito. A regularidade no estudo é essencial.
O segredo está na prática constante. Refazer exercícios vistos em aula, explorar listas extras e revisar as demonstrações ajuda a fixar o conteúdo. Organize um cronograma de estudo, simule provas antigas e, se possível, forme grupos de estudo para compartilhar estratégias e insights.
2025
Índices de aprovação
Altere a data ou marque/desmarque a opção "Todos os
períodos" para fazer uma nova busca.
Buscando dados...
Aprovados
0%
Reprovados
0%
Nota média (todas as unidades)
0
Nota média por unidade
Unidade 1
N/A
Unidade 2
9.7
Unidade 3
4.2
Conteúdos
Ementa
-
T0. Conteúdo transversal: (i) linguagem da matemática ; (ii) notação conjuntista ; (iii) raciocínio hipotético, demonstrações diretas e indiretas, refutações ; (v) recursão & indução
T1. Teoria ingênua dos conjuntos.
T2. Relações.
T3. Funções.
T4. Ordens.
T5. Elementos de Álgebra.
Referências
-
Livro: EPP, Susanna S. <strong>Discrete mathematics with applications</strong>. 4th ed. Australia: Brooks, 2011. xxii, 816 p. ISBN: 9780495826163.
Livro: GERSTING, Judith L.. <strong>Fundamentos matemáticos para a ciência da computação</strong>: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro: LTC, 2010. xiv, 597p. ISBN: 9788521614227.
Livro: MUNRO, John E. M. <strong>Discrete mathematics for computing</strong>. London: Charman & Hall, 1992. 306p. ISBN: 0412456508.
Livro: HEIN, James L. <strong>Discrete structures, logic, and computability</strong>. 3nd ed. Boston: Jones and Bartlett Publishers, 2010. xvi, 1009 p. ISBN: 0763718432.
Outros: Santiago, Regivan. Fundamentos Matemáticos da Computação 1. Notas de Aula.
Livro: MAKINSON, David. <strong>Sets, logic and maths for computing</strong>. 2. ed. London: Springer, 2012. xxi, 283 p. (Undergraduate topics in computer science) ISBN: 9781447124993.
Livro: ROSEN, Kenneth H. <strong>Discrete mathematics and its applications</strong>. 4th ed. Boston: WCB/McGraw-Hill, c1999. xxii, 678 p. ISBN: 0072899050.
Livro: ROSEN, Kenneth H. <strong>Matemática discreta e suas aplicações</strong>. 6. ed. São Paulo: McGraw-Hill, 2009. xxi, 982 p. ISBN: 9788577260362.
Livro: DAVEY, B. A; PRIESTLEY, H. A. Hilary A. <strong>Introduction to lattices and order</strong>. 2. ed. Cambridge: Cambridge Univ., 2002. 298 p. ISBN: 0521784514.
Outros: Daniel J. Velleman, How to Prove It: A Structured Approach. 2nd Edition. Amherst College, Massachusetts, 2006.
Outros: Willem Conradie, Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015.
Livro: GRIES, David; SCHNEIDER, Fred B. <strong>A logical approach to discrete math</strong>. New York: Springer, c2010. 497 p. (Texts and monographs in computer science) ISBN: 9781441928351.
Site: FMC2 2017.1
Site: FMC2 2017.2
Site: Site da disciplina
Livro: Discrete mathematics with applications /
Livro: How to think like a mathematician :
Livro: Discrete mathematics for computing /
Livro: Matemática discreta e suas aplicações /
Site: FMC2, turmas de Thanos
Site: fmcbook
Livro: Discrete mathematics and its applications /
Livro: Fundamentos matemáticos para a ciência da computação :
Livro: Matemática discreta para ciência da computação /
Site: site oficial da disciplina
Livro: Aprendendo matemática discreta com exercícios /
Site: Anamaria Gomide e Jorge Stol. Elementos de Matemática Discreta para Computação
Site: Jaime Campos Ferreira. Elementos de Lógica Matemática e Teoria dos Conjuntos. 2001.
Site: site da turma
Site: fmcbook (livro)
Livro: Álgebra :
Livro: Introdução à álgebra /