\documentclass[12pt,a4paper]{report}
 
\newcounter{conta}
\newcounter{conta2}
\begin{document}

\noindent Bacharelado em Ci\^{e}ncia da Computa\c{c}\~{a}o
\hfill DCC/ICEx/UFMG \\
{\it Matem\'{a}tica Discreta}
\hfill $\mbox{1}^{\mbox{\underline{o}}}$ semestre de 2001 \\
Professor: Newton Jos\'{e} Vieira \hfill e-mail: nvieira@dcc.ufmg.br \\
{\bf Plano de Curso}

\section{Programa}
 
\begin{itemize}
 \item Introdu\c c\~ao \`a L\' ogica Matem\'atica
 \item Conceitos b\'{a}sicos de teoria dos conjuntos
 \item T\'{e}cnicas b\'{a}sicas de prova
 \item Combinat\'oria
 \item Rela\c{c}\~{o}es de recorr\^{e}ncia
\end{itemize}
 
\section{Bibliografia}
 
Os 3 primeiros itens do programa ser\~ao desenvolvidos com base no livro:
 
\begin{itemize}
 \item Velleman, D.J. {\it How To Prove It: A Structured Approach\/}, Cambridge
       University Press, 1996.
\end{itemize}
Os itens restantes ser\~ao desenvolvidos com base em bibliografia a ser oportunamente
divulgada.

O livro texto pode ser comprado via WWW em {\em sites\/} como, por e\-xem\-plo: www.amazon.com,
www.bn.com ou www.bookpool.com. Nesta data (02/03/2001), os dois primeiros est\~ao
anunciando o livro pelo seu pre\c co de capa ({\em list price\/}): US\$24.95.
O \'ultimo, Bookpool, est\'a anunciando o pre\c co de US\$19.95. Como a taxa de correio
\'e relativamente alta, o ideal \'e que os interessados fa\c cam um grupo e algu\'em
(que tenha cart\~ao de cr\'edito internacional) compre para o grupo todo (evidentemente,
pode-se acrescentar outros livros de interesse das pessoas do grupo). Exemplo,
considerando entrega do livro em 3 dias \'uteis, pela Bookpool: comprando-se 1 c\'opia
a \$19.95, a taxa \'e \$21.19; o livro sai ent\~ao por
\$41.14. Comprando-se 10 c\'opias a \$199.50, a taxa \'e \$55.38; o livro sai a
\$25.49. Outra op\c c\~ao, caso se forme um grupo, \'e negociar um desconto com a
Livraria, via e-mail.

As transpar\^encias a serem utilizadas, assim como qualquer outro material
relativo ao curso, podem ser obtidas em
\begin{center}
 http://www.dcc.ufmg.br/\verb+~+nvieira
\end{center}
na entrada Cursos de gradua\c c\~ao/Matem\'atica Discreta/[2001/1].
 
A bibliografia abaixo, que pode ser consultada na biblioteca do ICEx (sala 4222),
cont\'em outras abordagens para os mesmos assuntos, e exerc\'{\i}cios adicionais:
 
\begin{itemize}
 \item Balakrishnan, V.K. {\it Introductory Discrete Mathematics\/}, Dover,
       1991.
 \item Burke, E., Foxley, E. {\it Logic and its Applications\/}, Prentice Hall,
       1996.
 \item Dean, N. {\it The Essence of Discrete Mathematics\/}, Prentice Hall,
       1997.
 \item Epp, S. {\it Discrete Mathematics with Applications\/}, 2nd edition, PWS
       Publishing Co., 1995.
 \item Grassmann, W.K., Tremblay, J.-P. {\it Logic and Discrete Mathematics: A
       Computer Science Perspective\/}, Prentice Hall, 1996.
 \item Grimaldi, R.P. {\it Discrete and Combinatorial Mathematics: An Applied
       Introduction\/}, 3rd edition, Addison-Wesley, 1994.
 \item Johnsonbaugh, R. {\it Discrete Mathematics\/}, 5th edition, Prentice Hall, 
       2000.
 \item Lipschutz, S., Lipson, M. {\it Discrete Mathematics\/}, 2nd ed.,
       Schaum's Outlines Series, McGraw-Hill, 1997.
 \item Mattson Jr., H.F. {\it Discrete Mathematics with Applications\/}, John
       Wiley \& Sons, 1993.
 \item Mott, J.L., Kandel, A., Baker, T.P. {\it Discrete Mathematics for
       Computer Scientists\/}, Reston, 1983.
 \item Rosen, K.H. {\it Discrete Mathematics and its Applications\/}, 4th
       edition, McGraw-Hill, 1998.
 \item Tucker, A. {\it Applied Combinatorics\/}, 3rd edition, Wiley \& Sons,
       1995. 
\end{itemize}

\section{Avalia\c{c}\~ao}

Ser\~ao aplicadas 4 provas, valendo 25 pontos cada uma, versando sobre toda a
mat\'eria j\'a vista. No final do semestre ser\'a aplicada uma prova suplementar,
valendo 25 pontos, cobrindo toda a mat\'eria. A menor nota dentre as
5 ser\'a descartada.

Antes de cada prova (com bastante anteced\^encia) ser\'a emitida uma lista de
exerc\'{\i}cios. Tal lista constar\'a de exerc\'{\i}cios do livro texto com
graus de dificuldade similares aos da prova que ser\'a aplicada em seguida.
Recomenda-se fortemente que os exerc\'{\i}cios das listas (melhor ainda, todos
os exerc\'{\i}cios do livro texto) sejam resolvidos na medida em que a mat\'eria
correspondente for sendo coberta durante o curso.

{\bf Importante:} \'E essencial que o aluno, al\'em de estudar a mat\'eria,
resolva, no m\'{\i}nimo, os exerc\'{\i}cios das listas, pelos seguintes motivos:
\begin{itemize}
 \item Se o aluno consegue resolver todas as listas (at\'e a $i$-\'esima), ent\~ao
       tem boa nota na $i$-\'esima prova.
 \item A afirmativa inversa da anterior tamb\'em \'e verdadeira.
\end{itemize}

%\end{document}
\pagebreak
\section{Cronograma das Aulas}

\begin{tabular}{rcl}
 \multicolumn{1}{c}{\it Aula} & {\it Data} & \multicolumn{1}{c}{\it Assunto} \\
 01-02 & 12/03 & Apresenta\c{c}\~{a}o do plano de curso \\
 03-04 & 14/03 & 1.1, 1.2 \\
 05-06 & 19/03 & 1.3, 1.4 \\
 07-08 & 21/03 & 1.5 \\
 09-10 & 26/03 & 2.1, 2.2 \\
 11-12 & 28/03 & 2.3 \\
 13-14 & 02/04 & 3.1 \\
 15-16 & 04/04 & Corre\c c\~ao de exerc\'{\i}cios \\ \cline{2-3}
 17-18 & \multicolumn{1}{|c}{09/04} & \multicolumn{1}{l|}{Primeira prova}
  \\ \cline{2-3}
 19-20 & 11/04 & 3.2\\
 21-22 & 16/04 & 3.3 \\
 23-24 & 18/04 & 3.4, 3.5 \\
 25-26 & 23/04 & 3.6, 3.7 \\
 27-28 & 25/04 & 4.1, 4.2 \\
 31-32 & 30/04 & Corre\c c\~ao de exerc\'{\i}cios \\ \cline{2-3}
 33-34 & \multicolumn{1}{|c}{02/05} & \multicolumn{1}{l|}{Segunda prova}
  \\ \cline{2-3}
 35-36 & 07/05 & 4.3 \\
 37-38 & 09/05 & 5.1, 5.2 \\
 39-40 & 14/05 & 6.1, 6.2 \\
 41-42 & 16/05 & 6.3, 6.4 \\
 43-44 & 21/05 & 2.1, 2.2 \\
 45-46 & 23/05 & Corre\c c\~ao de exerc\'{\i}cios \\ \cline{2-3}
 47-48 & \multicolumn{1}{|c}{28/05} & \multicolumn{1}{l|}{Terceira prova}
  \\ \cline{2-3}
 49-50 & 30/05 & 2.3 \\
 51-52 & 04/06 & 2.4, 2.5 \\
 53-54 & 06/06 & 2.6 \\
 55-56 & 11/06 & 3.1, 3.2 \\
 57-58 & 13/06 & 3.3, 3.4 \\
 59-60 & 18/06 & 4.1, 4.2 \\
 61-62 & 20/06 & 4.3 \\
 61-62 & 25/06 & Corre\c c\~ao de exerc\'{\i}cios \\ \cline{2-3}
 63-64 & \multicolumn{1}{|c}{27/06} & \multicolumn{1}{l|}{Quarta prova}
  \\ \cline{2-3}
\end{tabular}
 
\end{document}
\endinput
\end
 