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.