Colleen Robles . Teaching

Fall 2024

Seminar on the proof assistant Lean
Undergraduate enrollment: Math 248S
Graduate enrollment: Math 790-90

A little learning is a dangerous thing;
drink deep, or taste not the Pierian spring:
there shallow draughts intoxicate the brain,
and drinking largely sobers us again.

-- Alexander Pope, An Essay on Criticism, 1709.

Office hours: Tue, 1:00-2:30 PM & Thu, 3:00--4:30 PM.

swot,	n.	1. Work or study at school or college; in early use spec. mathematics. Hence gen. labor, toil.
		2. One who studies hard.
	v.	To work hard at one's studies.
quadrivium,	n.	The four mathematical sciences (in European schools and universities from late antiquity to the early modern period) : arithmetic, geometry, astronomy, and music.
lucubrate,	v.	1. Literally, to work by artificial light. Hence to study at night, 'burn the midnight oil.'
		2. To produce (esp. literary compositions) by laborious study.
lucubration,	n.	1. Nocturnal study or meditation; study in general.
		2. The product of nocturnal study and meditation; hence, a literary work showing signs of careful elaboration. Now somewhat derisive or playful, suggesting the notion of something pedantic or over-elaborate.
lucubratory,	n.	A 'thinking-shop,' a place of midnight study.
phrontistery,	n.	A place for thinking or studying. O.E.D.