Newsgroup:
uw.cs.cs245
Add New Display Options
1
reply
a5q5 Clarification about probe numbers
started 2009-03-14 08:46:58 UTC
2009-03-14 08:48:38 UTC
Woong Bin Kang
1
reply
Domain and Range Properties
started 2009-03-12 12:35:37 UTC
2009-03-12 17:13:04 UTC
Nancy Day
1
reply
Assignment 5, question 1
started 2009-03-12 09:47:16 UTC
2009-03-12 17:07:23 UTC
Nancy Day
1
reply
Relational Overriding
started 2009-03-12 12:13:47 UTC
2009-03-12 12:39:23 UTC
Adrian Nicoara
2
replies
Interpretations and Semantics for Set and Relational Logic Counterexamples
started 2009-03-12 04:05:30 UTC
2009-03-12 06:12:26 UTC
Nancy Day
2
replies
question about iteration
started 2009-03-12 00:38:12 UTC
2009-03-12 04:05:06 UTC
Antony Han
3
replies
set theory summary page on the course web page
started 2009-03-07 02:42:36 UTC
2009-03-12 00:46:18 UTC
Nancy Day
1
reply
A union A'
started 2009-03-11 22:32:53 UTC
2009-03-11 23:45:46 UTC
Andy Curtis
1
reply
x exists in A and A`
started 2009-03-09 23:24:41 UTC
2009-03-09 23:48:10 UTC
Nancy Day
1
reply
Commutativity of =, transformational proof
started 2009-03-09 09:57:55 UTC
2009-03-09 19:09:26 UTC
Nancy Day
2
replies
note for Asn#4
started 2009-03-07 02:40:44 UTC
2009-03-08 08:40:14 UTC
Nancy Day
2
replies
Natural Deduction - Eliminating Negative Quantifiers
started 2009-03-05 10:43:46 UTC
2009-03-06 07:11:47 UTC
Nancy Day
1
reply
Question 1 - Values of a
started 2009-03-05 09:31:40 UTC
2009-03-05 09:38:00 UTC
Nancy Day
1
reply
Is invalid input to loc() allowed?
started 2009-03-05 08:36:39 UTC
2009-03-05 08:54:00 UTC
Nancy Day
5
replies
Question 2, Asn 4, board filled
started 2009-03-04 23:40:50 UTC
2009-03-05 08:51:37 UTC
Nancy Day
3
replies
can I use = this way?
started 2009-03-05 07:53:11 UTC
2009-03-05 08:29:47 UTC
Donglin Han
1
reply
about A4Q2
started 2009-03-05 07:43:26 UTC
2009-03-05 08:10:25 UTC
Nancy Day
1
reply
Alice likes icecream example
started 2009-03-04 06:39:36 UTC
2009-03-04 06:49:44 UTC
Nancy Day
2
replies
Forall introduction question.
started 2009-03-01 12:23:56 UTC
2009-03-02 20:14:56 UTC
Nancy Day
2
replies
common mistakes on midterm exam
started 2009-02-25 21:15:40 UTC
2009-02-26 08:35:33 UTC
Nancy Day
1
reply
Midterm Solutions
started 2009-02-24 23:24:23 UTC
2009-02-25 09:52:53 UTC
Nancy Day
1
reply
When will Assignment 4 come out?
started 2009-02-17 22:01:39 UTC
2009-02-18 02:26:37 UTC
Woong Bin Kang
1
reply
Midterm Question
started 2009-02-13 09:36:39 UTC
2009-02-13 09:43:43 UTC
Nancy Day
1
reply
Will Formalization be included in the midterm
started 2009-02-12 06:14:20 UTC
2009-02-12 07:30:11 UTC
Nancy Day
1
reply
Solution to review problems?
started 2009-02-12 02:56:13 UTC
2009-02-12 07:26:27 UTC
Nancy Day
2
replies
Some of the stuff on Assignment#3 is not on the midterm, right?
started 2009-02-12 02:14:57 UTC
2009-02-12 07:24:41 UTC
Nancy Day
1
reply
Question 6 of w05 midterm
started 2009-02-11 14:58:03 UTC
2009-02-12 00:51:25 UTC
Nancy Day
5
replies
Helper sheet in Exam
started 2009-02-10 00:41:46 UTC
2009-02-11 09:06:46 UTC
Abel Molina Prieto
1
reply
Lectures covered in the midterm?
started 2009-02-11 06:28:40 UTC
2009-02-11 08:21:19 UTC
Nancy Day
1
reply
can function in predicate logic take in different types?
started 2009-02-05 06:38:28 UTC
2009-02-05 08:18:49 UTC
Nancy Day
Click to Load More...
Loading...