CISC 2210 Introduction to Discrete Structures (Briskman)

Citation: “CS202: Discrete Structures | Unit 3: Mathematical Logic.” Saylor Academy. Accessed 19 January 2025. License: CC BY: Attribution.
URL: https://learn.saylor.org/course/view.php?id=67&section=13
Note: Students aren't required to sign up or create a Saylor Academy account to view the contents of this resource.

Citation: “CS202: Discrete Structures | Unit 4: Mathematical Induction and Proofs.” Saylor Academy. Accessed 19 January 2025. License: CC BY: Attribution.
URL: https://learn.saylor.org/course/view.php?id=67&section=19
Note: Students aren't required to sign up or create a Saylor Academy account to view the contents of this resource.

Citation: Aspnes, James. (2022). "Chapter 2: Mathematical logic." Notes on Discrete Mathematics. License: CC BY-SA: Attribution-ShareAlike.
URL: https://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf#Mathematical+logic

Citation: Cusick, Larry. "How To Write Proofs". Accessed January 19 2025.
URL: https://zimmer.csufresno.edu/~larryc/proofs/proofs.html

Citation: Davis, Stephen. (2019). "Chapter 8: Logic." A Cool Brisk Walk Through Discrete Mathematics, version 2.2. License: CC BY-SA: Attribution-ShareAlike.
URL: http://stephendavies.org/brisk.pdf#Logic

Citation: Davis, Stephen. (2019). "Chapter 9: Proof." A Cool Brisk Walk Through Discrete Mathematics, version 2.2. License: CC BY-SA: Attribution-ShareAlike.
URL: http://stephendavies.org/brisk.pdf#Proof

Citation: Doerr, Al and Levasseur, Ken. (2024). "Chapter 3: Logic." Applied Discrete Structures, https://discretemath.org/. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike.
URL: https://discretemath.org/ads-latex/ads.pdf#Logic

Citation: Jamaloodee, Mohamed and Pinzon, Kathy and Pragel, Daniel and Roberts, Joshua and Siva, Sebastien. "4. Logic." Discrete Math. Georgia Gwinnett College, Accessed 19 January 2025. License: CC BY-NC: Attribution-NonCommercial.
URL: https://ggc-discrete-math.github.io/logic.html#_logic

Citation: Levin, Oscar. (2023). "Chapter 0, Section 2: Mathematical Statements." Discrete Mathematics: An Open Introduction, https://discrete.openmathbooks.org/dmoi3/, 3rd edition. License: CC BY-SA: Attribution-ShareAlike.
URL: https://discrete.openmathbooks.org/dmoi3/sec_intro-statements.html

Citation: Levin, Oscar. (2023). "Chapter 3: Symbolic Logic and Proofs." Discrete Mathematics: An Open Introduction, https://discrete.openmathbooks.org/dmoi3/, 3rd edition. License: CC BY-SA: Attribution-ShareAlike.
URL: https://discrete.openmathbooks.org/dmoi3/ch_logic.html

Citation: Sassolas, Mathieu. (2021). "Chapter I: Propositional Logics." Introduction to Discrete Mathematics: An OER for MA-471, https://academicworks.cuny.edu/qb_oers/179/. License: CC BY-NC: Attribution-NonCommercial.
URL: https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1183&context=qb_oers#Propositional+Logics

Citation: Sassolas, Mathieu. (2021). "Chapter II: First-order logic (FO)." Introduction to Discrete Mathematics: An OER for MA-471, https://academicworks.cuny.edu/qb_oers/179/. License: CC BY-NC: Attribution-NonCommercial.
URL: https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1183&context=qb_oers#First-order+logic+(FO)

Citation: Sassolas, Mathieu. (2021). "Chapter III: Proof systems and proof patterns." Introduction to Discrete Mathematics: An OER for MA-471, https://academicworks.cuny.edu/qb_oers/179/. License: CC BY-NC: Attribution-NonCommercial.
URL: https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1183&context=qb_oers#Proof+systems+and+proof+patterns

Citation: Sassolas, Mathieu. (2021). "Chapter VI, Section B: Proofs by induction." Introduction to Discrete Mathematics: An OER for MA-471, https://academicworks.cuny.edu/qb_oers/179/. License: CC BY-NC: Attribution-NonCommercial.
URL: https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1183&context=qb_oers#Proofs+by+induction