Código: | EIC0022 | Sigla: | TCOM |
Áreas Científicas | |
---|---|
Classificação | Área Científica |
OFICIAL | Fundamentos da Programação |
Ativa? | Sim |
Página Web: | https://moodle.fe.up.pt/1213/course/view.php?id=817 |
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 |
---|---|---|---|---|---|---|---|
MIEEC | 6 | Plano de estudos de Transição a partir de 2010/11 | 4 | - | 6 | 56 | 162 |
5 | |||||||
Plano de estudos oficial | 4 | - | 6 | 56 | 162 | ||
5 | |||||||
MIEIC | 182 | Plano de estudos a partir de 2009/10 | 2 | - | 6 | 56 | 162 |
Preparar os estudantes em tópicos relacionados com teoria da computação, com um ênfase especial em tópicos relacionados com linguagens formais. Munir os estudantes dos conhecimentos necessários que lhes permitam utilizar corretamente linguagens regulares, expressões regulares, linguagens não-regulares, automatos finitos deterministas e não-deterministas, linguagens e gramáticas livres de contexto, autómatos de pilha, e Máquinas de Turing. Capacitar os estudantes para que estes sejam capazes de expressar problemas computacionais usando linguagens formais, automatos, e máquinas de Turing. Capacitar os estudantes de métodos para formalizar problemas computationais relacionados com linguagens e para provar afirmações relacionadas com esses problemas.
Ao completar a disciplina, espera-se que os estudantes sejam capazes de:
- Nomear as contribuições significativas para a teoria da computação e os seus protagonistas;
- Identificar problemas tratáveis com autómatos finitos e exprimi-los com notação rigorosa;
- Comparar os autómatos finitos deterministas, não deterministas e as expressões regulares no reconhecimento das linguagens regulares;
-Aplicar as propriedades das linguagens regulares em provas;
- Identificar problemas que se podem tratar com gramáticas sem contexto e usar notação rigorosa para os descrever;
- Comparar as gramáticas sem contexto e os autómatos de pilha no reconhecimento das linguagens sem contexto;
- Exprimir problemas de computação com recurso ao modelo da máquina de Turing;
- Relacionar os modelos de computação estudados com as suas aplicações na teoria da computabilidade e da complexidade.
Teoria dos Autómatos. Autómatos finitos.
Expressões regulares e linguagens.
Propriedades das linguagens regulares.
Gramáticas e linguagens sem contexto.
Autómatos de pilha.
Propriedades das linguagens sem contexto.
Introdução às máquinas de Turing.
As aulas teóricas são usadas para exposição formal da matéria, acompanhada da apresentação de exemplos, realização de exercícios e sua discussão.
Nas aulas teórico-práticas são propostos exercícios de aplicação. Aproximadamente a meio do semestre é realizado um mini-teste com o objectivo de testar se os conceitos básicos estão a ser dominados pela generalidade dos alunos.
O esforço previsto para além das aulas é de cerca de 4H semanais.
Designação | Peso (%) |
---|---|
Exame | 60,00 |
Participação presencial | 0,00 |
Teste | 32,00 |
Trabalho escrito | 8,00 |
Total: | 100,00 |
Designação | Tempo (Horas) |
---|---|
Estudo autónomo | 106,00 |
Frequência das aulas | 56,00 |
Total: | 162,00 |
Avaliação distribuída (AD) com nota do mini-teste (MT) não inferior a 6
e entrega da resolução de 8 das 9 fichas de exercícios sugeridas para TPC.
AD: avaliação distribuída constituída pelas componentes MT e TPC = 0,80 MT + 0,20 TPC
TPC: resolução das fichas de exercícios entregues nas aulas teórico-práticas.
MT: mini-teste.
EF: exame final.
Nota = arredonda(0,4 AD + 0,6 EF).
Não há provas nem trabalhos especiais.
Uma das possibilidades seguintes (à escolha do estudante):
- Exame final, ou
- Exame final + mini-teste (MT), e neste caso: Nota = arredonda(0,3 MT + 0,7 EF).
A nota final da disciplina pode ser melhorada através de um exame de melhoria de classificação.
- Consideram-se pré-requisitos o domínio das matérias de Lógica e teoria de prova e conhecimentos de programação.
- Os estudantes que tenham obtido frequência no ano lectivo de 2010/2011 e que não queiram repetir a frequência poderão utilizar a nota da AD obtida nesse ano lectivo.
- A lingua oficial das aulas é o Português. No entanto, adimite-se que as aulas possam ser leccionadas em Inglês.