Kurs jest przeznaczony dla studentów, którzy chcą zrozumieć w detalach co robi komputer pod kontrolą systemu operacyjnego. Będziemy szczegółowo omawiać najpopularniejsze abstrakcje dostarczane przez SO. Poznamy również niektóre detale implementacji systemów uniksowych z rodziny BSD. Wykład będzie prowadzony na podstawie książki Tanenbauma wzbogacanej doświadczeniami prowadzącego w implementacji SO.