Course Planner

February 2026

Color Guide

Lectures

Exams

Activities

Homework

Office Hours

Holidays

Today

📚
LN 6: The Integers, The Booleans' Infinite In-laws
In this lecture we use the integer type to investigate the larger, hidden world of operators on types. We cover associativity, commutativity, identity, and closure for the integers.

Upcoming

📝
HW 1: Think Class! Think!
In 3 days
11:59 PM
In this homework you will get practice with logical terminology, evaluating propositions in finite contexts, creating propositional and predicate logic statements, translating natural language into logic, and natural deduction proofs!
📝
HW 2: Counting Sheep
Feb 20
11:59 PM
In this homework you will get practice with the many topics covered in the notes for this standard. This includes the Booleans, the Integers, and the many operations that can be performed on them!

CMSI 2820

← Back to Course

LN 15: In the Domain of Sheep

Standard: Functions

In this lecture we investigate the patterns that can be found in a lambdas inputs and outputs. We cover domain, codomain, image, pre-image and how an investigation into them gives us three function classes: Injective, Surjective, and Bijective

Lecture Date

📅 March 12, 2026

Standard

Functions

Topics Covered

Coming soon

📹 Lecture Recordings

Content for this lecture note is coming soon.

Create a file at content/cmsi-2820/notes/ln15.mdx to add content.

LN 14 LN 16

All Lecture Notes

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27