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?.