|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (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: