Provides detailed information regarding the section of this class.
The number of open seats (status) for each section is updated once per hour. Status as of 12:30 PM.
Student Reminder To see real-time enrollment counts and to enroll classes into your study list, use the MyUCLA Find a Class and Enroll and Class Planner features.

Winter 2019

Philosophy (PHILOS)
PHILOS 135 - Introduction to Metalogic

Lecture: Lec 1

Class ID: 312540200

Class Website: https://ccle.ucla.edu/course/view/19W-PHILOS135-1

Day(s)

Time

Location

Open: 4 of 30 Left

0 of 5 Taken

8am-9:50am

Dodd Hall Room 154

4.0

Walsh, S.

Final Exam Information

Date

Day

Time

Location(s)

March 18, 2019

Monday

3pm-6pm

Dodd Hall 154

Enrollment Information

Grade Type

Individual Studies

Level

Letter Grade or Passed/ Not Passed

Class: None

No

N/A

Upper Division

Course Description

Lecture, four hours; discussion, one hour. Enforced requisite: course 31. Strongly recommended requisite: course 132 (or Mathematics 33A or 33B). Metatheory sentential logic and first-order logic. Introduction to formal language, formal deductive systems, and models. Compactness and completeness theorems that concern complexity of notion of logical consequences. P/NP or letter grading.

Class Description

None

General Education (GE)

This class does not satisfy any GE requirements.

Writing II

This class does not satisfy the undergraduate Writing II requirement.

Diversity

This class does not satisfy any College/School diversity requirement.

Class Notes

None

Department

Philosophy

Library Reserve

http://catalog.library.ucla.edu/vwebv/enterCourseReserve.do

Materials Use Fee

0.00