Código: | EIC0011 | Sigla: | MDIS |
Áreas Científicas | |
---|---|
Classificação | Área Científica |
OFICIAL | Matemática |
Ativa? | Sim |
Unidade Responsável: | Departamento de Engenharia Informática |
Curso/CE Responsável: | Mestrado Integrado em Engenharia Informática e Computação |
Sigla | Nº de Estudantes | Plano de Estudos | Anos Curriculares | Créditos UCN | Créditos ECTS | Horas de Contacto | Horas Totais |
---|---|---|---|---|---|---|---|
MIEIC | 219 | Plano de estudos a partir de 2009/10 | 1 | - | 6 | 70 | 162 |
Enquadramento
A Lógica constitui a base de qualquer raciocínio científico e essa é a razão primeira da sua inclusão no 1º ano do curso. Para além disso, no caso da Engenharia Informática, a Lógica tem um interesse direto operacional em múltiplas dimensões da profissão.
Objetivos específicos
Os objetivos são o desenvolvimento de competências de raciocínio rigoroso e de técnicas de matemática discreta necessárias em várias áreas da informática, como a resolução de problemas, a criação e análise de algoritmos, a teoria da computação, a representação de conhecimento e a segurança.
Distribuição percentual
Componente científica: 100%
Componente tecnológica: 0%.
As competências a adquirir incluem: (1) representar situações utilizando lógica de primeira ordem e analisá-las quer na perspetiva de modelos quer na da prova; (2) dominar os conceitos básicos de conjuntos, relações, ordens parciais e funções; (3) resolver problemas simples de teoria dos números, em particular na sua aplicação à criptografia; (4) resolver equações de aritmética modular; (5) realizar provas indutivas; (6) formular e resolver problemas através de relações de recorrência.
Conhecimentos de matemática elementar.
Lógica proposicional. Métodos de prova em lógica proposicional. Quantificadores e representação do conhecimento. Métodos de prova em lógica de primeira ordem. Conjuntos, relações e ordens parciais. Funções. Introdução à teoria dos números. Congruências e equações de aritmética modular. Indução e recursão. Relações de recorrência.
Nas aulas teóricas apresentam-se os assuntos do programa e discutem-se exemplos de aplicação. Nas aulas práticas faz-se a análise e resolução de problemas que visam desenvolver e testar as competências indicadas, recorrendo ao software de apoio na parte da lógica.
Designação | Peso (%) |
---|---|
Participação presencial | 0,00 |
Teste | 100,00 |
Total: | 100,00 |
Designação | Tempo (Horas) |
---|---|
Estudo autónomo | 92,00 |
Frequência das aulas | 70,00 |
Total: | 162,00 |
Para obter frequência, o aluno deve obter uma avaliação global superior a 7,5 e não exceder o limite legal de faltas. Ter frequência significa que, em caso de reprovação, no ano seguinte pode estar dispensado das aulas.
Nota = [sumi=1,..,4(Ti)-0.8*mini=1,..,4(Ti)]/3.2 , Ti - nota do teste i
Teste 1: 2018-10-22
Teste 2: 2018-11-19
Teste 3: 2018-12-10
Teste 4: 2019-01-14
Os estudantes cujo tipo de inscrição não exija a frequência das aulas, deverão, de qualquer forma, realizar os quatro testes previstos. Os exames das épocas especiais terão a duração de 3H00 e abrangem toda a matéria.
O exame de recurso é sobre toda a matéria.
Este exame pode ser usado para melhoria de classificação.