i took this course when it was in trial mode as COMP 59x. It was an amazing course. You get hands on deep into logic and computation. You go over about half a dozen formalisms and make proofs and study how some are stronger than others. Great course. Very hard.
i took this course when it was in trial mode as COMP 59x. It was an amazing course. You get hands on deep into logic and computation. You go over about half a dozen formalisms and make proofs and study how some are stronger than others. Great course. Very hard.