Five College Consortium

Five College Logic Certificate Program

Fall 2014 Logic Courses

Semester: 
Fall
Year: 
2014
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 213 01 Logic Alexander George MWF 09:00AM-09:50AM Amherst College
PHIL 213 02 Logic Alexander George MWF 10:00AM-10:50AM Amherst College
PHIL 213 03 Logic Alexander George MWF 11:00AM-11:50AM Amherst College
CS 0263 1 Artificial Intelligence Lee Spector 02:00PM-03:20PM T,TH Hampshire College
MATH 232 01 Discrete Mathematics Anne Schwartz MW 11:00AM-12:15PM;F 11:00AM-11:50AM Mount Holyoke College
PHIL 210 01 Logical Thought Daniel Hagen TTH 01:15PM-02:30PM Mount Holyoke College
CSC 250 01 THEORETICAL FOUNDATIONS/CSC Alicia Wolfe MWF 10:00-10:50 Smith College
LOG 100 01 VALID & INVALID REASONING 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 Samuel Ruhmkorff W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Kristian Olsen W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING Samuel Ruhmkorff W 02:40-03:50 Smith College
LOG 100 D05 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
LOG 100 D06 VALID & INVALID REASONING Kristian Olsen Th 10:30-11:40 Smith College
MTH 153 01 INTRO DISCRETE MATHEMATICS Gwen Spencer MWF 09:00-09:50 Smith College
MTH 153 02 INTRO DISCRETE MATHEMATICS Gwen Spencer MWF 10:00-10:50 Smith College
PHI 236 01 LINGUISTIC STRUCTURES Jill de Villiers TTh 10:30-11:50 Smith College
CMPSCI 250 01 Introduction To Computation Neil Immerman M W F 1:25PM 2:15PM UMass Amherst
CMPSCI 250 01AA Introduction To Computation W 11:15AM 12:05PM UMass Amherst
CMPSCI 250 01AB Introduction To Computation W 12:20PM 1:10PM UMass Amherst

Pages

Fall 2013 Five College Logic Courses

Semester: 
Fall
Year: 
2013
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
COSC 161 01 Computer Systems I

Scott Kaplan

MWF 11:00AM-11:50AM

Amherst College
PHIL 213 01 Logic

Alexander George

TTH 08:30AM-09:50AM

Amherst College
PHIL 350 01 Phil of Mathematics

Alexander George, Daniel Velleman

TTH 01:00PM-02:20PM

Amherst College
CS 0303 1 Unconventional Computing

Lee Spector

12:30PM-01:50PM T,TH

Hampshire College
NS 0112 1 Puzzles and Paradoxes

David Kelly

01:00PM-02:20PM M,W,F

Hampshire College
MATH 232 01 Discrete Mathematics

Margaret Robinson;Margaret Robinson

MW 01:15PM-02:30PM;F 01:15PM-02:05PM

Mount Holyoke College
PHIL 210 01 Logical Thought Charles Rathkopf MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 327 01 Advanced Logic

Lee Bowie

MWF 10:00AM-10:50AM

Mount Holyoke College
LOG 100 01 VALID & INVALID REASONING

James Henle; Samuel Ruhmkorff

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

Samuel Ruhmkorff

W 11:00-12:10

Smith College
LOG 100 D03 VALID & INVALID REASONING

Joshua Moulton

W 11:00-12:10

Smith College
LOG 100 D04 VALID & INVALID REASONING

Samuel Ruhmkorff

W 02:40-03:50

Smith College
LOG 100 D05 VALID & INVALID REASONING

James Henle

Th 09:00-10:10

Smith College
LOG 100 D06 VALID & INVALID REASONING

Joshua Moulton

Th 10:30-11:40

Smith College
MTH 153 01 INTRO DISCRETE MATHEMATICS

Benjamin Baumer

TTh 10:30-11:50

Smith College
MTH 153 02 INTRO DISCRETE MATHEMATICS

Pau Atela

TTh 01:00-02:50

Smith College
PHI 236 01 LINGUISTIC STRUCTURES

Jill de Villiers

TTh 09:00-10:20

Smith College
CMPSCI 250 01 Introduction To Computation

David Barrington

M W F 2:30PM 3:20PM

UMass Amherst
CMPSCI 513 01 Logic in Computer Science

Neil Immerman

TU TH 1:00PM 2:15PM

UMass Amherst

Pages

Spring 2013 Five College Logic Courses

UMass Amherst

Semester: 
Spring
Year: 
2013
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
CMPSCI 250 01 Introduction To Computation

Neil Immerman;David Barrington

TU TH 9:30AM 10:45AM

UMass Amherst
CMPSCI 250 D01 Introduction To Computation

M 2:30PM 3:20PM

UMass Amherst
CMPSCI 250 D02 Introduction To Computation

M 3:35PM 4:25PM

UMass Amherst
CMPSCI 250 D03 Introduction To Computation

M 2:30PM 3:20PM

UMass Amherst
CMPSCI 250 D04 Introduction To Computation

M 3:35PM 4:25PM

UMass Amherst
CMPSCI 401 01 Formal Language Theory

David Barrington

M W F 1:25PM 2:15PM

UMass Amherst
CMPSCI 601 01 Computation Theory

Neil Immerman

M W 10:35AM 11:50AM

UMass Amherst
LINGUIST 510 01 Intro To Semantics

Ilaria Frana

M W F 10:10AM 11:00AM

UMass Amherst
LINGUIST 510 L01 Intro To Semantics

TH 4:00PM 4:50PM

UMass Amherst

Pages