\documentclass[10pt, a4paper]{report}

\usepackage[portuguese]{babel}
\usepackage{fullpage}
\pagestyle{empty}
%\documentstyle[11pt]{report}
 
\begin{document}

\begin{tabular}{|r|c|c|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 & 08 & Apresenta\c{c}\~{a}o do plano de curso \\ \hline
 03-04 & 07 & 08 & Modelagem e formaliza\c{c}\~ao. \\ \hline
 05-06 & 12 & 08 & A realidade sob a \'otica da l\'ogica proposicional. \\
       &    &    & A linguagem da l\'ogica proposicional. \\ \hline
 07-08 & 14 & 08 & O significado das f\'ormulas. Avalia\c{c}\~ao no n\'{\i}vel conceitual. \\ \hline
 09-10 & 19 & 08 & Avalia\c{c}\~ao das f\'ormulas no n\'{\i}vel formal. Equival\^encia l\'ogica. \\ \hline
 11-12 & 21 & 08 & Satisfa\c{c}\~ao, tautologicas e contradi\c{c}\~oes. \\ \hline
 13-14 & 26 & 08 & O problema da satisfabilidade. \\ \hline
 15-16 & 28 & 08 & Determinando a que classe pertence uma f\'ormula. \\ \hline
 17-18 & 02 & 09 & Formas normais da nega\c{c}\~ao, conjuntiva e disjuntiva. \\ \hline
 19-20 & 04 & 09 & O algoritmo DPLL para SAT. \\ \hline
 21-22 & 09 & 09 & Conseq\"u\^encia l\'ogica. \\ \hline
 23-24 & 11 & 09 & Regras e dedu\c{c}\~oes. Sistema dedutivo do tipo Hilbert. \\ \hline
 25-26 & 16 & 09 & Dedu\c{c}\~ao natural. \\ \hline
 27-28 & 18 & 09 & Tableaux marcados e n\~ao marcados. \\ \hline
 29-30 & 23 & 09 & Resolu\c{c}\~ao. \\ \hline
 31-32 & 25 & 09 & \'Arvores de prova. \\ \hline
 33-34 & 30 & 09 & Modelando a realidade por meio de estruturas. \\ \hline
 35-36 & 02 & 10 & A linguagem da l\'ogica de predicados de primeira ordem. \\ \hline
 37-38 & 07 & 10 & Apresenta\c{c}\~ao do primeiro trabalho pr\'atico. \\ \hline
 39-40 & 09 & 10 & Primeira prova. \\ \hline
 41-42 & 14 & 10 & Sem\^antica da l\'ogica de predicados. Conseq\"u\^encia l\'ogica. \\ \hline
 43-44 & 16 & 10 & Exemplos de regras e dedu\c{c}\~oes para l\'ogica de primeira ordem. Sistemas de Hilbert. \\ \hline
 45-46 & 28 & 10 & Dedu\c{c}\~ao natural e tableau anal\'{\i}tico para l\'ogica de predicados. \\ \hline
 47-48 & 30 & 10 & Unifica\c{c}\~ao. Tableaux com unifica\c{c}\~ao. \\ \hline
 49-50 & 04 & 11 & Resolu\c{c}\~ao para l\'ogica de predicados de primeira ordem.\\ \hline
 51-52 & 06 & 11 & Resolu\c{c}\~ao com extra\c{c}\~ao de respostas. \\ \hline
 53-54 & 11 & 11 & Estrat\'egias de pesquisa. \\  \hline
 55-56 & 13 & 11 & \'Arvores de prova para l\'ogica de predicados. \\ \hline
 57-58 & 18 & 11 & L\'ogica multisortida. Unifica\c{c}\~ao e resolu\c{c}\~ao multisortida. \\ \hline
 59-60 & 20 & 11 & L\'ogica multisortida e redes taxon\^omicas. \\ \hline
 61-62 & 25 & 11 & Racioc\'{\i}nio n\~ao monot\^onico usando express\~oes de categorias. \\ \hline
 63-64 & 27 & 11 & Segunda prova. \\ \hline
 65-66 & 09 & 12 & Apresenta\c{c}\~ao do segundo trabalho pr\'atico. \\ \hline
\end{tabular}
 
\end{document}
 