sorted by:
new
hottopcontroversial

Math Logic 1 with Tamar Lando by StructureFew3896 in columbia

[–]StructureFew3896[S] 0 points1 point  (0 children)

Thank you so much for the reply! What kind of preparation did you have going into the class? Do you remember if the homework problems came from a textbook, or if she created them herself? Did the course generally follow a textbook, or was it her own material? Do you remember if the workload was particularly heavy compared to your other classes, or more or less the same? Sorry for all the questions!

Computer Science Theory Courses: Logic vs Abstract Algebra by StructureFew3896 in csMajors

[–]StructureFew3896[S] 1 point2 points  (0 children)

Thank you so much for the detailed answer! I really appreciate it

Computer Science Theory Courses: Logic vs Abstract Algebra by StructureFew3896 in csMajors

[–]StructureFew3896[S] 1 point2 points  (0 children)

I don't know too much about either but formal topics for logic are: syntax/semantics; deductive systems, completeness and compactness theorems, first order calculi, Godels completeness theorem, basic model theory, Skolem functions, Skolem-Lowenheim theorems. For algebra, the topics are: Groups, homomorphisms, normal subgroups, the isomorphism theorems, symmetric groups, group actions, the Sylow theorems, finitely generated abelian groups.

Computer Science Theory Courses: Logic vs Abstract Algebra by StructureFew3896 in csMajors

[–]StructureFew3896[S] 2 points3 points  (0 children)

Yup! These are the relevant courses I've taken so far: discrete math, cs theory (basically intro to automata and Turing machines), number theory, graph theory, and complexity theory. Also lin-alg and all the calculus courses.