But, this is the last week before finals, and I have two huge homework assignments due tomorrow night at midnight. Always fun, I know. Thankfully, I have finished one of them-the Virtual Machine of C0 (which is a safe subset of C). The Virtual Machine essentially takes the bytecode of a C0 program and interprets it, and then outputs the result. It took a while, but it's finally done!
The other one is the last 251 homework assignment ever! (assuming I pass the course) This one's on ZFCs and logic systems and Godel's Incompleteness Theorems. I need to prove things about the provability of other things. It's inception proofs.
The other one is the last 251 homework assignment ever! (assuming I pass the course) This one's on ZFCs and logic systems and Godel's Incompleteness Theorems. I need to prove things about the provability of other things. It's inception proofs.
No comments:
Post a Comment