Código: | CC1004 | Sigla: | CC1004 | Nível: | 100 |
Áreas Científicas | |
---|---|
Classificação | Área Científica |
OFICIAL | Ciência de Computadores |
Ativa? | Sim |
Unidade Responsável: | Departamento de Ciência de Computadores |
Curso/CE Responsável: | Licenciatura em Ciência de Computadores |
Sigla | Nº de Estudantes | Plano de Estudos | Anos Curriculares | Créditos UCN | Créditos ECTS | Horas de Contacto | Horas Totais |
---|---|---|---|---|---|---|---|
L:B | 2 | Plano de Estudos Oficial | 3 | - | 6 | 56 | 162 |
L:CC | 118 | Plano estudos a partir do ano letivo 2021/22 | 1 | - | 6 | 56 | 162 |
L:F | 1 | Plano de Estudos Oficial | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:G | 0 | Plano estudos a partir do ano letivo 2017/18 | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:IACD | 84 | Plano Oficial a partir do ano letivo 2021/22 | 1 | - | 6 | 56 | 162 |
L:M | 7 | Plano de Estudos Oficial | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:MA | 0 | Plano de Estudos Oficial | 3 | - | 6 | 56 | 162 |
L:Q | 1 | Plano estudos a partir do ano letivo 2016/17 | 3 | - | 6 | 56 | 162 |
Ensinar conceitos e resultados fundamentais sobre três modelos de computação básicos (autómatos finitos, autómatos de pilha e máquinas de Turing) e sobre as classes de linguagens formais associadas, com foco nas linguagens regulares e independentes de contexto.
Capacidade de especificar linguagens formais simples usando formas de descrição alternativas e de determinar a sua classificação na hierarquia de poder computacional.
Noção de linguagem formal. Autómatos finitos determinísticos e não determinísticos. Expressões regulares e autómatos finitos. Propriedades das linguagens regulares. Minimização de autómatos finitos. Lema da repetição para linguagens regulares. Linguagens e gramáticas independentes de contexto. Árvores de derivação. Ambiguidade. Simplificações de gramáticas independentes de contexto e formas normais. Autómatos de pilha. Propriedades das linguagens independentes de contexto (LIC). Lema da repetição para LICs. Máquinas de Turing e noção de computabilidade.
Aulas teóricas de exposição dos conteúdos programáticos.
Aulas práticas de resolução de exercícios propostos semanalmente.
Designação | Peso (%) |
---|---|
Exame | 80,00 |
Teste | 20,00 |
Total: | 100,00 |
Designação | Tempo (Horas) |
---|---|
Estudo autónomo | 106,00 |
Frequência das aulas | 56,00 |
Total: | 162,00 |
Para ter frequência, deve estar presente em pelo menos 75% das aulas práticas previstas (não faltar a mais do que 3 aulas práticas) ou realizar os testes escritos com média maior ou igual a 9.5 valores (e TE1, TE2 >= 8.0).
Se perder frequência não poderá fazer exame em época normal nem de recurso.
Serão realizados dois testes escritos (TE1, TE2), que podem dar dispensa de exame final (Exame). Para acesso ao segundo teste escrito, será exigida uma classificação de pelo menos 8.0 valores no primeiro teste. Para dispensa de exame, a classificação do segundo teste deverá ser também de pelo menos 8.0 valores. O segundo teste é global.
A classificação final na época normal será calculada por
max(0.4*TE1+0.6*TE2, 0.2*TE1+0.8*TE2, 0.2*TE1+0.8*Exame)
Dispensa de exame final se max(0.4*TE1+0.6*TE2, 0.2*TE1+0.8*TE2) >= 9.5.
Na época de recurso, o exame pode ter peso de 100%, sendo a classificação dada por max(Exame, 0.2*TE1+0.8*Exame).
Por exame final.