\documentclass[11pt, a4paper]{report}
\usepackage[brazil]{babel}
\usepackage[latin1] {inputenc}

\begin{document}
\pagestyle{empty}

{\footnotesize
\noindent
\begin{tabular}{|r|r|r|l|} \hline
 \multicolumn{1}{|c}{\it Aula} & \multicolumn{2}{|c|}{\it Data} &  \\ \cline{2-3}
\multicolumn{1}{|c|}{\it No.}   & Dia & M\^es & \multicolumn{1}{c|}{\it Assunto} \\ \hline
 01-02 & 05 &  3 & Apresenta\c{c}\~{a}o do plano de curso \\ \hline
 03-04 & 07 &  3 & Modelagem e formalização. O triângulo do significado. Uso e menção. Metalinguagem.\\ \hline
 05-06 & 12 &  3 & Interpretação e interpretação formal. Lógica: conceitos preliminares. Sistemas formais. \\ \hline
 07-08 & 14 &  3 & A realidade sob a ótica da lógica proposicional. A linguagem proposicional.  \\ \hline
 09-10 & 19 &  3 & O significado das fórmulas. Avaliação de fórmulas no nível conceitual. Equivalência lógica. \\ \hline
 11-12 & 21 &  3 & Satisfabilidade, falseabilidade, tautologias e contradições. Inter-reduções. \\ \hline
 13-14 & 26 &  3 & Verificação de satisfabilidade, falseabilidade, tautologias e contradições no nível conceitual. \\ \hline
  ***  & 28 & 03 & \emph{Recesso de semana santa}. \\ \hline
 15-16 & 02 & 04 & Avaliação de fórmulas no nível formal. Correção e completude.\\ \hline
 17-18 & 04 & 04 & Verificação de satisfabilidade e falseabilidade no nível formal: sistemas ${\cal S}_A$ e ${\cal S}_B$. \\ \hline
 19-20 & 09 & 04 & Verificação de satisfabilidade e falseabilidade no nível formal: sistema ${\cal S}_C$. \\ \hline
 21-22 & 11 & 04 & Verificação de insatisfabilidade no nível formal. \\ \hline
 23-24 & 16 & 04 & Verificação de tautologias no nível formal. Forma normal da negação.\\ \hline
 25-26 & 18 & 04 & Formas normais da conjunção e da disjunção. \\ \hline
 27-28 & 23 & 04 & O algoritmo DPLL. \\ \hline
 29-30 & 25 & 04 & Consequência lógica. Dedução: introdução.  \\ \hline
 31-32 & 30 & 04 & Exemplos de regras de inferência e deduções. Sistemas dedutivos do tipo Hilbert. \\ \hline
 33-34 & 02 & 05 & Sistemas dedutivos do tipo Gentzen. Tableaux semânticos.\\ \hline
 35-36 & 07 & 05 & Sistemas baseados em resolução. \\ \hline
 37-38 & 09 & 05 & Modelagem da realidade mediante estruturas. \\ \hline
 39-40 & 14 & 05 & Primeira prova. \\ \hline
 41-42 & 16 & 05 & A linguagem da lógica de predicxados de primeira ordem. \\ \hline
 43-44 & 21 & 05 & A semântica da linguagem da lógica de predicados. Validade, contradição e contingência.\\ \hline
 45-46 & 23 & 05 & Consequência lógica em lógica de predicados. Exemplos de regars de inferência e deduções. \\ \hline
 47-48 & 28 & 05 & Sistemas dedutivos do tuipo Hilbert. Tableaux semânticos para lógica de predicados.\\ \hline
  ***  & 30 & 05 & \emph{Corpus Christi}. \\ \hline
 49-50 & 04 & 06 & Unificação. Tableaux com unificação. \\ \hline
 51-52 & 06 & 06 & Obtenção de cláusulas em resolução. Exemplos de refutação por resolução. \\ \hline
 53-54 & 11 & 06 & Conjunto de suporte e deduções lineares. Extração de respostas em resolução. \\ \hline
 55-56 & 13 & 06 & Prolog: uma introdução. \\ \hline
 57-58 & 20 & 06 & Prolog: processamento de listas. \\ \hline
 59-60 & 27 & 06 & Segunda prova. \\ \hline
\end{tabular}
}

\end{document}
 