Kurs przeznaczony na test z logiki i teorii mnogości dla studentów I roku informatyki.