Popmat (populærvitenskapelig foredrag for alle): …
Popmat (populærvitenskapelig foredrag for alle): Dag Normann: Trenger vi uendelige mengder i diskret matematikk?, Auditorium 4 VB, torsdag 27/3 fra kl 1615
Omkring temaet:
Informatikere liker programmer som arbeider fort og effektivt. Logikere liker å vise at informatikere ikke alltid kan få det som de vil. I denne forelesningen skal vi se på noen algoritmer som arbeider så treigt at man må ta et kurs i avansert mengdelære for i det hele tatt å kunne vise at de ikke holder på i det uendelige. Vi skal ikke bevise noe, for man må ta et par andre kurs i avansert logikk for å forstå bevisene, men eksemplene skal være lette å forstå.
Publisert 26. mars 2008 08:59
- Sist endret 18. aug. 2008 11:32