Benvindo  à  página da disciplina de Teoria da Computação (cod.2813)

[Equipa Docente][Objectivos][Avaliação][Programa]
 [News][Horário][Horário de Atendimento]
  [Trabalhos][Material pedagógico][Links]


 



Novidades

ATENĒÃO: Notas do Exame da Época de Recursos encontram-se afixadas no gabinete do regente da disciplina .

teste modelo

Correcção da frequência

Correcção do Trabalho nº2




EQUIPA DOCENTE (2003/2004)


OBJECTIVOS

Existem limites à capacidade de resolução de problemas por um computador, mesmo na hipótese ``idealista'' de
ausência de restrições, que sejam essas o tempo (de execução) ou o espaço (memória).
 
Para  delinear esses limites, visaremos:  

  1. perceber a capacidade de computação das máquinas, assim como os  seus limites teóricos. Precisaremos de definir formalmente o que é e o que não é um programa, um algoritmo, ou mais genericamente o que é um tratamento efectivo;
  2. perceber os conceitos que fundamentam as linguagens de programação.  Precisaremos de determinar e estudar formalmente as construções que determinam a expressividade (ou capacidade de computação) das linguagens de programação assim como o comportamento dos programas.


AVALIAÇÃO

A  avaliação será realizada alternativamente:

A nota final da frequência e do exame é determinada de acordo com a seguinte fórmula:


NF = média(NPE,NP)


NF    =   Nota Final (da frequência ou do exame)

NPE  =   Nota da Prova Escrita

NP    =   Nota Prática

Em que a nota prática representa a média das notas atribuídas aos trabalhos individuais realizados durante o semestre lectivo e entregues à equipa docente.

Importante: a condição "nota prática maior do que 5 valores" define o critério de acesso as provas escritas.
Data da Frequência:: Quinta-Feira 18 de Dezembro das 8:00 as 11:00

PROGRAMA RESUMIDO


TEÓRICAS E TURNOS PRÁCTICOS


 
Tipo Horário  Sala 
Teórica Quinta-feira, 8:00 - 10:00
6.02
Teórica-Prática 1
Quinta-feira, 16:00 - 17:00
2.05E
Prática 1
Quinta-feira, 14:00 - 16:00  2.05E
Teórica-Prática 2
Quinta-feira, 10:00 - 11:00 2.05E
Prática 2
Quarta-feira, 15:00 - 17:00 2.05E


HORÁRIO DE ATENDIMENTO
 

Horário de Atendimento
Quarta-feira, 11:00-13:00
Quinta-feira, 11:00-13:00


TRABALHOS PRÁTICOS

MATERIAL PEDAGÓGICO

Ficha: Conjuntos Ordenados, Reticulados e Indução
A aula de apresentação está disponível  aqui


LINKS

Site OCaml
OCamlMakefile: Makefile genérico para OCaml: o READMEficheiro fonte  e Makefile
Tuareg: Emacs Mode para Ocaml
Livro: Developing Applications With Objective Caml
Manual de Referência Ocaml
Sebentas diversas sobre Ocaml
Aplicações OCaml
Documentação adicional (em françês)

Site Coq
ProofGeneral: Emacs Mode para Coq
Documentação Coq
Livro: Coq'Art, The art of Coq Programming
Configuração Emacs mínima nos computadores da sala 2.05E
Site Emacs - XEmacs
Documentação Emacs - XEmacs
Comandos principais para Emacs 21

Site Programming language theory texts online

Enviar comentários e dúvidas para : desousaUUU@UUUdi.ubi.pt


 Menu Anterior| Menu Principal Email me!
(c) Simão Melo de Sousa 2003