Matemática

Computacional
– ADS-M1
APRESENTAÇÃO DA DISCIPLINA

PROF. ROGÉRIO FIGUEREDO DE SOUSA

ro g e rio. sousa@ifpi.e du.br
Sobre o professor
• Formação
• Graduação: Ciência da Computação (UFPI - Teresina)
• Mestrado: Ciência da Computação (UFPI – Teresina)
• Doutorado: Ciência da Computação e Matemática Computacional (ICMC/USP –
São Carlos)

• Área de atuação:
• Processamento de Línguas Naturais
• Mineração de Opiniões
• Classificação de Utilidade de Opiniões
2
Ementa
Teoria dos Conjuntos, Álgebra de Conjuntos, Relações,
Funções, Estruturas Algébricas, Reticulados, Enumeração
por Recursão, Análise Combinatória: Princípios da
Contagem (Aditivo e Multiplicativo), Arranjo, Permutação,
Combinação Simples e com Repetição, Princípio da
Inclusão e da Exclusão, Álgebra Booleana e Indução
Matemática.

3
Objetivos
Geral:
◦ Desenvolver a capacidade de ler, interpretar e utilizar representações, conhecimentos e
conceitos advindos da Matemática para resolução de problemas, possibilitando o
amadurecimento do raciocínio lógico para a criação de soluções computacionais eficientes.

Específicos:
◦ Conhecer os fundamentos da teoria dos conjuntos e da lógica proposicional;
◦ Conhecer as principais técnicas de demonstrações matemáticas;
◦ Perceber e saber vincular relações e, em particular, funções com rotinas de implementação
computacional;
◦ Saber relacionar teoria dos conjuntos com a lógica proposicional e álgebra Booleana;
◦ Conhecer e compreender as principais estruturas matemáticas e correlacioná-la com a
computação.

4
Conteúdo Programático
1. Conjuntos 1.6 Diagrama de Venn
1.1 Definição de conjunto 1.7 União;
1.2 Pertinência 1.8 Interseção
1.3 Caracterização de conjuntos 1.9 Complemento
1.4 Relação de inclusão 1.10 Conjunto das partes
1.5 Conjuntos nas linguagens de 1.11 União disjunta.
programação
5
Conteúdo Programático
2. Noções de Lógica 3. Técnicas de Demonstração e Recursão
2.1 Proposições 3.1 Prova direta
2.2 Conectivos 3.2 Prova por contradição
2.3 Fórmulas, Linguagem lógica e Tabela 3.3 Operações elementares
verdade
3.4 Prova por redução ao absurdo
2.4 Tautologia e contradições
3.5 Soluções de um sistema de equações
2.5 Implicação e equivalência lineares
2.6 Quantificadores 3.6 Indução
2.7 Relação entre lógica e álgebra de 3.7 Enumeração por recursão
conjuntos

6
Conteúdo Programático
4. Relações
4.1. Par ordenado
4.2. Representação gráfica
4.3. Produto cartesiano
4.4. Relação binária
4.5. Domínio e imagem
4.6. Relação inversa
4.7. Propriedades das relações
5. Introdução às Funções
5.1. Conceito de função
5.2. Definição de função
5.3. Notação das funções
5.4. Domínio e imagem
5.5. Funções iguais
6. Função composta e Função inversa
6.1. Função composta
6.2. Função sobrejetora
6.3. Função injetora
6.4. Função bijetora
6.5. Função inversa
7
Conteúdo Programático
7. Análise Combinatória
7.1. Introdução
7.2. Princípio fundamental da contagem
7.3. Consequências do princípio
fundamental da contagem
7.4. Arranjos com repetição
7.5. Arranjos
7.6. Permutações
7.7. Fatorial
7.8. Combinações
7.9. Permutações com elementos
repetidos
8. Estruturas Algébricas
8.1. Operações Binárias
8.2. Monóides e Semigrupos
8.3. Grupos e Subgrupos
8.4. Homomorfismos e Isomorfismos
8
Conteúdo Programático
9. Álgebra de Boole e
Reticulados
9.1. Álgebra Booleana
9.2. Isomorfismos de Álgebras
Booleanas
9.3. Reticulados

9
Regrinhas
• Princípios Básicos:
• Objetivo de todos é entender a disciplina;
• NÃO é ganhar nota;
• NÃO é passar para o semestre seguinte;

10
Regrinhas
• Vou disponibilizar materiais de apoio;
• Pode ser necessário mais materiais...

• Durante a aula
• Prestar atenção;
• Anotar;
• Fazer perguntas;

• Provas/Trabalhos...
• Tudo cai na prova/trabalho.

11
Listas de Exercícios
• Não é para entregar, não valem nota, mas
questões caem na prova.

12
Avaliação do aprendizado
• Avaliação do aprendizado
• Frequência mínima: 75%.
• Avaliação:
• Duas provas (AV1 e AV2)
• Pequenos trabalhos intermediários

13
Avaliação do aprendizado
• Média de Avaliações (MAV):
• MAV = (AV1 + AV2) / 2
• Média de Trabalhos (MT)

14
Avaliação do aprendizado
• Média Final (MF) :
se MAV >= 7,0 e MT >= 7,0
MF = (6*MP + 4*MT) / 10
senão
MF = mínimo(MP, MT)
• Se MF >= 7,0 → aluno aprovado
• Se 4,0 <= MF < 7,0 → prova final
• Se MF < 4,0 → aluno reprovado.

15
Avaliação do aprendizado -
Prova Final
• Se 4,0 <= MF < 7,0 → prova final
• MPF (Média após Prova Final):
• Se PF >= 7
MPF = (MF + PF)/2
• PF : envolve todo o conteúdo ministrado na disciplina.

• Se MPF >= 6,0 → aluno aprovado

• Se MPF < 6,0 → aluno reprovado

16
Bibliografia

17
Perguntinhas
1. Qual é o principal motivo que os trouxe para este curso?
2. Quais são suas expectativas em relação a esta curso?
3. Qual é a sua experiência prévia com o curso?
4. Quais são seus objetivos de longo prazo em relação à sua
formação acadêmica?
5. Quais são seus maiores desafios ou preocupações em relação
a este curso / disciplina?

18