Synchronous Sessions

August 29 : Orientation

 

October 8 : Question - Answer

8:15 - 9:00 p.m.

December 3 : Question - Answer

8:15 - 9:00 p.m.

 

See "Important Dates" for details.

 

Test and Exam

October 15 : Test

12:30 - 2:00 p.m.

December 13 : Final Exam

12:30 - 3:30 p.m.

 

 

 

 

General Communication

E-mail : toida@cs.odu.edu

Phone : (757) 683-3392

FAX : (757) 683-4900

NetMeeting : 128.82.4.37

 

Office Hours: Tuesdays and Thursdays

4:30 - 5:30 p.m.

 

Homework Submission

MS Word, Text, Postscript, PDF or Latex files are accepted.

Submit by

E-mail (attach a file),

FAX, or

US Mail

Will be graded and returned within a week


Course Requirements

  1. Homework (12 homework assignments)

    2. 20%

  2. Test ( one test )

    3. 30%

  3. Final Exam

50%

Course Materials

Following the "Sample Study Schedule" is recommended.

Home Page for this course is at

http://www.cs.odu.edu/~toida/courses/CS381/web_course.html

 

There you can find links to the following items:

syllabus

textbook information

homework questions

test and exam information

sample study schedule

table of contents for study materials

important dates

messages from the instructor

and

test questions and solutions from past years


Course Objectives

  1. Learn mathematical concepts, their properties and relations
  2. Learn to reason logically
  3. Learn to read/write mathematical articles
  4. Cultivate the ability to extrapolate

 

About Course Materials

Color Code

Red letters are terms being defined or important.

and are linked to the definition.

Green letters are terms to be defined

shortly after.

 

Math Symbols

    If math symbols are not available,
    you can use strings shown in legend.
    You can access this through Table of Contents.

Prerequisite Glossary

    A list of terms you are required to know
    to understand the materials of this course.
    It can be found in prerequisite glossary.
    You can access this through Table of Contents.

Index

    There is an index for the terms defined
    for this course.
    It can be found in index.
    You can access this through Table of Contents.

 

Exercise Help

 

  1. Non-multiple choice exercises on English to Logic translation
    • Converting Inferencing to Logic
    • Converting English to Logic

  2. Automatic checker of reasoning for logic
    • Inference Checking

  3. Automatic checker of reasoning for sets
    • Exercises on Reasoning about Sets

These can be accessed through the Table of Contents.

 

Send me your

  • e-mail address
  • telephone number