Sumários

AT19 Interpretação Lógica

3 maio 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Preservação da satisfação por derivação. Fórmula satisfazível. Variante lógica do Lema de Farkas.
Toda a fórmula satisfazível é coerente e vica versa. Tempo de execução e tempo de execução na pior
situação de um algoritmo. Classe assintótica de função. Algoritmo polinomial.


Aula prática 18 (semana 11)

2 maio 2019, 11:30 João Rasga

Resolução de exercício sobre complementaridade e equilíbrio e sobre o dual de problemas padrão.


AT18 Dualidade e Interpretação Lógica

2 maio 2019, 10:00 Maria Cristina De Sales Viana Serôdio Sernadas

Teorema do equilíbrio. Fórmula e fórmula derivada a partir de outra. Fórmula incoerente. Satisfação por vector.


Aula prática 17 (semana 11)

29 abril 2019, 12:30 João Rasga

Exercícios sobre dualidade.


Aula prática 16 (semana 10)

26 abril 2019, 14:30 João Rasga

Exercícios sobre encontrar soluções do problema de optimização linear usando o critério da otimalidade, condição de equilibrio e folgas.