Newsgroup:
uw.cs.cs245
Add New Display Options
1
reply
Midterm Results
started 2013-06-16 00:22:08 UTC
2013-06-16 00:23:55 UTC
Curtis Bright
1
reply
Midterm
started 2012-02-14 05:44:25 UTC
2012-02-14 08:29:07 UTC
Carl Cabusas
1
reply
Midterm
started 2012-02-08 01:19:01 UTC
2012-02-08 20:38:36 UTC
Peter van Beek
1
reply
Struggled q1a
started 2012-02-08 01:15:57 UTC
2012-02-08 20:36:10 UTC
Peter van Beek
2
replies
Dropbox location
started 2012-01-13 03:54:24 UTC
2012-01-20 18:12:17 UTC
Peter van Beek
1
reply
Exam question 1b
started 2011-12-20 02:31:00 UTC
2011-12-20 21:23:25 UTC
Curtis Bright
2
replies
Still possible to pick up Assignment 5?
started 2011-12-17 00:33:56 UTC
2011-12-19 20:11:56 UTC
Jonathan Buss
1
reply
On: Relevance
started 2011-12-17 08:43:29 UTC
2011-12-17 10:52:26 UTC
Curtis Bright
4
replies
A4Q1b Solution?
started 2011-12-17 05:55:03 UTC
2011-12-17 07:54:04 UTC
Roman
1
reply
Resolution on Final
started 2011-12-16 23:18:21 UTC
2011-12-17 03:47:37 UTC
Curtis Bright
3
replies
Final Exam Materials
started 2011-12-10 06:45:00 UTC
2011-12-13 20:35:48 UTC
Omer Beg
1
reply
Assignment and Midterm Solutions
started 2011-12-08 05:51:25 UTC
2011-12-10 02:43:00 UTC
Curtis Bright
2
replies
FINAL REVIEW SESSIONS
started 2011-12-06 20:16:34 UTC
2011-12-07 00:11:37 UTC
Omer Beg
1
reply
A5Q4
started 2011-12-01 09:10:10 UTC
2011-12-01 13:06:27 UTC
Curtis Bright
3
replies
Theorems from Text
started 2011-11-30 09:59:47 UTC
2011-12-01 06:10:28 UTC
Curtis Bright
2
replies
A5Q1a Show for all interpretations or just one example?
started 2011-11-30 01:37:21 UTC
2011-11-30 19:09:18 UTC
Curtis Bright
1
reply
A4Q3 under what condition can we apply deduction theorem in FOL?
started 2011-11-17 08:46:48 UTC
2011-11-17 10:57:55 UTC
Curtis Bright
1
reply
A4P3
started 2011-11-17 00:12:01 UTC
2011-11-17 01:03:49 UTC
Curtis Bright
1
reply
Question on Satisfaction Relation
started 2011-11-16 21:18:05 UTC
2011-11-16 21:54:54 UTC
Curtis Bright
6
replies
A4Q4
started 2011-11-16 22:25:20 UTC
2011-11-16 11:44:36 UTC
Curtis Bright
1
reply
Can someone demonstrate a very simple proof in Hilbert for FOL?
started 2011-11-16 06:55:55 UTC
2011-11-16 07:13:48 UTC
Curtis Bright
1
reply
A4Q1(a)
started 2011-11-16 22:10:57 UTC
2011-11-16 02:16:51 UTC
Stephen Pisani
1
reply
Where is cs245 tutorial center hours posted?
started 2011-11-04 22:45:28 UTC
2011-11-05 00:23:35 UTC
Amir
1
reply
A3Q3 - any help will be appreciated
started 2011-11-03 02:57:19 UTC
2011-11-03 08:49:08 UTC
Curtis Bright
1
reply
A3Q3 - Use of MP+ ?
started 2011-11-03 02:40:55 UTC
2011-11-03 08:45:25 UTC
Curtis Bright
3
replies
A3Q2(b) - clarification needed
started 2011-11-02 23:32:41 UTC
2011-11-03 08:40:55 UTC
Curtis Bright
8
replies
A3Q2(a) - what do we need to describe?
started 2011-11-02 05:23:20 UTC
2011-11-02 21:18:23 UTC
Jonathan Buss
2
replies
A3Q1 - Formal Proof necessary?
started 2011-11-02 00:50:26 UTC
2011-11-02 03:12:22 UTC
Curtis Bright
3
replies
A3 Q3 Formal Proof
started 2011-10-31 01:46:12 UTC
2011-11-01 10:15:03 UTC
Henry S
6
replies
Question 2, question 3, and the Deduction Theorem
started 2011-10-12 00:32:18 UTC
2011-10-31 19:56:00 UTC
Curtis Bright
Click to Load More...
Loading...