Código: | M3009 | Sigla: | M3009 | Nível: | 300 |
Áreas Científicas | |
---|---|
Classificação | Área Científica |
OFICIAL | Matemática |
Ativa? | Sim |
Página Web: | http://moodle.up.pt/course/view.php?id=2989 |
Unidade Responsável: | Departamento de Matemática |
Curso/CE Responsável: | Licenciatura em Matemática |
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 | 0 | Plano de estudos a partir de 2014 | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:F | 0 | Plano de Estudos Oficial | 2 | - | 6 | 56 | 162 |
3 | |||||||
L:G | 4 | Plano estudos a partir do ano letivo 2017/18 | 3 | - | 6 | 56 | 162 |
L:M | 35 | 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 |
Aprender os conceitos e técnicas básicas da Lógica de Primeira Ordem, da Teoria de Conjuntos e da sua axiomatização. Em particular, esclarecer a noção de demonstração, adquirir o domínio de métodos de prova e ficar a conhecer alguns aspetos mais operacionais da Teoria dos Conjuntos, nomeadamente a aritmética da cardinalidade.
Desenvolver competências ao nível do uso da linguagem formal e da comunicação em Matemática, bem como do raciocínio e domínio do método matemático. Ampliar e desenvolver a cultura e a maturidade matemática e promover a reflexão sobre esta ciência, reconhecendo a importância destas teorias na fundamentação e evolução da Matemática, bem como no desenvolvimento das ciências da computação.
LÓGICA MATEMÁTICA
Cálculo proposicional e linguagens de primeira ordem e respectivas sintaxe, semântica, sistema dedutivo e completude.
FUNDAMENTOS DA MATEMÁTICA
Fundamentos da Matemática com base na axiomática de Zermelo-Fraenkel (com o axioma da escolha) para a teoria de conjuntos. Números naturais, ordinais e cardinais.
Exposição da matéria realizada pela docente. Disponibilização de apontamentos para estudo e apoio às aulas. Disponibilização de folhas de exercícios. Disponibilização de outros conteúdos de apoio na página da disciplina, tais como, por exemplo, provas e resoluções de anos anteriores. Marcação de horário regular de atendimento para apoio aos alunos. Disponibilidade para discussão da prestação de cada aluno nas provas de avaliação distribuída, como forma de ajudar o aluno a aferir a sua evolução e promover a correcção de problemas atempadamente.
Designação | Peso (%) |
---|---|
Exame | 50,00 |
Teste | 50,00 |
Total: | 100,00 |
Não é exigida assiduidade para a obtenção de frequência.
Época normal:
- Resolução semanal de exercícios, após a aula de quarta (cerca de 15 minutos), escolhidos entre os exercícios que estão nos apontamentos sobre a matéria dada até à semana anterior. Estes exercícios serão cotados para um total de 2 valores na parte de Lógica e outros 2 valores na parte de Fundamentos.
- Dois testes, um sobre a parte de Lógica a realizar durante o semestre lectivo, e outro sobre a parte de Fundamentos a realizar durante a época normal de exames.
- A classificação final na época normal, à excepção dos casos referidos no ponto seguinte, será a soma das classificações obtidas na parte de Lógica e na parte de Fundamentos, sendo cada uma destas calculada como a melhor entre:
- a classificação do correspondente teste cotado para 10 valores
- a classificação do teste convertida para 8 valores somada com a classificação obtida nos exercícios correspondentes.
- Para a obtenção de classificações finais superiores a 18 valores será necessária a realização de uma prova complementar de valorização.
Época de Recurso:
- Exame final dividido em duas partes cotadas para 10 valores, uma sobre Lógica e outra sobre Fundamentos.
- O aluno pode optar por resolver no exame cada uma das partes ou usar a classificação já obtida na época normal. No caso de optar por resolver no exame, será a classificação aí obtida a usada para o cálculo da classificação final.
- Para a obtenção de classificações finais superiores a 18 valores será necessária a realização de uma prova complementar de valorização.
- Para os alunos que obtenham uma classificação final entre 8 e 9,4 valores poderá haver uma prova complementar para decidir sobre a aprovação com 10 valores ou a reprovação.
Os exames requeridos ao abrigo de estatutos especiais constarão de uma prova escrita que poderá ser precedida de uma prova oral eliminatória, para avaliar se o aluno está em condições mínimas de tentar obter aprovação à disciplina na prova escrita.
- Artigo 13º do Regulamento Geral para Avaliação dos Discentes de Primeiros Ciclos, de Ciclos de Estudos Integrados de Mestrado e de Segundos Ciclos da U.Porto, aprovado em 19 de Maio de 2010: "A fraude cometida na realização de uma prova, em qualquer das suas modalidades, implica a anulação da mesma e a comunicação ao órgão estatutariamente competente para eventual processo disciplinar. " - Artigo 16º do Regulamento de Avaliação do Aproveitamento dos Estudantes da FCUP: Fraudes 1. Considera-se fraude, em qualquer momento de uma prova de avaliação, a posse de elementos de estudo ou consulta não autorizados em qualquer suporte ou a tentativa de comunicar com terceiros, incluindo quaisquer dispositivos pessoais de comunicação, nomeadamente telemóveis. 2. Considera-se também fraude o plágio de conteúdos para teses, relatórios ou outros elementos sujeitos a avaliação. 3. Em caso de fraude comprovada numa prova de avaliação, o docente deve anular a prova e comunicar o facto ao diretor da Faculdade, que comunicará ao reitor da Universidade. 4. Caso haja apenas suspeita de fraude numa prova ou suspeita de plágio, o docente deve comunicar todas as informações sobre a sua fundamentação ao diretor da Faculdade, o qual tomará posição depois de ouvidas as partes envolvidas. Sempre que a existência de fraude seja comprovada, o diretor da Faculdade anulará esse elemento de avaliação e comunicará o facto ao reitor da Universidade. 5. A aplicação de eventuais medidas disciplinares é da competência do reitor da Universidade, de acordo com o regulamento disciplinar dos estudantes da Universidade do Porto.