| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 28.01.2010 | ? | ? | Kick-off? | * skal ha seminar kl 14-16* skal ta en gjennomgang av kompleksitetsteori? |
| 04.02.2010 | ? | ? | utg?r? | ? |
| 11.02.2010 | ? | ? | utg?r? | ? |
| 18.02.2010 | Martin Giese? | ? | Probabilistic Conditional Logic? | ? |
| 25.02.2010 | Magdalena Ivanovska?? | ? | Probabilistic Logic with Independence Formulae? | ? |
| 04.03.2010 | Bjarne Holen? | buerommet? | P og NP? | ? |
| 11.03.2010 | ? | ? | utg?r? | ? |
| 18.03.2010 | Tobias Vidarss?nn Langhoff? | buerommet? | P-completeness? | Klassen av P problemer, bevis at "Boolean Circuit Value" er komplett for den klassen, bevis at b.c.v. kan reduseres p? et annet P-problem, som dermed ogs? er P-hard.? |
| 25.03.2010 | Espen Lian? | ? | Polynomialtidshierarkiet? | Sigma^p, Pi^p, \Delta^p? |
| 01.04.2010 | ? | ? | utg?r? | ? |
| 08.04.2010 | Martin G. Skj?veland? | buerommet? | NC hierarchy? | ? |
| 15.04.2010 | ? | ? | utg?r? | ? |
| 22.04.2010 | ? | ? | utg?r? | ? |
| 29.04.2010 | Henrik Forssell? | buerommet? | Algabraiske modeller for utsagnslogikk? | ? |
| 06.05.2010 | Martin G. Skj?veland ? | buerommet ? | AC? and descriptive complexity? | foiler? |
| 13.05.2010 | ? | ? | ? | ? |
| 20.05.2010 | ? | ? | ? | ? |
| 27.05.2010 | ? | ? | ? | ? |
| 03.06.2010 | ? | ? | ? | ? |
| 10.06.2010 | ? | ? | ? | ? |
| 17.06.2010 | ? | ? | ? | ? |
| 24.06.2010 | ? | ? | ? | ? |
Undervisningsplan
Publisert 1. feb. 2010 11:50
- Sist endret 9. mai 2010 16:21