Contact:
100 Morrissey Blvd.
McCormack 3rd Floor
Rm 3-201-32
Computer Science Dept.
Boston, MA 02125-3393 USA

Email: jane.deblois'at'umb.edu

Lecturer

Welcome to CS420-01 Introduction to Theory of Computation!

Syllabus posted Sep 13

pre-requisite hw0 is posted on canvas as of sep 5th

CS Server hw0 (optional) is posted here as of sep 9th

InClassSep9 - Q1, Q2

Lecture01.pdf from class on Wed Sep 10

Initial reading to help you get started: hmu ch1.2-1.4

hw1: Q1 Proof Practice (Handwrite the Justifications) and Q2 Run a DFA (Bonus 4pts is for submitting an incremental by Mon) posted Sat Sep 12 due Tues Sep 15 at 11:59pm on CS server in course dir/cs420

hw1: Q0 mkdir hw1 on CS server in course dir, make readMe1.txt in class as handwritten anwers and/or a file on the CS server in hw1 dir, both due by end of class Mon Sep 14 (I thought you could view it on canvas, but seems not, so it's here to prepare, but you have to handwrite it in class on the page I give you.)

example of latex starter.tex (type pdflatex starter.tex to get starter.pdf)

example of latex starter.pdf

a list of some criteria for points off for hw1 in past years, to explain care needed in writing proofs