DCC638 Introdução à Lógica Computacional, 2020/1

Lectures

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

Staff & Office Hours

Instructor

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

TA

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

Course Tools

Moodle: For homework submissions and grades
Teams: For online classes, announcements, clarifications, questions, and discussions