Date post: | 02-Jun-2018 |
Category: |
Documents |
Upload: | sanapala-amit |
View: | 227 times |
Download: | 0 times |
of 15
8/10/2019 Course Introduction Slides
1/15
Objectives
Grades
Lectures
Content
Course Introduction
Dr. Mattox Beckman
Illinois Institute of Technology
Department of Computer Science
http://find/8/10/2019 Course Introduction Slides
2/15
Objectives
Grades
Lectures
Content
Objectives
Learn who your instructor is;
Understand how this course will be administered, including your responsibilities as a student, and the instructors responsibilities to you.
http://find/8/10/2019 Course Introduction Slides
3/15
Objectives
Grades
Lectures
Content
The Instructor
Name Mattox Beckman
Education PhD, Fall 2003, University of Illinois at
Urbana-Champaign
Research Interests Programming Languages, Type Theory, Functional
Programming
Professional Interests Teaching, Category Theory, Consulting, Clojure
Personal Interests Fermentation (Beer, Wine, Sauerkraut), Go (Baduk,
Wei-Qi, Igo), Christian Theology, Insight Meditation,
Attic/Koine Greek, Korean, Carbohydrate Restriction
http://find/8/10/2019 Course Introduction Slides
4/15
Objectives
Grades
Lectures
Content
My Responsibilities
My job is to provide an optimal learning environment.
Assignments will be clearly written and administered.
Questions will be answered in a timely fashion.
Objectives of lectures and assignments will be clearlycommunicated.
Grades will be fair, meaningful, and reflect mastery of coursematerial.
C grade means can reliably recognize the correct answer A grade means can reliably generate the correct answer
If somethings not going the way it should, tell me!
http://find/http://goback/8/10/2019 Course Introduction Slides
5/15
Objectives
Grades
Lectures
Content
Your Responsibilities
Check the course web page frequently.
http://mccarthy.cs.iit.edu/cs536
Subscribe to Piazza and have at least digest email. Do the homework assignments in order to learn them.
Attend lectures if at all possible.
Take responsibility and initiative in learning material experiment!
You are the one primarily responsible for your education.
http://mccarthy.cs.iit.edu/cs536http://find/8/10/2019 Course Introduction Slides
6/15
Objectives
Grades
Lectures
Content
Contact Info
Instructor Mattox Beckman
Best Contact via email. I use inbox zero, but not on
weekends.Email Addresses
Office 110 SB
Office Hours Tuesday and Thursday, 16.0017.00;
and by appointment.
Home Page http://mccarthy.cs.iit.edu/mattox
Obj i G d L C
http://mccarthy.cs.iit.edu/mattoxhttp://find/8/10/2019 Course Introduction Slides
7/15
Objectives
Grades
Lectures
Content
Activities
Collectively worth 20%
Designed to help you study for the exams, and to achieve major
course objectives.
Full collaboration allowed.
Expect at least one each class period.
These are due the following class, no late activities accepted.
Obj ti G d L t C t t
http://find/8/10/2019 Course Introduction Slides
8/15
Objectives
Grades
Lectures
Content
Exams
The purpose of an exam is to measure mastery of material.
1 midterm exam worth 40%.
Date: June 26
Location: in class.
Final exam worth 40%. Thursday, July 24, in class.
It will be cumulative. Nice British System
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
9/15
Objectives
Grades
Lectures
Content
Grade Guarantees
The course will not be graded on a curve or by ranking. Instead, we have
the following grade guarantees:
85% A
70% B
55% C
40% D
Note that a graduate student cannot be assigned a D grade. Below 55%is failing!
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
10/15
Objectives
Grades
Lectures
Content
Workflow
Here is the typical workflow for a lecture period.
Visit the Schedule Page the day before the lecture.
Watch the online video. Come to class
First 15 minutes, Q and A Remaining time: in-class assignment (activity) Activities due by the end of the next class. (Hard Deadline!) Online students: submit by email.
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
11/15
Objectives
Grades
Lectures
Content
Attention vs. Time
Why activities?
Objectives Grades Lectures Content
http://find/http://goback/8/10/2019 Course Introduction Slides
12/15
Objectives
Grades
Lectures
Content
Levels of Learning Retention
1. Hearing it in lecture you will forget most of it.
2. Writing it down improved learning retention.
3. Solving a problem
4. Explaining a concept This requires a team activity
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
13/15
j
In-class activities
Research shows that students learn alotmore in active learning
environments. So...
Bring a pen or iPad!
Most activities will be team-based.
Answers will typically not be handed out, but they will be discussed
in class and may be online.
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
14/15
j
What is this course about?
Two word answer: Program Verification
Outline of the Course
IntroduceFormal Systems Review First Order Predicate Logic
Introduce a small imperative language
Design a Proof System for it
And then start adding features....
Objectives Grades Lectures Content
http://find/8/10/2019 Course Introduction Slides
15/15
Features
Our technique is simple.
Add a new language feature. Disjoint Parallelism Shared Variables Atomic Regions Nondeterminism Messages
Show how to translate this feature into a previously proved
language.
http://find/