Spring 2018 Special Studies: Set Theory at Smith

In Spring 2018, Professor Jim Henle will be teaching Set Theory as a Special Studies course at Smith College. 

Time: Thursdays from 3 to 5PM

Prerequisite: Any course featuring deduction or a math course involving proof (such as Discrete Mathematics)

For more information, contact Jim Henle: jhenle@smith.edu.

Spring 2018 Courses

Semester: 
Spring
Year: 
2018
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 110 01 Introduction To Logic Kevin Klement TU TH 1:00PM 2:15PM UMass Amherst
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 310 01 Intermediate Logic Gary Hardegree TU TH 1:00PM 2:15PM UMass Amherst
COMPSCI 501 01 Formal Language Theory Neil Immerman M W F 11:15AM 12:05PM UMass Amherst
COMPSCI 501 02 Formal Language Theory Neil Immerman M W F 11:15AM 12:05PM UMass Amherst
PHIL 511 01 Modal Logic Gary Hardegree TU TH 10:00AM 11:15AM UMass Amherst
PHIL 792L 01 S- Philosophy of Logic Phillip Bricker;Alejandro Perez Carballo TU 1:00PM 3:30PM UMass Amherst

Fall 2017 Courses

Semester: 
Fall
Year: 
2017
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
CS 0263 1 Artificial Intelligence Lee Spector 12:30PM-01:50PM TU;12:30PM-01:50PM TH Hampshire College
CS 0264 1 Pragmatics Daniel Altshuler 10:30AM-11:50AM M;10:30AM-11:50AM W Hampshire College
LOG 100 D01 VALID & INVALID REASONING James Henle W 11:00-12:10 Smith College
LOG 100 D02 VALID & INVALID REASONING Jay Garfield W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Robert Gruber W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
LOG 100 D05 VALID & INVALID REASONING Robert Gruber Th 10:30-11:40 Smith College
LOG 100 D06 VALID & INVALID REASONING Jay Garfield W 02:40-03:50 Smith College
LOG 100 01 VALID & INVALID REASONING Jay Garfield; James Henle MF 11:00-12:10 Smith College
PHIL 210 01 Logical Thought Nina Emery MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 213 01 Logic Alexander George TH 09:00AM-09:50AM Amherst College
PHIL 327 01 Advanced Logic Samuel Mitchell MW 02:40PM-03:55PM Mount Holyoke College
LINGUIST 510 01 Intro To Semantics Peter Alrenga TU TH 10:00AM 11:15AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics W 1:25PM 2:15PM UMass Amherst
COMPSCI 513 01 Logic in Computer Science Neil Immerman M W 9:05AM 10:20AM UMass Amherst
COMPSCI 513 02 Logic in Computer Science Neil Immerman M W 9:05AM 10:20AM UMass Amherst
PHIL 593C 01 S- Counterfactuals Alejandro Perez Carballo W 4:00PM 6:30PM UMass Amherst
LINGUIST 609 01 Formal Foundations Ling Theory Rajesh Bhatt;Vincent Homer TU TH 10:00AM 11:15AM UMass Amherst

Spring 2017 Courses

Semester: 
Spring
Year: 
2017
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
CS 0214 1 Semantics Daniel Altshuler 10:30AM-11:50AM M;10:30AM-11:50AM W Hampshire College
LOG 101 02 PLAUSIBLE & IMPLAUSIBLE REASON Albert Mosley TTh 09:00-10:20 Smith College
PHIL 110 01 Introduction To Logic Kevin Klement TU TH 1:00PM 2:15PM UMass Amherst
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 310 01 Intermediate Logic Gary Hardegree TU TH 1:00PM 2:15PM UMass Amherst
LINGUIST 510 01 Intro To Semantics Angelika Kratzer M W F 11:15AM 12:05PM UMass Amherst
LINGUIST 510 01LL Intro To Semantics F 12:20PM 1:10PM UMass Amherst
PHIL 513 01 Math Logic I Kevin Klement M W F 11:15AM 12:05PM UMass Amherst
PHIL 595S 01 S-Formal Semantics Gary Hardegree TU TH 10:00AM 11:15AM UMass Amherst

Fall 2016 Courses

Semester: 
Fall
Year: 
2016
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
LOG 100 D05 VALID & INVALID REASONING Lisa Cassell Th 10:30-11:40 Smith College
LOG 100 D06 VALID & INVALID REASONING Jay Garfield W 02:40-03:50 Smith College
LOG 100 01 VALID & INVALID REASONING Jay Garfield; James Henle MF 11:00-12:10 Smith College
LOG 100 D01 VALID & INVALID REASONING James Henle W 11:00-12:10 Smith College
LOG 100 D02 VALID & INVALID REASONING Jay Garfield W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Lisa Cassell W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
PHIL 213 01 Logic Alexander George TH 09:00AM-09:50AM Amherst College
COMPSCI 250 01 Introduction To Computation Neil Immerman M W F 1:25PM 2:15PM UMass Amherst
COMPSCI 250 01AA Introduction To Computation W 11:15AM 12:05PM UMass Amherst
COMPSCI 250 01AB Introduction To Computation W 12:20PM 1:10PM UMass Amherst
COMPSCI 250 01AC Introduction To Computation W 11:15AM 12:05PM UMass Amherst
COMPSCI 250 01AD Introduction To Computation W 12:20PM 1:10PM UMass Amherst
PHIL 328 01 Non-Classical Logic Samuel Mitchell TTH 11:30AM-12:45PM Mount Holyoke College
LINGUIST 409 01 Intro Computational Linguistcs Rajesh Bhatt TU TH 2:30PM 3:45PM UMass Amherst

Spring 2016 Courses

Semester: 
Spring
Year: 
2016
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
LOG 101 02 PLAUSIBLE & IMPLAUSIBLE REASON Albert Mosley TTh 09:00-10:20 Smith College
PHIL 209 01 Probability and Causation Samuel Mitchell MW 01:15PM-02:30PM Mount Holyoke College
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
COMPSCI 250 01 Introduction To Computation David Barrington M W F 1:25PM 2:15PM UMass Amherst
COMPSCI 250 01AA Introduction To Computation F 10:10AM 11:00AM UMass Amherst
COMPSCI 250 01AB Introduction To Computation F 9:05AM 9:55AM UMass Amherst
COMPSCI 250 01AC Introduction To Computation F 10:10AM 11:00AM UMass Amherst
COMPSCI 250 01AD Introduction To Computation F 9:05AM 9:55AM UMass Amherst
LINGUIST 492B 01 S-Comptnl Linguist:Use&Meaning Brian Dillon TU TH 11:30AM 12:45PM UMass Amherst
LINGUIST 510 01 Intro To Semantics Angelika Kratzer TU TH 1:00PM 2:15PM UMass Amherst
LINGUIST 510 01LL Intro To Semantics TU 4:00PM 5:15PM UMass Amherst
COMPSCI 601 01 Computation Theory Neil Immerman TU TH 2:30PM 3:45PM UMass Amherst

Spring 2015 Logic Courses

Semester: 
Spring
Year: 
2015
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 110 01 Introduction To Logic Kevin Klement TU TH 1:00PM 2:15PM UMass Amherst
LOG 201 01 THE LOGIC OF PROBABILITY Samuel Ruhmkorff MW 01:10-02:30 Smith College
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
MATH 385 01 Mathematical Logic Daniel Velleman MWF 02:00PM-02:50PM; TH 09:00AM-09:50AM Amherst College
LINGUIST 510 01 Intro To Semantics Seth Cable M W F 10:10AM 11:00AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics F 12:20PM 1:10PM UMass Amherst
PHIL 514 01 Math Logic II Kevin Klement M W F 11:15AM 12:05PM UMass Amherst
CMPSCI 601 01 Computation Theory Neil Immerman TU TH 2:30PM 3:45PM UMass Amherst

Spring 2014 Logic Courses

Semester: 
Spring
Year: 
2014
Subj Abbr Course #sort descending Sect # Course Title Instructor(s) Meeting Times Institution
CS 0293 1 Introduction to Semantics Carlos Molina-Vital 02:30PM-03:50PM M,W Hampshire College
PHI 100 01 THINKING ABOUT THINKING Samuel Ruhmkorff MW 10:00-10:50 Smith College
PHI 100 D01 THINKING ABOUT THINKING Samuel Ruhmkorff F 10:00-10:50 Smith College
PHI 100 D02 THINKING ABOUT THINKING Samuel Ruhmkorff F 11:00-11:50 Smith College
PHIL 110 01 Introduction To Logic Gary Hardegree TU TH 1:00PM 2:15PM UMass Amherst
MTH 153 01 INTRO DISCRETE MATHEMATICS Kuei-Nuan Lin MWF 10:00-10:50 Smith College
PHIL 225 01 Symbolic Logic Charles Rathkopf MWF 10:00AM-10:50AM Mount Holyoke College
MATH 232 01 Discrete Mathematics Jennifer Biermann;Jennifer Biermann MW 01:15PM-02:30PM;F 01:15PM-02:05PM Mount Holyoke College
MATH 232 02 Discrete Mathematics Anne Schwartz;Anne Schwartz MW 01:15PM-02:30PM;F 01:15PM-02:05PM Mount Holyoke College
CMPSCI 250 01 Introduction To Computation David Barrington M W F 1:25PM 2:15PM UMass Amherst
CMPSCI 250 01AA Introduction To Computation M 2:30PM 3:20PM UMass Amherst
CMPSCI 250 01AB Introduction To Computation M 3:35PM 4:25PM UMass Amherst
CMPSCI 250 01AC Introduction To Computation M 2:30PM 3:20PM UMass Amherst
CMPSCI 250 01AD Introduction To Computation M 3:35PM 4:25PM UMass Amherst
CSC 250 01 THEORETICAL FOUNDATIONS/CSC Alicia Wolfe MWF 10:00-10:50 Smith College
PHIL 310 01 Intermediate Logic Gary Hardegree TU TH 9:30AM 10:45AM UMass Amherst
LOG 400 0 SPECIAL STUDIES Smith College
LINGUIST 510 01 Intro To Semantics Angelika Kratzer M W F 10:10AM 11:00AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics TH 4:00PM 4:50PM UMass Amherst
LINGUIST 620 01 Formal Semantics Ilaria Frana W F 12:20PM 1:35PM UMass Amherst

Pages