Propositional and predicate logic; methods of proof, including direct approaches, contradiction, contraposition, mathematical induction; sequences, recursion, recurrence relations; set theory; functions and relations. Primary emphasis on proof-writing.

No prerequisites.

Teaching history:

• 2020 Spring

  -- E. Bucher (x2).
• 2019 Fall

  -- E. Bucher.
• 2019 Spring

  -- D. Morton.
• 2018 Fall

  -- E. Bucher, M. Goldweber.
• 2018 Spring

  -- J. Snodgrass.
• 2017 Fall

  -- M. Goldweber, D. Morton.
• 2017 Spring

  -- D. Morton.
• 2016 Fall

  -- D. Morton (x2).
• 2016 Spring

  -- D. Otero.
• 2015 Fall

  -- D. Berry.
• 2015 Spring

  -- D. Morton.
• 2014 Fall

  -- J. Snodgrass.
• 2014 Spring

  -- D. Otero.
• 2013 Fall

  -- D. Berry.