Proceedings of the semi-centennial celebration of the Rensselaer polytechnic institute, Troy, N.Y., held June 14-18, 1874, with catalogue of officers and students, 1824-1874