\documentclass[12pt]{article}
\usepackage[portuges]{babel}
\usepackage[latin1]{inputenc}
\input{defport}
\title{T\'ecnicas de Busca e Ordena\c c\~ao}
\author{Raul H.C.Lopes}
\begin{document}
\maketitle

\section{Programa}
O curso ser\'a organizado em torno  de tr\^es exerc\ii cios fundamentais, que servir\ao\
de temas para os trabalhos pr\'aticos:
\begin{itemize}
	\item Pesquisa em bases estruturadas
	\item Pesquisa em textos
	\item Pesquisa em grafos
\end{itemize}

Para cada um desses temas ser\ao\ estudadas estruturas e algoritmos seguindo a 
ementa:

\begin{enumerate}
	\item Apresenta\cao\ axiom\aa tica de tipos de dados
	\item Indu\cao
	\item L\oo gica
	\item Fundamentos de An\aa lise Combinat\oo ria
	\item Ordena\cao
	\item \'Arvores como estruturas de indexa\cao
	\item \'Arvores de prioridade
	\item Representa\cao\ de conjuntos
	\item Pesquisa em string
	\item Pesquisa em grafos
\end{enumerate}

Cada algoritmo estudado ser\'a abordado do ponto-de-vista de corre\cao\ e an\'alise 
de complexidade.

\begin{enumerate}
	\item Corre\c c\~ao de programas
  \begin{itemize}
    \item A metodologia Floyd-Dijkstra-Hoare
    
    \item Propriedade invariante e corre\cao\ parcial de programas
    
    \item Vari\'avel derivada e t\'ermino de programas
    
  \end{itemize}
  \item Fundamentos de an\'alise  de algoritmos
  \begin{itemize}
    
    \item Crescimento de fun\coes\ e nota\cao\ assint\'otica
    
    \item Recorr\^encias e somas
    
    \item An\'alise de melhor  e pior caso
	    
  \end{itemize}
\end{enumerate}

\section{Refer\^encias  b\'asicas}
O seguinte conjunto de refer\^encias ser\'a usado ao longo do curso. Obviamente,
ser\ao\ abordados alguns t\'opicos de cada uma delas. 

\begin{itemize}
	\item Discrete Mathematics
		\textit{Kenneth Rosen}
  \item Introduction to Algorithms 
  
  \textit{T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein}
  
  \item The Art of Computer Programming: Vol. I, III
  
  \textit{D.E. Knuth}
  
  \item Concrete Mathematics
  
  \textit{R.L.Graham,D.E. Knuth, O. Patashnik}
   
  \item An Introduction to Combinatorial Analysis
  
  \textit{J. Riordan}
   
  \ item The Science of Programming
  
  \textit{D. Gries}
\end{itemize}

Al\'em disso, artigos e notas de aula ser\~ao indicados ao longo do curso.

\section{Regras de Avalia\c c\~ao}
Este ser\'a certamente um de seus cursos mais trabalhosos, o que n\ao\ significa
que ser\'a dif\ii cil.

Ser\ao\ desenvolvidos tr\^es tipos de atividades:

\begin{itemize}
	\item provas: tr\^es
	\item trabalhos pr\aa ticos: tr\^es
	\item exerc\ii cios de programa\cao\ e l\oo gica
\end{itemize}

Provas e trabalhos definem a nota final, que ser\'a a m\'edia aritm\ee tica
das prova e trabalhos realizados. 
Estar\'a aprovado quem obtiver m\'edia igual ou superior a $7$. Alunos 
que obtenham m\'edia igual ou superior a $6$ e que tenham completado,
ao menos, $80\%$ dos exerc\ii cios de programa\cao\ e l\oo gica
ser\ao\ aprovados sem  prova final.

\subsection{Datas das Provas }

\begin{enumerate}
  \item Prova 0: 22/11/04
  \item Prova 1: a definir
  \item Prova 2: a definir
\end{enumerate}

\subsection{Datas dos Trabalhos }
\begin{itemize}
	\item Trabalho 0: a definir
	\item Trabalho 1: a definir
	\item Trabalho 2: a definir
\end{itemize}

A defini\cao\ das datas acima depende da defini\cao\ oficial pela UFES do
calend\aa rio acad\^emico.

\end{document}
