To the UIC home page  
USERNAME
PASSWORD     
New User? Sign up here.
Forget your login info?  
PRE-ENROLLMENT FAQs
POST-ENROLLMENT FAQs
ENROLLING AND PAYING
DIRECTIONS & PARKING
JOIN OUR MAILING LIST
LINKS AND RESOURCES
WORKING WITH OCE
STAFF DIRECTORY
INSTRUCTIONAL
  CONTRACT PROCESS
CoursesProgramsFacultyNews & Features
Back to OCE home page
Course Information
MATH 430 - Formal Logic I
Logic across the high school curriculum
Spring 2014

Sorry. Online enrollment is no longer possible for this course. The course is either full or the deadline for enrollment has passed. Late enrollment may be possible if space is available. Please email us at oce@uic.edu or call us at (312) 996-8025 to discuss your options.
College/Department : College of Liberal Arts & Sciences - Math, Statistics, and Computer Science
Program : CTTI: Chicago Transformation Teacher Institutes
Dates : 01/14/2014 - 04/15/2014
Credits : 4 graduate semester credit hours
Tuition/Fees: $461 per semester credit hour tuition.
Amount due from student : $0.00
Comments :

If you are a teacher who is currently participating in or planning to join the CTTI program, your tuition for this course will be fully covered by CTTI. If you are interested in taking this course without participating in CTTI, contact Prof. John Baldwin at jbaldwin@uic.edu for permission to enroll; full tuition will apply.

Description :

This course aims at three goals:

1) Understanding the basic notions of formal logic
2) Understanding the roles of these notions in specific high school situations
3) Understanding how these notions unify the high school curriculum
4) Understanding the nature of mathematical explanation and justification and the connections with justification in science.

The course will proceed on dual tracks. In one we will use materials around Tarski's world to introduce the fundamental ideas of formal logic. In the other we will be exploring problems from high school mathematics that are best understood using the tools of logic. The work with a computer-based logic curriculum will provide a basis for thinking about the use of computers in high school classrooms.

Prerequisites : Course offered to Graduate ONLY
Syllabus and Other Information : Syllabus
Textbook :

We will be using Tarski's World by Barwise and Etchmendy and numerous examples from high school curricula, including all four years of the CME Project (Pearson) curriculum, some from Integrated Mathematics Project (Key Curriculum Press). Tarski's World is a text with computer exercises designed to illustrate the basic ideas of predicate logic.  All of the above will be provided in the class.  Teachers in the course are encouraged to bring examples from their own curriculum.   The Barwise-Etchmendy text will be provided by CTTI.

Audit Option : No
Instructor(s): John Baldwin, Professor
Frederick A Thulin, Professor
Location : University of Illinois at Chicago
Lincoln Hall (LH)       »Room : 107
707 South Morgan Street
Chicago
Illinois
Schedule :
Tuesday 5:00 PM To 8:15 PM
Enrollment Deadline : Friday, January 24, 2014

HOME : CONTACT US : OTHER CONTINUING EDUCATION @ UIC : UIC HOME