http://vv.cs.byu.edu/cs611/ Theoretical Computer Science, TTh from 3:00 to 4:15 pm in W010 BNSN 2007-02-25T02:14:01+00:00 http://vv.cs.byu.edu/cs611/archives/2007/02/this_is_a_test.html Michael Jones, PhD... jones 2007-02-25T02:14:01+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/schedule_change_4.html I've posted the new schedule which shows the epistemology paper due friday not today. I've also posted a homework question and answer section over on the wiki. Feel free to add to the questions or answers.... Announcements jones 2006-09-28T16:39:44+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/the_new_wiki.html Students in the class have created a Wiki for our enjoyment. Please find it at: Main Page - 611 Notes Wiki I'll post things primarily to the wiki but place announcements here for a while.... Announcements jones 2006-09-25T18:23:46+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/injective_surje.html You may find these useful... "onto" is a synonym for "surjective": Surjective function - Wikipedia, the free encyclopedia, and "one-to-one" is a synonym for injective: injective... Extras jones 2006-09-21T17:34:04+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/logical_equival.html Michael Gashler has prepared a list of logical equivalences which I've posted here as a pdf.... Extras jones 2006-09-21T16:50:26+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/change_to_homew.html For 9/21, do the following problem... Prove that reducing the sequent ¬(" x. P(x)), A |- C to the sequent ¬ P(z), A |- C for some specific value of z, is invalid. Do not do problem 7a on page... Homework jones 2006-09-20T14:27:05+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/additions_corre.html Negation normal form is the name for an expression in which the negations are pushed past the quantifiers into the quantified expression. The discussion we had in class about instantiating and skolemizing quantifers assumes that formulae are in negation normal... Extras jones 2006-09-20T13:32:56+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/where_to_email.html Neha has created an email address for CS 611 homework. That address is cs611ta@gmail.com. Please send your homework and other things to that address rather than her personal address.... Announcements jones 2006-09-18T14:16:30+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/latex_paper_exa.html I've created a directory that contains the complete example I showed in class yesterday. It's a good example of a long-running collaborative paper writing effort but perhaps not a good first example to cut ones teeth on. I've also created... Extras jones 2006-09-13T21:45:29+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/document_prepar.html If you go with Latex, there are distributions for windows, linux and Mac OS X. I prefer to use emacs to edit my latex and a pdf viewer to see the output. This gives me a nice separation of the... Extras jones 2006-09-12T21:34:03+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/no_office_hours.html I need to be at a department meeting at 10 am. I will be in my office from about 9:10 am to 10 am and then from 1:30 pm til class starts if you want to come by then.... Announcements jones 2006-09-12T14:39:29+00:00 http://vv.cs.byu.edu/cs611/archives/2006/09/welcome_to_cs_6.html After taking (and passing) CS 611 you should be able to confidently read and write mathematically dense publications in the CS literature. You should also know theoretical computer science more deeply, but the primary goal is to improve your reading... Announcements jones 2006-09-02T22:04:24+00:00 http://vv.cs.byu.edu/cs611/archives/2005/12/grades_and_comp.html I've posted your grade estimates through today. Go to blackboard and see what you think. also, don't forget to do your "evaluate the value of complexity theory" little papers. I'll get reviews mailed out tonight or tommorow am depending on... Announcements jones 2005-12-02T19:00:58+00:00 http://vv.cs.byu.edu/cs611/archives/2005/11/homework_schedu.html For Friday 12/2 do Question 11 and scratchwork for Thm 7.11 For Monday 12/5 do Hwk 7.13 That's the last homework.... Homework jones 2005-11-30T14:40:24+00:00 http://vv.cs.byu.edu/cs611/archives/2005/11/course_ratings.html If you complete the course evaluation for 611 and allow me to see your name (not on the evaluation, but on the list of people that have completed an evaluation) then I will give you credit for one homework. Have... Announcements jones 2005-11-22T21:53:20+00:00