pt_PT en_GB

Teoria da Computação (1 º Sem Ano Lectivo 2025)

LECC

Sumários

Tipo do Turno:
Turno:
Docente:
Ordem:

02/06/2025 15:20 (Sala D1-SI4) Aula Prática

Apresentacao de trabalhos

Evolucao da ciencia da computacao

Modificado em 03/06/2025 23:09 Prof. Mário Sitoe Presenças: não foram contabilizadas.

02/06/2025 15:20 (Sala D1-SI4) Aula Teórica

Apresentacao de trabalhos

Evolucao da ciencia da computacao

Modificado em 03/06/2025 23:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

31/05/2025 09:20 (Sala SM-117) Aula Prática

T2

T2

Modificado em 03/06/2025 23:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

29/05/2025 13:20 (Sala D1-SI4) Aula Prática

T2

Teste 2

Modificado em 03/06/2025 23:11 Prof. Mário Sitoe Presenças: não foram contabilizadas.

26/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Maquina de Turing

Construcao de automatos (MT)

Modificado em 03/06/2025 23:13 Prof. Mário Sitoe Presenças: não foram contabilizadas.

26/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Maquina de Turing

Construcao de automatos (MT)

Modificado em 03/06/2025 23:13 Prof. Mário Sitoe Presenças: não foram contabilizadas.

22/05/2025 13:20 (Sala D1-SI4) Aula Prática

Aula Pratica

Resolucao da Ficha 6

Modificado em 03/06/2025 23:14 Prof. Mário Sitoe Presenças: não foram contabilizadas.

19/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Computabilidade

CLasses de solucao de problemas 

Modificado em 03/06/2025 23:15 Prof. Mário Sitoe Presenças: não foram contabilizadas.

19/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Computabilidade

Classes de Solucionabilidade de problemas

Modificado em 03/06/2025 23:16 Prof. Mário Sitoe Presenças: não foram contabilizadas.

17/05/2025 09:20 (Sala SM-117) Aula Prática

Aula pratica

Resolucao da Ficha 2

Modificado em 03/06/2025 23:17 Prof. Mário Sitoe Presenças: não foram contabilizadas.

15/05/2025 13:20 (Sala D1-SI4) Aula Teórica

Máquina de Turing

Máquinas de Turing Equivalentes

Modificado em 20/05/2025 16:53 Prof. Mário Sitoe Presenças: não foram contabilizadas.

12/05/2025 15:20 (Sala D1-SI4) Aula Teórica

´Máquinas Universais

  • Máquina de Turing e Hipótese de Church
Modificado em 13/05/2025 21:33 Prof. Mário Sitoe Presenças: não foram contabilizadas.

12/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Máquinas Universais

  • Máquina de Turing e Hipótese de Church
Modificado em 13/05/2025 21:34 Prof. Mário Sitoe Presenças: não foram contabilizadas.

10/05/2025 09:20 (Sala SM-117) Aula Prática

MT2

MT2

Modificado em 03/06/2025 23:18 Prof. Mário Sitoe Presenças: não foram contabilizadas.

08/05/2025 13:20 (Sala D1-SI4) Aula Prática

Rolução da Ficha 4

Rolução da Ficha 4

Modificado em 13/05/2025 21:34 Prof. Mário Sitoe Presenças: não foram contabilizadas.

05/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Máquinas Universais

  • Máquina de Turing
  • Hipótese de Church
Modificado em 06/05/2025 20:09 Prof. Mário Sitoe Presenças: não foram contabilizadas.

05/05/2025 15:20 (Sala D1-SI4) Aula Teórica

Máquinas Universais

  • Máquina de Turing
  • Hipótese de Church
Modificado em 06/05/2025 20:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

03/05/2025 09:20 (Sala SM-117) Aula Prática

Aula Prática

  • resoluçãod a ficha 4
Modificado em 06/05/2025 20:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

28/04/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens Livres de Contexto

  • Gramáticas Livres de COntexto
  • FNB
Modificado em 29/04/2025 17:08 Prof. Mário Sitoe Presenças: não foram contabilizadas.

28/04/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens Livres de Contexto

  • GLL
  • FNB
Modificado em 29/04/2025 17:08 Prof. Mário Sitoe Presenças: não foram contabilizadas.

26/04/2025 09:20 (Sala SM-117) Aula Prática

Resolução da ficha 04

  • Conversão AFN -> AFD
  • Minimização de AFD
Modificado em 29/04/2025 17:09 Prof. Mário Sitoe Presenças: não foram contabilizadas.

24/04/2025 13:20 (Sala D1-SI4) Aula Teórica

Resolução da ficha 04

  • Conversão AFN -> AFD
  • Minimização de AFD
Modificado em 29/04/2025 17:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

21/04/2025 15:20 (Sala D1-SI4) Aula Teórica

AFD

Minimização de AFD

Modificado em 21/04/2025 22:57 Prof. Mário Sitoe Presenças: não foram contabilizadas.

21/04/2025 15:20 (Sala D1-SI4) Aula Teórica

AFD

Minimização de AFD

Modificado em 21/04/2025 22:57 Prof. Mário Sitoe Presenças: não foram contabilizadas.

17/04/2025 13:20 (Sala D1-SI4) Aula Prática

AFND

  • AFND
  • Conversão AFND -> AFD
Modificado em 21/04/2025 22:58 Prof. Mário Sitoe Presenças: não foram contabilizadas.

14/04/2025 15:20 (Sala D1-SI4) Aula Prática

AFND

  • AFND
  • Conversão AFND -> AFD
Modificado em 21/04/2025 22:59 Prof. Mário Sitoe Presenças: não foram contabilizadas.

14/04/2025 15:20 (Sala D1-SI4) Aula Teórica

AFND

Construção de AFND

Modificado em 21/04/2025 22:59 Prof. Mário Sitoe Presenças: não foram contabilizadas.

12/04/2025 09:20 (Sala SM-117) Aula Prática

T1

T1

Modificado em 21/04/2025 23:00 Prof. Mário Sitoe Presenças: não foram contabilizadas.

10/04/2025 13:20 (Sala D1-SI4) Aula Prática

T1

T1

Modificado em 21/04/2025 23:00 Prof. Mário Sitoe Presenças: não foram contabilizadas.

05/04/2025 09:20 (Sala SM-117) Aula Prática

Aula prática: Linguagens regulares e Autômatos

  • Linguagens regulares e Autômatos
Modificado em 09/04/2025 10:55 Prof. Mário Sitoe Presenças: não foram contabilizadas.

03/04/2025 13:20 (Sala D1-SI4) Aula Prática

Aula prática

  • Linguagens regulares e Autômatos
Modificado em 09/04/2025 10:55 Prof. Mário Sitoe Presenças: não foram contabilizadas.

31/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens regulares e Autômatos

Linguagens regulares e Autômatos: AFD

Modificado em 09/04/2025 10:56 Prof. Mário Sitoe Presenças: não foram contabilizadas.

31/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens regulares e Autômatos

Linguagens regulares e Autômatos: AFD

Modificado em 09/04/2025 10:57 Prof. Mário Sitoe Presenças: não foram contabilizadas.

29/03/2025 09:20 (Sala SM-117) Aula Prática

AUla prática

Linguagens regulares e Autômatos:AFD

Modificado em 09/04/2025 10:57 Prof. Mário Sitoe Presenças: não foram contabilizadas.

27/03/2025 13:20 (Sala D1-SI4) Aula Prática

Aula Prática

  • Linguagens Regulares e Autômatos
Modificado em 28/03/2025 16:35 Prof. Mário Sitoe Presenças: não foram contabilizadas.

24/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens Regulares

  • Fecho de Kleene
  • Linguagens Regulares
  • Expressões Regulares
Modificado em 25/03/2025 22:04 Prof. Mário Sitoe Presenças: não foram contabilizadas.

24/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Linguagens Regulares

  • Fecho de Kleene
  • LR
  • Expressões Regulares
Modificado em 25/03/2025 22:05 Prof. Mário Sitoe Presenças: não foram contabilizadas.

22/03/2025 09:20 (Sala SM-117) Aula Prática

Aula Prática

  • MT1
  • Resolução de Exercícios
Modificado em 25/03/2025 22:05 Prof. Mário Sitoe Presenças: não foram contabilizadas.

20/03/2025 13:20 (Sala D1-SI4) Aula Prática

Aula Prática

  • MT1
  • Resolução da FIcha 2
Modificado em 28/03/2025 16:35 Prof. Mário Sitoe Presenças: não foram contabilizadas.

17/03/2025 15:20 (Sala D1-SI4) Aula Prática

Máquinas Universais

  • Máquina NORMA
Modificado em 18/03/2025 13:27 Prof. Mário Sitoe Presenças: não foram contabilizadas.

17/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Máquinas universais

Máquina NORMA

Modificado em 18/03/2025 13:29 Prof. Mário Sitoe Presenças: não foram contabilizadas.

15/03/2025 09:20 (Sala SM-117) Aula Prática

Resolução da ficha 2 e 3

  • Representação de Algoritmos 
  • Máquina de Dois Registradores
Modificado em 18/03/2025 13:33 Prof. Mário Sitoe Presenças: não foram contabilizadas.

10/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Equivalência entre programas e máquinas

  • Verificação de equivalência entre programas (Monolíticos, Iterativos e recursivos)
Modificado em 11/03/2025 18:50 Prof. Mário Sitoe Presenças: não foram contabilizadas.

08/03/2025 09:20 (Sala SM-117) Aula Prática

Resolução da Ficha 1

  • Cadeias, SImbolos e Linguagem
Modificado em 11/03/2025 18:51 Prof. Mário Sitoe Presenças: não foram contabilizadas.

03/03/2025 15:20 (Sala D1-SI4) Aula Teórica

Programas e Máquinas

  • Computação e Função Computada
Modificado em 11/03/2025 18:52 Prof. Mário Sitoe Presenças: não foram contabilizadas.

01/03/2025 09:20 (Sala SM-117) Aula Prática

Programas e Máquinas

  • Programas: Monolíticos
  • Iterativos
  • Recursivos
Modificado em 02/03/2025 22:25 Prof. Mário Sitoe Presenças: não foram contabilizadas.

24/02/2025 15:20 (Sala D1-SI4) Aula Teórica

Introdução à Teoria da Computação

  • Revisão da  Matemática discreta
  • Introdução à Teoria da Linguagem Formal
  • Símbolos,  cadeia, Linguagem 
Modificado em 25/02/2025 10:38 Prof. Mário Sitoe Presenças: não foram contabilizadas.