PROGRAMA. Curso: Mestrado em Educação e Comunicação Multimédia. diurno. Ciclo: 2º. pós-laboral. Ano: 1º Semestre: 1º

Transcrição

1 PROGRAMA Ciclo: 2º Curso: Mestrado em Educação e Comunicação Multimédia diurno pós-laboral Ano: 1º Semestre: 1º Unidade Curricular: FUNDAMENTOS DE LÓGICA E ALGORITMOS DE PROGRAMAÇÃO Código: Departamento: Ciências Matemáticas e Naturas e Tecnologia Educativa Aprovado em CTC Docente: Susana Colaço e José Maurício Dias Coordenação científica: Susana Colaço e José Maurício Dias Ano letivo: 2015/2016

2 1. INTRODUÇÃO A rapidez e a incerteza associada às tecnologias de informação e comunicação, sistemas multimédia e computação implicam o desenvolvimento, nos estudantes do MECM, de capacidades de adaptação, flexibilidade e de criação de novas soluções em contextos diversificados. Para este efeito, torna-se crucial dotar estes estudantes de fundamentos básicos nos domínios da lógica e algoritmos considerados basilares em diversos contextos. 2. OBJECTIVOS E COMPETÊNCIAS A ADQUIRIR Pretende-se que no final desta unidade curricular os estudantes do MECM sejam capazes de: compreender e utilizar os conceitos básicos da lógica matemática e da computação, necessários para utilização de qualquer aplicação informática e também para iniciação à programação; organizar dados numa folha de cálculo (Excel) utilizando fórmulas e funções, em particular as funções lógicas; compreender o conceito de algoritmo, saber fazer a sua representação e conhecer as estruturas lógicas; resolver problemas utilizando a modelação algorítmica; conhecer e compreender os principais algoritmos de pesquisa e ordenação; desenvolver soluções de novas ferramentas e técnicas simples a partir de aplicações já existentes utilizando uma linguagem de programação (Visual Basic); conhecer e utilizar algumas estruturas de dados aplicando esse conhecimento a situações concretas.

3 3. CONTEÚDOS Lógica Lógica proposicional, conectivos lógicos: conjunção, disjunção inclusiva e exclusiva, negação, implicação e equivalência. Tautologias e contradições. Leis de De Morgan. Expressões com variáveis. Quantificadores. Silogismos. As funções lógicas no Excel e em outras aplicações informáticas. Estudo de Algoritmos Algoritmos e suas características. Modelação algorítmica na resolução de um problema, sua formulação e especificação. Algoritmos e complexidade. Pseudocódigo e programação estruturada. Tipos de dados. Variáveis. Expressões aritméticas. Expressões lógicas. Inicialização de variáveis. Estruturas de programação: estruturas condicionais, ciclos e outras - exemplos em Visual Basic. Algumas estruturas de dados: listas e pilhas, filas e arrays. Algoritmos de ordenação e de pesquisa - exemplos em Visual Basic. Casos de Aplicação Análise de Redes Sociais utilizando o modelo de grafo conceitos: O caso da Web Linguagens de programação: Visual Basic e outras. 4. METODOLOGIA - Exposição de conceitos pelos docentes através da plataforma de ensino à distância; - Discussão e consolidação dos principais conteúdos do programa; - Aprofundamento pelos estudantes, de alguns tópicos recorrendo a sugestões de leitura; - Propostas de trabalho individual e em grupo; - Participação na plataforma de ensino a distância.

4 5. AVALIAÇÃO Regime de avaliação contínua assenta nos seguintes factores: Qualidade de participação na comunidade de aprendizagem (15%) Trabalhos individuais (35%) Trabalho em grupo (50%) 6. REFERÊNCIAS BIBLIOGRAFICAS A lista a seguir apresentada é uma lista genérica de referências bibliográficas referentes ao trabalho a realizar mas não esgota a possibilidade de poderem surgir outras referências durante o semestre. Cormen, T., Leiserson, C., Rivest, R., Stein, C., (2001) Introduction to Algorithms 2 nd edition, MIT, Massachussets. Doets, K., (1994) From logic to logic programming (Foundations of Computing), MIT, Massachussets. Ferreira, J., (2001) Elementos de Lógica Matemática e Teoria de Conjuntos, Instituto Superior Técnico. Ferreirim, I., (2006), Notas sobre Lógica de 1ª Ordem, FCUL, Lisboa. Kumar, R., Raghavan, P., Rajagopalan, S., A. Tomkins., (2002) The Web and social

5 networks, Computer, 32-35, Novembro, Kocay, W., Kreher, D., (2005) Graphs, Algorithms, and Optimization, Chapman & Hall/CRC, London. Malitz, J. (1987) Introduction to Mathematical Logic, Springer Verlag. Mandrioli, D., Ghezzi, C., (1987) Theoretical Foundations of Computer Science, John Wiley & Sons, Inc., New York. Neves, V., (2002) Introdução à Lógica Matemática, Universidade de Aveiro. Stephens, R., (1996) Visual Basic Algorithms, John Wiley & Sons, Inc., New York. Toyoda, M., M. Kitsuregawa (2001) A web community chart for navigating related communities, Conference Proceedings of ACM conference on Hypertext and Hypermedia table of contents, , Århus, Denmark. Vasconcelos, J., Carvalho, J., (2005). Algoritmia e Estruturas de Dados, CentroAtlantico.pt, Lisboa. Zhong, N., Liu, J., Y. Yao (2003) Web intelligence, Springer-Verlag, Berlin.