Jak obliczyć wymiar czasu dla pracownika, który ma indywidualny rozkład czasu pracy?

Pracownik zatrudniony jest na 0,5 etatu. Pracownik zawnioskował o indywidualny rozkład czasu pracy, podczas którego wykonywałby pracę od poniedziałku do czwartku: poniedziałek 6h, wtorek 5h, środa 5h, czwartek 4h (w firmie obowiązuje podstawowy system czasu pracy, od poniedziałku do piątku, okres rozliczeniowy 3 miesiące, w tym przypadku październik-grudzień). Piątki zgodnie z indywidualnym rozkładem czasu pracy są dniami wolnymi dla pracownika.

Czy w tym przypadku za święto wypadające w piątek 1 listopada 2019 r. należy pracownikowi oddać dzień wolny?

Jak obliczyć wymiar czasu dla takiego pracownika w miesiącu listopad 2019 r.?