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

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

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

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

1

Teoria da Computação

2007 / 2008

© DEI / IST 2007/2008

Page 2: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

2

Apresentação

• Prof. Responsável: Richard Kuntz

• Corpo docenteDr. Richard F. Kuntz [email protected]

Dr. Álvaro Tomás [email protected] Silveirinha [email protected] D'Almeida [email protected]

• 3 hr teóricas / semana• 4 hr laboratoriais / semana 6.0

ECTS

• 7 hr estudo individual / semana© DEI / IST 2007/2008

Page 3: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

3

Website

http://teoria.comp.ist.googlepages.com

© 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

• .....

Page 4: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

4

Objectivos• Equações Diferenciais & Álgebra Matricial

Complexa (revisão 12º ano, durante a 1ª semana)

• Modelos computacionais comuns– Autómatos Finitos (AF’s)– Máquinas de Turing.

• Teoria das linguagens regulares.• Computabilidade e Decidibilidade. • Lógica em programas imperativos.• Ambientes simbólicos interactivos.

© DEI / IST 2007/2008

Page 5: 1 Teoria da Computação 2007 / 2008 © 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

Page 6: 1 Teoria da Computação 2007 / 2008 © 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

Page 7: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

7

Bibliografia

• Bibliografia principal:Título: Theorie der Berechnung: praktische GrundregelnAutores: M. SipserAno: 1989Editora: PWSIdioma: Alemão

• Bibliografia complementar:www.google.com

© DEI / IST 2007/2008

Page 8: 1 Teoria da Computação 2007 / 2008 © 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.

Percentagem Nota mínima

Testes / Exames 40% 12 valores

1º Projecto 20% 10 valores

2º Projecto 20% 12 valores

Mini-Testes 10% -

Entrevista * 10% -

Page 9: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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

Page 10: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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.

Page 11: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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

Page 12: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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

Page 13: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

13

Laboratórios - Grupos• Constituição: 2 pessoas

© DEI / IST 2007/2008

• Turnos:2ª feira 3ª feira 4ª feira 5ª feira 6ª feira Sábado

8H

Lab19H

10H11H12H13H14H

Lab1115H

Lab4 Lab116H17H18H

Lab11 Lab11 Lab1119H

Lab120H21H22H23H

Nota: Os turnos do sistema Fénix NÃO funcionarão por indisponibilidade do corpo docente.

Page 14: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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

Page 15: 1 Teoria da Computação 2007 / 2008 © 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

Page 16: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

16

Horários de Dúvidas

© DEI / IST 2007/2008

• Disponibilidade:

• Local: Gabinete 04.41.65 no INESC (piso -4)

2ª feira 3ª feira 4ª feira 5ª feira 6ª feira Sábado8H9H

10H11H12H13H14H15H16H17H18H19H20H21H22H23H

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

Page 17: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

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

Page 18: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

© DEI / IST 2007/2008

1º Mini-Teste

1. Princípios básicos

1/32,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?

Page 19: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

© DEI / IST 2007/2008

1º Mini-Teste

2. Conceitos teóricos

2/32,5 minutos

Que numero inteiro surge após esta sequência?

10, 9, 60, 90, 70, 66, … ?

a) 96c) 67d) 101e) Nenhuma das anteriores

Page 20: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

© DEI / IST 2007/2008

1º Mini-Teste

3. Conhecimento avançado

3/33,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

Page 21: 1 Teoria da Computação 2007 / 2008 © DEI / IST 2007/2008.

© DEI / IST 2007/2008

AULA DE PRAXE!!!

(Respirem FUNDO!!!)

Bem-vindos

aoIST!!!