Notes on Floer homology and loop space homology