Newsgroup:
uw.cs.cs245
Add New Display Options
1
reply
Quick but Urgent Question Regarding Deduction Theorem
started 2011-10-20 04:55:06 UTC
2011-10-20 05:54:24 UTC
Amir
2
replies
Assignment pick up and solutions
started 2011-10-19 02:06:37 UTC
2011-10-19 18:40:15 UTC
Omer Beg
1
reply
office hour
started 2011-10-17 19:39:39 UTC
2011-10-17 21:34:19 UTC
Amir
2
replies
Midterm Coverage
started 2011-10-15 19:57:49 UTC
2011-10-17 18:23:05 UTC
Jonathan Buss
2
replies
Sequent Calculus notes
started 2011-10-17 03:31:12 UTC
2011-10-17 18:16:39 UTC
Jonathan Buss
1
reply
A1Q3 solution question
started 2011-10-17 08:35:45 UTC
2011-10-17 09:01:13 UTC
Curtis Bright
1
reply
Proof of Lemma 5? (From the prop. logic course notes)
started 2011-10-16 09:00:14 UTC
2011-10-17 02:00:05 UTC
Curtis Bright
1
reply
Picking up Assignments
started 2011-10-16 05:07:28 UTC
2011-10-16 06:50:58 UTC
Ryan Housworth
1
reply
Discovering Proofs
started 2011-10-13 05:18:56 UTC
2011-10-13 06:45:56 UTC
Omer Beg
6
replies
Clarification about validity
started 2011-10-08 07:24:03 UTC
2011-10-12 23:17:49 UTC
Hao Chen
5
replies
A simple example
started 2011-10-11 01:05:46 UTC
2011-10-12 03:28:31 UTC
hamir
6
replies
NOT NOT p |- p
started 2011-10-05 08:11:40 UTC
2011-10-08 03:59:34 UTC
Curtis Bright
2
replies
General answer for A1Q4 or one specific to the picture?
started 2011-09-29 03:03:54 UTC
2011-09-29 05:27:19 UTC
Omer Beg
1
reply
A1Q4 Proper Assumption
started 2011-09-29 02:24:40 UTC
2011-09-29 03:36:31 UTC
Curtis Bright
1
reply
Dropboxes
started 2011-09-28 01:33:03 UTC
2011-09-28 20:37:53 UTC
Omer Beg
2
replies
A1Q3
started 2011-09-28 01:03:33 UTC
2011-09-28 20:32:36 UTC
Jonathan Buss
1
reply
Equivalence?
started 2011-09-25 00:59:08 UTC
2011-09-26 18:32:39 UTC
Omer Beg
1
reply
"valid and/or satisfiable"
started 2011-09-24 23:44:19 UTC
2011-09-26 18:30:45 UTC
Omer Beg
4
replies
A1 Q2
started 2011-09-22 04:56:22 UTC
2011-09-22 18:45:34 UTC
Omer Beg
4
replies
welcome; small corrections
started 2011-09-13 20:48:26 UTC
2011-09-14 19:37:47 UTC
Ryan Housworth
1
reply
Alternative book
started 2011-09-14 05:33:37 UTC
2011-09-14 19:25:06 UTC
Omer Beg
2
replies
last assignment
started 2011-03-29 01:43:03 UTC
2011-03-31 00:16:57 UTC
Roman Blyshchyk
3
replies
textbooks or coursenotes?????
started 2011-01-10 03:38:20 UTC
2011-01-14 20:38:16 UTC
RuShan Wu (CS 136 Tutor)
1
reply
Course book
started 2011-01-06 03:23:12 UTC
2011-01-07 03:06:52 UTC
Xingzhe Lu
1
reply
Exam
started 2010-08-09 12:41:58 UTC
2010-08-11 00:21:20 UTC
Justin Harris
3
replies
A2Q1.1
started 2010-06-08 06:54:57 UTC
2010-06-16 02:07:43 UTC
Ramie Chaarani
2
replies
a1p3
started 2010-05-30 22:36:10 UTC
2010-06-01 02:08:45 UTC
Chris Tidder
6
replies
Does anyone else check this?
started 2010-05-26 19:43:29 UTC
2010-05-30 07:41:48 UTC
Mark Hetherington
1
reply
A4Q4
started 2010-02-09 00:23:34 UTC
2010-02-09 07:53:46 UTC
Ali Reza Alibhai
1
reply
assignment 3 question 5
started 2010-02-03 08:34:13 UTC
2010-02-03 23:02:21 UTC
CS 245 Tutor
Click to Load More...
Loading...