% (find-angg "LATEX/2009-proj-monitoria-MD.tex")
% (find-dn4ex "edrx08.sty")
% (find-angg ".emacs.templates" "s2008a")
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2009-proj-monitoria-MD.tex && latex    2009-proj-monitoria-MD.tex"))
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2009-proj-monitoria-MD.tex && pdflatex 2009-proj-monitoria-MD.tex"))
% (eev "cd ~/LATEX/ && Scp 2009-proj-monitoria-MD.{dvi,pdf} edrx@angg.twu.net:slow_html/LATEX/")
% (defun d () (interactive) (find-dvipage "~/LATEX/2009-proj-monitoria-MD.dvi"))
% (find-dvipage "~/LATEX/2009-proj-monitoria-MD.dvi")
% (find-pspage  "~/LATEX/2009-proj-monitoria-MD.pdf")
% (find-pspage  "~/LATEX/2009-proj-monitoria-MD.ps")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o 2009-proj-monitoria-MD.ps 2009-proj-monitoria-MD.dvi")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 600 -P pk -o 2009-proj-monitoria-MD.ps 2009-proj-monitoria-MD.dvi && ps2pdf 2009-proj-monitoria-MD.ps 2009-proj-monitoria-MD.pdf")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o tmp.ps tmp.dvi")
% (find-pspage  "~/LATEX/tmp.ps")
% (ee-cp "~/LATEX/2009-proj-monitoria-MD.pdf" (ee-twupfile "LATEX/2009-proj-monitoria-MD.pdf") 'over)
% (ee-cp "~/LATEX/2009-proj-monitoria-MD.pdf" (ee-twusfile "LATEX/2009-proj-monitoria-MD.pdf") 'over)

%\documentclass[oneside]{book}
%\usepackage[latin1]{inputenc}
%\usepackage{edrx08}       % (find-dn4ex "edrx08.sty")
%L process "edrx08.sty"  -- (find-dn4ex "edrx08.sty")
%\input edrxheadfoot.tex   % (find-dn4ex "edrxheadfoot.tex")
%\begin{document}

%\input 2009-proj-monitoria-MD.dnt

% Original: Fernando Naufel
% Pequenas adaptações: Eduardo Ochs

\documentclass[a4paper,12pt]{article}
\usepackage[brazil]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{url}
\usepackage[neverdecrease]{paralist}

%
% (eedn4-51-bounded)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\hoje}{7 de dezembro de 2009}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Notes to myself:

\newcommand{\nota}[1]{
   \marginpar{
      \em \tiny
      \begin{flushleft}
         #1
      \end{flushleft}
   }
}

\newcommand{\att}[2]{
   \begin{center} 
      \vskip 1ex
      \noindent
      \fbox{
         \parbox{0.9\linewidth}{
            \begin{center}
               \bf #1
            \end{center}
            #2
            \vskip 1ex
         }
      }
            \vskip 1ex
   \end{center}
}

\newcommand{\todo}[1]{
	\att{Fazer:}{#1}
}

\newcommand{\nome}[1]{\textbf{#1}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% 

\title{%
	Projeto de Monitoria\\
	RCT -- Depto.\ de Ciência e Tecnologia\\
	Disciplina: Lógica para Ciência da Computação (RCT00023)%
}

\author{%
	Prof.\ Fernando Náufel do Amaral\\
	RCT -- Depto.\ de Ciência e Tecnologia\\
	PURO -- Pólo Universitário de Rio das Ostras\\
	UFF -- Universidade Federal Fluminense%
}

\date{%
	\hoje%
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 
\begin{document}

\maketitle

\begin{enumerate}
  
\item \nome{Título do projeto:} Produção de Material para
  Disciplina Optativa sobre Lógicas na \emph{Web} Semântica.
  \label{titulo}
  
  \begin{enumerate}[\ref{titulo}.1]
    
  \item \nome{Código e título do projeto no Programa 2009 do
      qual é continuidade:} Não se aplica.
    
  \end{enumerate}
  
\item \nome{Objetivo e enquadramento:} Projeto \textbf{anual} de
  produção de material de apoio.
  \label{obj}
  
  \begin{enumerate}[\ref{obj}.1]
    
  \item \nome{Justificativa:} As tecnologias de implementação da
    \emph{Web} Semântica (RDF, OWL, SWRL, etc.) estão intimamente
    relacionadas com \emph{Lógicas de Descrição}, assunto sobre o qual
    existe muito pouco material em português. Para que o aluno de
    graduação tenha contato com estas tecnologias (através de uma
    disciplina optativa, já que nenhuma grade curricular de Computação
    no Brasil cobre este tópico em disciplina obrigatória), é
    fundamental que haja material disponível em português.
    
  \end{enumerate}
  
\item \nome{Objetivo a ser alcançado pelo monitor:} Aprender sobre
  Lógicas de Descrição e suas aplicações na \emph{Web} Semântica;
  produzir material de apoio (resumos, notas de aula e exercícios
  resolvidos) para uma disciplina optativa; fornecer atendimento
  extraclasse a alunos inscritos na disciplina obrigatória de Lógica
  para Ciência da Computação.
  \label{objMonitor}
  
  \begin{enumerate}[\ref{objMonitor}.1]
    
  \item \nome{Justificativa:} O envolvimento com assunto tão atual
    deverá motivar o aluno monitor a se aprofundar no estudo de
    Lógica; a produção de material de apoio promoverá o amadurecimento
    acadêmico do aluno monitor; as atividades de atendimento
    extraclasse conscientizarão o aluno monitor (e os alunos atendidos)
    da importância da disciplina obrigatória de Lógica para projetos
    mais avançados.
    
  \end{enumerate}
  
\item \nome{Conteúdo e Metodologia:}
  \label{conteudo}
  
  \begin{itemize}
    
  \item Escolha das referências bibliográficas e das ferramentas de
    \emph{software} a ser utilizadas.
    
  \item No caso de referências sem tradução no Brasil,
    elaboração de resumo teórico em português sobre assuntos selecionados.
    
  \item Estudo e resolução de exercícios das referências escolhidas.
    
  \item Elaboração de apresentações e sessões práticas
    (usando as ferramentas de \emph{software} escolhidas).
    
  \item Consolidação do material produzido para forma adequada a uma
    disciplina optativa.

  \item Ao longo de todo o período, atendimento extraclasse aos alunos
    inscritos na disciplina obrigatória de Lógica para Ciência da
    Computação.
    
  \end{itemize}
  
  \begin{enumerate}[\ref{conteudo}.1]
    
  \item \nome{Justificativa:} A experiência anterior do aluno na
    disciplina justifica que seja pesquisado um leque amplo de
    referências bibliográficas. A inclusão de títulos não
    traduzidos é importante na medida em que a bibliografia nacional é
    incompleta. O uso de ferramentas de \emph{software} serve como
    motivação adicional para alunos da Ciência da Computação, como
    este orientador teve a chance de constatar em projetos
    anteriores. O atendimento extraclasse a alunos é importante para
    conscientizar o monitor e os alunos atendidos da importância da
    disciplina obrigatória para projetos mais avançados, possivelmente
    motivando os alunos atendidos a se envolver em projetos
    semelhantes no futuro.
    
  \end{enumerate}
  
\item \nome{Metodologia de acompanhamento e avaliação:}
  \label{metod}
  
  \begin{itemize}
    
  \item Definição de cronograma detalhado, em conjunto com o
    monitor.
    
  \item Reuniões semanais entre orientador, monitor e demais alunos
    interessados.
    
  \item Apresentação pelo monitor, para o orientador e
    demais interessados, de seminários sobre os assuntos estudados.
    
  \item Registro escrito do progresso do monitor, através de
    relatórios mensais contendo as referências estudadas, os exercícios
    elaborados e resolvidos, as ferramentas de \emph{software} utilizadas,
    etc.
    
  \end{itemize}
  
  \begin{enumerate}[\ref{metod}.1]
    
  \item \nome{Justificativa:} As reuniões semanais e os relatórios
    mensais permitirão um acompanhamento próximo do trabalho do
    monitor e a discussão de dúvidas e problemas encontrados. Os
    seminários servirão para aferir o domínio do monitor sobre o
    assunto e para envolver outros alunos no projeto.
    
  \end{enumerate}
  
\item \nome{Atribuições do monitor:} 
  \label{atrib}
  
  \begin{itemize}
    
  \item Pesquisa bibliográfica e elaboração de resumos sobre
    os assuntos selecionados.
    
  \item Elaboração e resolução de listas de exercícios.
    
  \item Utilização de ferramentas de \emph{software} para
    ilustrar ou facilitar o entendimento de assuntos estudados.
    
  \item Apresentação de seminários abertos sobre os assuntos
    estudados.
    
  \item Preparação e apresentação de trabalho na Semana de
    Monitoria da UFF.

  \item Ao longo de todo o período, atendimento extraclasse aos alunos
    inscritos na disciplina obrigatória de Lógica para Ciência da
    Computação.
    
  \end{itemize}

  
  \begin{enumerate}[\ref{atrib}.1]
    
  \item \nome{Justificativa:} A lista de atribuições proporciona ao
    monitor a oportunidade de estudar uma aplicação avançada e atual
    de Lógica. A apresentação de seminários servirá para o monitor
    aprimorar suas habilidades de expressão.
    
  \end{enumerate}
  
\item \nome{Cronograma de trabalho do monitor:} % anual
  \label{cron}
  
  \begin{description}
    
  \item [Março -- Abril:] \mbox{}
    
    \begin{itemize}
      
    \item Escolha dos tópicos específicos a estudar.
      
    \item Escolha da bibliografia.

    \item Escolha das ferramentas de \emph{software}.
      
    \end{itemize}
  
  \newpage{}
  \item [Maio -- Novembro:] \mbox{}
    
    \begin{itemize}
      
    \item Produção de resumos e notas de aula.

    \item Produção e resolução de exercícios.
      
    \item Diagramação do material produzido usando \LaTeX.
      
    \item Realização de reuniões semanais com o
      orientador.
      
    \item Realização de seminários mensais.
      
   \item Preparação de apresentação para a Semana de
      Monitoria.
      
    \end{itemize}
    
  \item [Dezembro:] \mbox{}
    
    \begin{itemize}
      
    \item Reuniões de avaliação final do projeto.
      
    \end{itemize}

  \end{description}
  

\item \nome{Número de monitores solicitados:}
  \label{num}
  
  \begin{description}
    
  \item[Mínimo:] 01.
    
  \item[Ideal:] 02.
    
  \end{description}
  
  \begin{enumerate}[\ref{num}.1]
    
  \item \nome{Justificativa:} A alocação de 1~monitor seria
    suficiente. No entanto, a alocação de 2~monitores deverá criar uma
    sinergia significativa, na medida em que ambos poderiam trabalhar
    juntos em atividades mais complexas.
    
  \end{enumerate}
  
\item \nome{Número de alunos atendidos pelo Projeto:} Não se
  aplica.
  \label{atend}
  
  
\item \nome{Professores orientadores envolvidos no Projeto:}
  \label{profs}
  
  \begin{enumerate}[\ref{profs}.1]
    
  \item \nome{Professor coordenador:}\\ Fernando Náufel do
    Amaral (SIAPE 2295783).
    
  \item \nome{Demais professores orientadores:} Nenhum.
    
  \end{enumerate}
  
\end{enumerate}


%Index of the slides:
%\msk
% To update the list of slides uncomment this line:
%\makelos{tmp.los}
% then rerun LaTeX on this file, and insert the contents of "tmp.los"
% below, by hand (i.e., with "insert-file"):
% (find-fline "tmp.los")
% (insert-file "tmp.los")

%

\end{document}

% Local Variables:
% coding:           raw-text-unix
% ee-anchor-format: "«%s»"
% End:
