StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 7,338

                                  1. Now that @CheckItProblems 0.2 can build to Canvas again, time to work on some intro-to-proofs exercises...
                                    oh my god twitter doesn’t include alt text from images in their API
                                1. …in reply to @StevenXClontz
                                  @CheckItProblems Do we think it's fair to have nonsense combinations of mathy words/properties in these constructions? I think the point is to be able to discern the structure of the sentence regardless of the specific meaning of the mathematical jargon...
                                  oh my god twitter doesn’t include alt text from images in their API
                              1. …in reply to @StevenXClontz
                                So now the prompt is more honest about the silly combinations of jargon.
                                oh my god twitter doesn’t include alt text from images in their API
                            1. …in reply to @StevenXClontz
                              Adding some spicy compound and conditional statements now...
                              oh my god twitter doesn’t include alt text from images in their API
                          1. …in reply to @StevenXClontz
                            Keep on truckin, guess who starts teaching Monday...
                            oh my god twitter doesn’t include alt text from images in their API
                        1. …in reply to @StevenXClontz
                          Decided not to make students do full truth tables this semester.
                          oh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their API
                      1. …in reply to @StevenXClontz
                        This one was fun.
                        oh my god twitter doesn’t include alt text from images in their API
                    1. …in reply to @StevenXClontz
                      Looking for feedback on this one on using set notation...
                      oh my god twitter doesn’t include alt text from images in their API
                  1. …in reply to @StevenXClontz
                    Decided to tweak it a bit:
                    oh my god twitter doesn’t include alt text from images in their API
                1. …in reply to @StevenXClontz
                  set operations!
                  oh my god twitter doesn’t include alt text from images in their API
              1. …in reply to @StevenXClontz
                Please tell me it's perfect; I worked too long on it for it not to be.
                oh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their API
            1. …in reply to @StevenXClontz
              Two more, on Cartesian products and intersections/unions.
              oh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their API
          1. …in reply to @StevenXClontz
            It was fun to think of a lot of naïve set theory theorems for students to prove directly and indirectly.
            oh my god twitter doesn’t include alt text from images in their API
        1. …in reply to @StevenXClontz
          Hmm. This is probably three separate quizzes, isn't it? I could use the same randomized set theory lemmas, but each quiz asks for a different style of proof.
      1. …in reply to @StevenXClontz
        Two more proof-focused learning outcomes on biconditionals and existence vs. constructive:
        oh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their API
    1. …in reply to @StevenXClontz
      And now on to sigma notation for summations.
      oh my god twitter doesn’t include alt text from images in their API
  1. …in reply to @StevenXClontz
    Summation junction, what's that induction?
    oh my god twitter doesn’t include alt text from images in their API
    1. …in reply to @StevenXClontz
      Relations!
      oh my god twitter doesn’t include alt text from images in their API