(DM, UC)
Sistemas de Dedução & Provadores Automáticos de Teoremas
Data: 20/5/05
Local: Sala 5.5.
Hora: 14h
Resumo
Apresentam-se os conceitos de sistema de dedução e de sistema de
demonstração automática. Introduzem-se alguns dos sistemas de
demonstração automática de teoremas actuais assim como um sistema
actualmente em desenvolvimento. Mostram-se alguns exemplos de
aplicação, assim como linhas de desenvolvimento futuro.
Reinhard Kahle, 3.03.05