Neste uke vil Peter ta …
Neste uke vil Peter ta naturlig deduksjon for f?rsteordens logikk, dvs van Dalen 2.8-2.10 og Avigad 6.1-6.2. Da har vi dekket ganske mye nytt stoff p? kort tid, s? f?r vi g?r inn p? kompletthet o.l. vil vi g? tilbake litt og se p? definerbarhet og g? igjennom noen eksempler og anvendelser.
Publisert 19. mars 2012 15:55
- Sist endret 23. mai 2012 13:55