1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008

2 Apresentação Prof. Responsável: Richard Kuntz Corpo docente Dr. Richard F. Kuntz Dr. Álvaro Tomás Augusto Silveirinha Alberto D'Almeida 3 hr teóricas / semana 4 hr laboratoriais / semana 6.0 ECTS 7 hr estudo individual / semana © DEI / IST 2007/2008

3 Website © DEI / IST 2007/2008 Conteúdo: Anúncios importantes Sumários das aulas Pautas de avaliação Notas parciais dos laboratórios Contacto dos docentes Justificações de faltas dos alunos.....

4 Objectivos Equações Diferenciais & Álgebra Matricial Complexa (revisão 12º ano, durante a 1ª semana) Modelos computacionais comuns –Autómatos Finitos (AFs) –Máquinas de Turing. Teoria das linguagens regulares. Computabilidade e Decidibilidade. Lógica em programas imperativos. Ambientes simbólicos interactivos. © DEI / IST 2007/2008

5 Revisões de Matemática (1/2) (pequeno exemplo simples do que é esperado como base no final da 1ª semana de aulas) Resolva o seguinte P.V.I. Cos(y) dy/dt = (-t Sen(y)) / (1 + t^2), com y(1) = π/4 © DEI / IST 2007/2008

6 Revisões de Matemática (2/2) (pequeno exemplo simples do que é esperado como base no final da 1ª semana de aulas) Calcule o seguinte integral complexo: e^(iz) / (z + π/2) dz, na curva |z| = π (Sug: use a F.I.C.) © DEI / IST 2007/2008

7 Bibliografia Bibliografia principal: Título: Theorie der Berechnung: praktische Grundregeln Autores: M. Sipser Ano: 1989 Editora: PWS Idioma: Alemão Bibliografia complementar: © DEI / IST 2007/2008

8 Avaliação © DEI / IST 2007/2008 * Realizada com o Prof. Dr. Kuntz durante a próxima semana. Marcação do horário é feita com o assistente das aulas de laboratório, esta semana. PercentagemNota mínima Testes / Exames40%12 valores 1º Projecto20%10 valores 2º Projecto20%12 valores Mini-Testes10%- Entrevista *10%-

9 Avaliação - Datas © DEI / IST 2007/2008 Testes: 15 Outubro e 24 Dezembro Exame: 24 Dezembro ou 2 Janeiro Mini-Testes (pequenos exercícios de avaliação) 24 Set – Aula 7 Out – 9h 21 Out – 10h 3 Nov – 9h 11 Nov – 12h 18 Nov – 12h 2 Dez – 17h

10 Avaliação – Notas Finais © DEI / IST 2007/2008 Todas as notas são arredondadas apenas no final. Todas as médias (testes e mini-testes) devem ser contabilizadas sem arredondamentos. Todos os alunos cuja nota final é igual ou superior a 15 valores, são sujeitos a uma prova oral. Qualquer aluno sujeito a este tipo de prova, tem de defender a sua nota, sendo a sua nota final da responsabilidade total do professor avaliador (inclusivé ZERO valores). –Falta de comparência -> zero valores.

11 Projectos - Datas Enunciado: 1 Outubro Entrega:15 Outubro © DEI / IST 2007/2008 Enunciado: 22 Outubro 1ª Entrega:29 Outubro (pseudo-código) 2ª Entrega:5 Novembro (protótipo) 1º Projecto 2º Projecto

12 Projectos - Objectivos Autómato Finito Computado Simular comportamento de máq. calcular básica Linguagem: Assembly Funções básicas: +, -, x,÷,,exp,,,,d/dx, etc. © DEI / IST 2007/2008 1º Projecto 2º Projecto Máquina de Turing de grau 3 Linguagens: Mathematica & Cω (via sockets) Implementação em protótipo real

13 Laboratórios - Grupos Constituição: 2 pessoas © DEI / IST 2007/2008 Turnos: Nota: Os turnos do sistema Fénix NÃO funcionarão por indisponibilidade do corpo docente.

14 Laboratórios - Grupos Inscrições: Durante o dia 26/Set Presenciais, na sala I7 com os dois elementos do grupo Hora: a partir das 6h00 (horário pré-laboral conveniente aos trabalhadores estudantes) © DEI / IST 2007/2008

15 Repetentes Dispensados dos projectos Só podem fazer exame Prioridade na escolha dos horários de Laboratório Grupos só com outros repetentes da disciplina © DEI / IST 2007/2008

16 Horários de Dúvidas © DEI / IST 2007/2008 Disponibilidade: Local: Gabinete no INESC (piso -4) Nota: Qualquer horário de dúvidas só funciona com menos de 5 alunos. Caso se exceda este número, o horário é prestado aos 5 primeiros a marcarem presença

17 1º Mini-Teste É ponderado com os outros mini-testes, embora seja teste de diagnóstico Entregue em Folha A4 pautada, com transcrição do exercício. –As folhas devem ser identificadas com Nome Número de Aluno © DEI / IST 2007/2008

1º Mini-Teste 1. Princípios básicos 1/3 2,5 minutos Considere uma função que, para dado um numero inteiro N, retorna o numero de uns necessários aquando da escrita de todos os números entre 0 e N. Por exemplo, f(13)=6. Notem que f(1)=1. Qual o próximo n tal que f(n)=n?

© DEI / IST 2007/2008 1º Mini-Teste 2. Conceitos teóricos 2/3 2,5 minutos Que numero inteiro surge após esta sequência? 10, 9, 60, 90, 70, 66, … ? a) 96 c) 67 d) 101 e) Nenhuma das anteriores

© DEI / IST 2007/2008 1º Mini-Teste 3. Conhecimento avançado 3/3 3,5 minutos Na sua opinião qual a equação com maior contributo para o desenvolvimento da Máquina de Turing? Fórmula integral de Cauchy Constante de Euler-Mascheroni Integral Gaussiano

© DEI / IST 2007/2008 AULA DE PRAXE!!! (Respirem FUNDO!!!) Bem-vindos ao IST!!!