printer friendly pagePHIL 49: Survey of Formal Methods
2015-2016 Autumn
-
PHIL 49 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
29192
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
| Students enrolled: 12
09/21/2015 - 12/04/2015 Tue, Thu 1:30 PM - 2:50 PM at 420-050 with Wang, J. (PI); DiBella, N. (TA)
Instructors: Wang, J. (PI); DiBella, N. (TA) -
PHIL 49 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
30824
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| Students enrolled: 4
09/21/2015 - 12/04/2015 Tue 6:00 PM - 7:20 PM at 380-381T with DiBella, N. (PI)
Instructors: DiBella, N. (PI) -
PHIL 49 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
30825
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
09/21/2015 - 12/04/2015 - with DiBella, N. (PI)
Instructors: DiBella, N. (PI)
2015-2016 Winter
-
PHIL 49 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
46167
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Winter 1
| Students enrolled: 15
01/04/2016 - 03/11/2016 Mon, Wed, Fri 10:30 AM - 11:20 AM at 380-381T with Briggs, R. (PI)
Exam Date/Time: 2016-03-17 8:30am - 11:30am (Exam Schedule)
Instructors: Briggs, R. (PI)
PHIL 50: Introductory Logic
2015-2016 Autumn
-
PHIL 50 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
16514 (CANCELLED)
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
- -
Notes: This class section has been cancelled!
PHIL 99: Minds and Machines (LINGUIST 144, PSYCH 35, SYMSYS 100)
2015-2016 Autumn
-
PHIL 99 |
4 units |
UG Reqs: GER:DB-SocSci, WAY-FR |
Class #
15259
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 5
09/21/2015 - 12/04/2015 Tue, Thu 9:00 AM - 10:20 AM at Hewlett Teaching Center 200 with Icard, T. (PI); Lassiter, D. (PI); Lewis, M. (TA); Wang, Y. (TA)
Instructors: Icard, T. (PI); Lassiter, D. (PI); Lewis, M. (TA); Wang, Y. (TA) -
PHIL 99 |
UG Reqs: GER:DB-SocSci, WAY-FR |
Class #
28306
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 3
09/21/2015 - 12/04/2015 - with Wang, Y. (TA)
Instructors: Wang, Y. (TA)
PHIL 150: Mathematical Logic (PHIL 250)
2015-2016 Autumn
-
PHIL 150 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
15654
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 57 / 80
09/21/2015 - 12/04/2015 Tue, Thu 3:00 PM - 4:20 PM at 260-113 with Icard, T. (PI); Bassett, R. (TA); Islami, A. (TA); Mierzewski, C. (TA)
Exam Date/Time: 2015-12-08 3:30pm - 6:30pm (Exam Schedule)
Instructors: Icard, T. (PI); Bassett, R. (TA); Islami, A. (TA); Mierzewski, C. (TA) -
PHIL 150 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
31872
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
09/21/2015 - 12/04/2015 Thu 10:30 AM - 11:20 AM at 420-286 with Mierzewski, C. (PI)
Instructors: Mierzewski, C. (PI) -
PHIL 150 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
31873
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
09/21/2015 - 12/04/2015 Fri 3:30 PM - 4:20 PM at 420-245 with Bassett, R. (PI)
Instructors: Bassett, R. (PI)
PHIL 150E: Logic in Action: A New Introduction to Logic
No schedule information
PHIL 151: Metalogic (PHIL 251)
2015-2016 Winter
-
PHIL 151 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
34475
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Winter 1
| In Person
| Students enrolled: 34
01/04/2016 - 03/11/2016 Mon, Wed 9:00 AM - 10:20 AM at 260-113 with Icard, T. (PI)
Exam Date/Time: 2016-03-14 8:30am - 11:30am (Exam Schedule)
Instructors: Icard, T. (PI) -
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
40222
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Winter 1
| In Person
| Students enrolled: 10
01/04/2016 - 03/11/2016 Mon 12:30 PM - 1:20 PM at 420-245 with Wang, Y. (TA)
Instructors: Wang, Y. (TA) -
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
40271
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Winter 1
| In Person
| Students enrolled: 1
01/04/2016 - 03/11/2016 Thu 10:30 AM - 11:20 AM at 420-286 with Gottlieb, D. (TA)
Instructors: Gottlieb, D. (TA)
PHIL 151A: Recursion Theory (PHIL 251A)
No schedule information
PHIL 154: Modal Logic (PHIL 254)
2015-2016 Spring
-
PHIL 154 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
43263
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Spring 1
| In Person
| Students enrolled: 8
03/28/2016 - 06/01/2016 Mon, Wed 3:00 PM - 4:20 PM at 240-110 with van Benthem, J. (PI)
Exam Date/Time: 2016-06-06 3:30pm - 6:30pm (Exam Schedule)
Instructors: van Benthem, J. (PI) -
PHIL 154 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
43689
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Spring 1
| In Person
| Students enrolled: 1
03/28/2016 - 06/01/2016 Wed 12:30 PM - 1:20 PM at 60-119 -
PHIL 154 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
45198
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Spring 1
| In Person
- -
PHIL 166: Probability: Ten Great Ideas About Chance (PHIL 266, STATS 167, STATS 267)
2015-2016 Spring
-
PHIL 166 |
4 units |
UG Reqs: GER:DB-Math, WAY-AQR, WAY-FR |
Class #
46910
|
Section 01 |
Grading: Letter or Credit/No Credit |
SEM |
Session: 2015-2016 Spring 1
| Students enrolled: 5
03/28/2016 - 06/01/2016 Thu 4:30 PM - 7:20 PM at Sequoia Hall 200 with Diaconis, P. (PI); Skyrms, B. (PI); Sepehri, A. (TA)
Instructors: Diaconis, P. (PI); Skyrms, B. (PI); Sepehri, A. (TA)
PHYSICS 61: Mechanics and Special Relativity
2015-2016 Autumn
-
PHYSICS 61 |
4 units |
UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA |
Class #
16528
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 56
09/21/2015 - 12/04/2015 Mon, Wed, Fri 3:00 PM - 4:20 PM at Hewlett Teaching Center 201 with Moler, K. (PI)
Exam Date/Time: 2015-12-09 3:30pm - 6:30pm (Exam Schedule)
Instructors: Moler, K. (PI) -
PHYSICS 61 |
UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA |
Class #
28244
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 13 / 18
09/21/2015 - 12/04/2015 Thu 10:30 AM - 11:50 AM at Lathrop 292 with Welch, A. (TA)
Instructors: Welch, A. (TA) -
PHYSICS 61 |
UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA |
Class #
28243
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 14 / 18
09/21/2015 - 12/04/2015 Thu 12:00 PM - 1:20 PM at Lathrop 292 with Cukierman, A. (TA)
Instructors: Cukierman, A. (TA) -
PHYSICS 61 |
UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA |
Class #
28242
|
Section 04 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 16 / 18
09/21/2015 - 12/04/2015 Thu 1:30 PM - 2:50 PM at Lathrop 292 with Kang, J. (TA)
Instructors: Kang, J. (TA) -
PHYSICS 61 |
UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA |
Class #
28241
|
Section 05 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2015-2016 Autumn 1
| In Person
| Students enrolled: 13 / 18
09/21/2015 - 12/04/2015 Thu 3:00 PM - 4:20 PM at Lathrop 292 with Brackbill, N. (TA)
Instructors: Brackbill, N. (TA)
Filter Results: