Sumários
Aula Prática #9
29 abril 2008, 11:30 • Bruno Serra Loff Barreto
Aplicação do algoritmo de Buchberger à decisão de fórmulas proposicionais. Considerações sobre a complexidade do cálculo de uma base de Grobner.
Aula Prática 9
29 abril 2008, 09:00 • Maria Paula Antunes Abrantes Gouveia
Bases de Grobner, algoritmo de Buchberger e equivalência de fórmulas proposicionais. Notebook '3a aula prática de polinómios': exercícios 1 e 2.
Aula Prática #9
29 abril 2008, 09:00 • Bruno Serra Loff Barreto
Aplicação do algoritmo de Buchberger à decisão de fórmulas proposicionais. Considerações sobre a complexidade do cálculo de uma base de Grobner.
Aula Prática 9
28 abril 2008, 16:30 • Maria Paula Antunes Abrantes Gouveia
Bases de Grobner, algoritmo de Buchberger e equivalência de fórmulas proposicionais. Notebook '3a aula prática de polinómios': exercícios 1 e 2. Conclusão da resolução do exercício 2.
Aula Prática 8
24 abril 2008, 08:30 • Maria Paula Antunes Abrantes Gouveia
Bases de Grobner a algoritmo de Buchberger. Notebook ''2a aula prática de polinómios: exercício 2 e início do exercício 3.