Act01_ActiveTeach_PropLogic

Act01_ActiveTeach_PropLogic - Illinois Institute of...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 536 Activities for Lecture 1 A. Why? We’ll be using active methods throughout the semester, so we should practice them. B. Outcomes At the end of this activity you should: Practice forming small groups, discussing questions, and forming answers. Have a list of topics you think this course might/should/could cover. Have a list of reasons why this course might help you someday (or could’ve helped in the past). C. Form Teams Get together in groups of ± ve. Agree on someone to be the speaker for the group; the speaker will communicate with the instructor and the rest of the class. D. Questions As a group, discuss the questions below. Write out your group’s results so we can compare di ² erent groups’ results. Note: Activities are not graded. 1. (Vocabulary Brainstorm) What words/phrases come to mind when you think of the topics “Program Veri ± cation” and “Program Testing”? 2.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/17/2011 for the course CS 536 taught by Professor Cs536 during the Fall '08 term at Illinois Tech.

Page1 / 2

Act01_ActiveTeach_PropLogic - Illinois Institute of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online