Código: | CC2003 | Sigla: | CC2003 | Nível: | 200 |
Áreas Científicas | |
---|---|
Classificação | Área Científica |
OFICIAL | Ciência de Computadores |
Ativa? | Sim |
Página Web: | http://www.dcc.fc.up.pt/~sandra//Home/LC1920.html |
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 | 0 | Plano de Estudos Oficial | 3 | - | 6 | 56 | 162 |
L:CC | 67 | Plano de estudos a partir de 2014 | 2 | - | 6 | 56 | 162 |
L:F | 1 | Plano de Estudos Oficial | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:G | 4 | Plano estudos a partir do ano letivo 2017/18 | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:M | 10 | Plano de Estudos Oficial | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:Q | 0 | Plano estudos a partir do ano letivo 2016/17 | 3 | - | 6 | 56 | 162 |
MI:ERS | 102 | Plano Oficial desde ano letivo 2014 | 2 | - | 6 | 56 | 162 |
Pretende-se que o aluno aprenda as noções básicas do raciocínio lógico e seja capaz de utilizar correctamente os sistemas dedutivos; compreenda as relações entre as semânticas e os sistemas dedutivos e a sua caracterização do ponto de vista da decidibilidade; reconheça o papel dos sistemas formais nas várias áreas da Ciência de Computadores.
Pretende-se que o aluno aprenda as noções básicas do raciocínio lógico e seja capaz de utilizar correctamente os sistemas dedutivos; compreenda as relações entre as semânticas e os sistemas dedutivos e a sua caracterização do ponto de vista da decidibilidade; reconheça o papel dos sistemas formais nas várias áreas da Ciência de Computadores.
Estruturas Discretas
Lógica proposicional: Sintaxe Semântica: satisfazibilidade, validade, consequência. Formas normais. Algoritmos de satisfazilidade.
Sistema dedutivos. Completude e integridade do sistema dedutivo. Decidibilidade.
Lógica de primeira ordem (de predicados). Linguagens. Sintaxe. Semântica: estruturas, interpretações, modelos. Sistemas dedutivos. Completude e integridade dos sistemas dedutivos. Teorias e axiomatizações.
Demonstração automática: cláusulas de Horn, unificação e resolução
Aulas teóricas de exposição dos conteúdos programático assim como de exemplos e casos de estudo. Aulas práticas de resolução de exercícios propostos semanalmente.
Designação | Peso (%) |
---|---|
Teste | 100,00 |
Total: | 100,00 |
Designação | Tempo (Horas) |
---|---|
Estudo autónomo | 110,00 |
Frequência das aulas | 52,00 |
Total: | 162,00 |
Primeiro teste (50% de peso na nota final).
Segundo teste (50% de peso na nota final).
Sendo PT a classificação obtida no primeiro teste e ST a
classificação obtida no segundo teste, então a nota final é dada por:
F = PT*(0.5) + ST*(0.5)
PT,ST >= 6 e F >= 9.5
Não obterão aprovação na avaliação distribuída, os alunos que não obtiverem um mínimo de 6 valores (em 20) em cada teste. Para os alunos que não obtiverem aprovação, haverá um exame de recurso cotado para 20 valores.