Contents:  Web Sites ⋅ Textbook & Readings ⋅ Homework ⋅ Exams ⋅ Grading

Course Plan for Ensino Remoto Emergencial

Course Description

The purpose of this course is to study fundamentals concepts in computational logic and to help develop the student's mathematical thinking.

Lectures

17:00-18:40 Mon, Wed. CAD 3, Auditorium B-106.

Instructor

Haniel Barbosa, Office 4323, DCC
hbarbosa@dcc.ufmg.br

Teaching Assistant

Josemar Caetano, Tue 15:00-16:00 (ICEx 1025), Thu 11:00-12:00 (ICEx 1026); or by appointment
josemarcaetano@dcc.ufmg.br

Web Sites

Most of the information about the class, including handouts and assignments, will be available from the class web site:

Course website

We will use Moodle for grade posting and for turning in assignments:

Moodle class

Online classes will take place via Microsoft Teams, as will discussions in general, which are highly encouraged:

Microsoft Team for online classes

Students are expected to check both the class web site and the Moodle discussion board on a regular basis (at least every other day) for announcements regarding the course.

Textbook and Readings

The required textbook is

Matemática Discreta e Suas Aplicações (6a Edição) Kenneth H. Rosen - McGraw Hill (2009)

Additional reading materials will be made available on the course web site as needed.

Homework Assignments

A few exercises may be given during the course of the semester, covering the material from the textbook and the lectures. These exercises are required but will not be collected.

There will be around ten homework assignments, which must be completed individually. Points will be assigned as long as answers are sensical. No involved grading will be performed.

Exams

There will be two exams, all during class time.

Grading

The weighting of items in grade determination will be the following:

Item	Weight
Homework Assignments	10%
Class participation	10%
Exam 1	40%
Exam 2	40%

Attendance: Students are expected to attend all classes. Studenst are expected to follow all classes. Their knowledge and therefore their grade depends on it. They are responsible for all announcements and material covered during class even if they did not attend.
At each class a list will be passed on to be signed by the student, attesting their attendance.

Make-up Exams: There will be a make-up exam at the end of the semester. It replaces one missed exam. It will cover the whole course.

---