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.