Gdzie matematyk nie może, tam komputer pośle

dr Bartosz Naskręcki (UAM)

Wykład będzie dotyczył szeroko pojętego wspierania rozumowań w matematyce za pomocą obliczeń symbolicznych i nie tylko. Chciałbym przedstawić aktualną sytuację dotyczącą formalizacji matematyki i wspierania dowodów rachunkami symbolicznymi oraz zastanowić się (w nieco ogólniejszym) duchu w jakim kierunku zmierzamy. Wykład będzie na bardzo elementarnym poziomie i skierowany do dużego grona odbiorców.