Instituto Superior Politécnico Do Cazenga
Vice-presidência para Assuntos Acadêmicos
DEPARTAMENTO DE ENGENHARIA E TECNOLOGIA
DOSIFICAÇÃO SEMESTRAL
DISCIPLINA: MATEMÁTICA DISCRETA
CURSO: ENGENHARIA INFORMÁTICA
ANO ACADÊMICO: 24/25 SEMESTRE: I Nº DE AULAS: 13
MESES: OUT/FEV ANO: 2.º TURNO: MANHÃ E NOITE
PROGRAMA DA DISCIPLINA
CÓDIGO DISCIPLINA NATUREZA ANO
Matemática Discreta Semestral 2024
CARGAHORÁRIA PRÉ-REQUISITO
4 HORAS -------
PROFESSOR RESPONSÁVEL
LADISLAU MANUEL DE SOUSA (PhD)
EMENTA
Conjuntos. Álgebra dos conjuntos. Estruturas Algébricas. Relações. Funções. Indução Matemática.
Recursão e Relações de Recorrência. Introdução a Lógica Matemática. Álgebra Booleana.
OBJETIVOGERAL
Demonstrar a capacidade de raciocínio abstracto (lógico - matemático) como um todo e
necessária para o desenvolvimento das capacidades relativas à informática e suas
aplicações no mundo moderno e globalizado.
OBJETIVOSESPECÍFICOS
Obter uma visão abrangente de uma parte significativa da Computação e Informática;
Aplicar os conceitos de Matemática Discreta como uma ferramenta Matemática para
investigações e aplicações precisas em Computação e Informática;
Através da Matemática Discreta, abordar problemas aplicados e enfrentar ou propor com
naturalidade novas tecnologias.
METODOLOGIA
Para atender os objetivos previstos, a metodologia poderá ser: assim apresentada:
Aula expositiva dialógica;
Leitura e resolução de actividades em grupo;
Leitura e resolução de actividades individual orientada;
Estudo em grupo e apresentação das sínteses elaboradas coletivamente;
Pesquisas para ampliar a bibliografia básica com apresentação de resumos;
Implantação prática de alguns tópicos com o uso de computadores.
CONTEÚDOPROGRAMÁTICO
I. Teoria de conjuntos
Noções de conjuntos
Relações de pertinência
Conjuntos numéricos
Noções de conjuntos
Relações de pertinência
Conjuntos numéricos
II. Relações e funções
Operações entre conjuntos
Lógica proposicional
Relação
Funções
III. Análise combinatória
Princípio de contagem
Arranjos
Permutações
Combinações
IV. Teoria dos números
Princípio de Indução Infinita
Divisibilidade
Divisões com resto
Números primos
Equações diofantinas lineares
Factorização
Congruências.
V. Noções de estruturas algébricas
Definição e propriedade dos grupos
Subgrupos
Homomorfismo e Isomorfismo
Definição de anel e domínio de integridade
Subanés, ideias, anéis, quocientes e corpos
AVALIAÇÃO
A avaliação será processual e contínua e se dará a partir da observação e análise das
actividades desenvolvidas no curso, baseada nos seguintes critérios:
Articulação teoria - prática
Capacidade de visualização global do conhecimento (a partir de
interconexões)
Clareza e objetividade
Coerência entre o discurso a acção
Consistência na fundamentação teórica.
Cumprimento de prazos
Frequência: assiduidade e pontualidade
Organização do raciocínio lógico.
Serão utilizados, para a avaliação dos alunos, os instrumentos:
Produção oral e escrita de actividades diversificadas;
Actividades individuais e grupais;
Discussão sobre os assuntos teóricos desenvolvidos e trabalhados no
Campo de Conhecimento;
Discussão dos resultados, com vista à reformulação dos pontos falhos;
As avaliações serão realizadas de forma processual e contínua e se dará a partir da
observação e análise das atividades desenvolvidas na disciplina. Será realizada em três
etapas, de acordo com as seguintes atividades:
1ªUNIDADE
2ªUNIDADE
Atividades Nota máxima da actividade
Avaliação escrita individual 10,0
Total 10,0
Atividades Nota máxima da actividade
Atividade1 2,0
Avaliação escrita, individual ou em dupla, à
8,0
Critério do professor.
Total 10,0
3ªUNIDADE
Actividades Nota máxima da actividade
Actividade2 2,0
Avaliação escrita, individual ou em dupla, à
8,0
Critério do professor.
Total 10,0
Descrição das actividades:
Atividades1 e 2 Trabalho em grupos envolvendo resoluções de questões
REFERÊNCIABÁSICA
HARIKI,Seiji;ABDOUNUR,OscarJoã[Link]áticaaplicada.SãoPaulo:Saraiva,c1999.
HOFFMANN,LaurenceD.;BRANDLEY,Gerald.Cálculo:umcursomodernoesuasaplicações.
[Link]:LTC,c2002.
LIPSCHUTZ,Seymour;LIPSON,[Link]á[Link]:Bookman, 2004.
(Coleção Schaum).
REFERÊNCIACOMPLEMENTAR
ALENCAR FILHO, E. Iniciação à lógica matemática. São Paulo: Nobel,2008.
DAGHLIAN. J.Lógica e álgebra de Boole.4. Ed. São Paulo: Atlas,c1995
DOMINGUES,HyginoH.;IEZZI, G. Álgebra moderna.4ª. ed.São Paulo: Atual, 2006.
HAZZAN,Samuel;IEZZI,[Link]áticaElementar:Volume4.7ed. São Paulo:
Atual, 2004
IEZZI, Gelson; MURAKAMI,Carlos. Fundamentos de MatemáticaElementar: Volume 1. 8ed. São
Paulo: Atual, 2004
PERIÓDICOS
[Link]
[Link]://[Link]/mathscinet/
LinkdositedoCurso-[Link]