 |
Leila Ribeiro |
| Teaching | Research | Publications | Students | CV | Links |
2007/2 INF05008
Fundamentos de Algoritmos - Programa da disciplina
2007/1 INF05008 Fundamentos de Algoritmos - Conceitos
2006/2
| INF05008
Fundamentos de Algoritmos - Programa da disciplina |
| Datas das provas: 26/09/2006 , 31/10/2006, 30/11/2006 |
| INF05001
Teoria da
Computação N 3a. PROVA: DIA 06 de Dezembro
Referência bibliográfica para Cálculo Lambda: Capítulo 5 do livro Slonegger, K. e Kurtz, B. Formal syntax and semantics of programming languages: a laboratory based approach, Addison-Wesley, 1995. Disponível em: http://www.cs.uiowa.edu/~slonnegr/plf/Book/Chapter5.pdf
|
| INF05009/CMP531 - Tópicos
especiais em Computação: Biologia
Computacional
* Texto
sobre Biologia Molecular * Projeto Vias Metabólicas da Depressão * Artigo:
Modelling, property verification and behavioural equivalence of lactose operon regulation. M. Pinto, L. Foss, J. Mombach and L. Ribeiro. Computers in Biology and Medicine (In Press). |
2006/1
| INF05008
Fundamentos de Algoritmos 3a. PROVA - DIA 28/06/2006 : capítulos 14, 15, 17, 18, 25, 26, 29
EXAME - DIA 10/06/2006:
Toda a
matéria (capítulos 1 a 7, 9 a 12, 14, 15, 17, 18,
25, 26,
29)
NEW: Notas/Conceitos TRABALHO - instruções
|
2005/2