{"id":1899,"date":"2008-04-05T10:03:01","date_gmt":"2008-04-05T17:03:01","guid":{"rendered":"http:\/\/dabacon.org\/pontiff\/?p=1899"},"modified":"2008-04-05T10:03:01","modified_gmt":"2008-04-05T17:03:01","slug":"cse-322-spring-2008-week-1","status":"publish","type":"post","link":"https:\/\/dabacon.org\/pontiff\/2008\/04\/05\/cse-322-spring-2008-week-1\/","title":{"rendered":"CSE 322 Spring 2008, Week 1"},"content":{"rendered":"<p>This quarter I am teaching <a href=\"http:\/\/courses.cs.washington.edu\/courses\/cse322\/08sp\/\">CSE 322<\/a>: Introduction to Formal Models in Computer Science.  Good fun.  As part of my teaching I am LaTeXing up lecture notes from the class, which follow closely the book we are using, Sipser&#8217;s &#8220;Introduction to the Theory of Computation.&#8221;  Here are the first three lectures for those with nothing better to do during their weekend:<\/p>\n<ul>\n<li><a href=\"http:\/\/courses.cs.washington.edu\/courses\/cse322\/08sp\/lec1.pdf\">Lecture 1<\/a>: Welcome and Introduction<\/li>\n<li><a href=\"http:\/\/courses.cs.washington.edu\/courses\/cse322\/08sp\/lec2.pdf\">Lecture 2<\/a>: Formal Definition of Deterministic Finite Automata<\/li>\n<li><a href=\"http:\/\/courses.cs.washington.edu\/courses\/cse322\/08sp\/lec3.pdf\">Lecture 3<\/a>: Regular Operations on Languages<\/li>\n<\/ul>\n<p>The notes are certainly full of many typos and such, but maybe there is a young teenager who isn&#8217;t in college, but who is bright, and wants to learn something cool about theory, and thus might actually click on those links.  Comments and criticisms by others are also greatly appreciated.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This quarter I am teaching CSE 322: Introduction to Formal Models in Computer Science. Good fun. As part of my teaching I am LaTeXing up lecture notes from the class, which follow closely the book we are using, Sipser&#8217;s &#8220;Introduction to the Theory of Computation.&#8221; Here are the first three lectures for those with nothing &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dabacon.org\/pontiff\/2008\/04\/05\/cse-322-spring-2008-week-1\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;CSE 322 Spring 2008, Week 1&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[76,83],"tags":[],"class_list":["post-1899","post","type-post","status-publish","format-standard","hentry","category-self-meet-center-center-meet-self","category-teaching"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/1899","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/comments?post=1899"}],"version-history":[{"count":0,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/1899\/revisions"}],"wp:attachment":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/media?parent=1899"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/categories?post=1899"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/tags?post=1899"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}