% (find-angg "LATEX/2019ebl-relatorio.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2019ebl-relatorio.tex"))
% (defun d () (interactive) (find-pdf-page "~/LATEX/2019ebl-relatorio.pdf"))
% (defun e () (interactive) (find-LATEX "2019ebl-relatorio.tex"))
% (defun u () (interactive) (find-latex-upload-links "2019ebl-relatorio"))
% (find-xpdfpage "~/LATEX/2019ebl-relatorio.pdf")
% (find-sh0 "cp -v  ~/LATEX/2019ebl-relatorio.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2019ebl-relatorio.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2019ebl-relatorio.pdf
%               file:///tmp/2019ebl-relatorio.pdf
%           file:///tmp/pen/2019ebl-relatorio.pdf
% http://angg.twu.net/LATEX/2019ebl-relatorio.pdf
\documentclass[oneside]{article}
%\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
\usepackage[colorlinks,urlcolor=violet]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
%
\usepackage{edrx15}               % (find-LATEX "edrx15.sty")
\input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
%
\begin{document}


\title{Relatório de atividades: \\
       Encontro Brasileiro de Lógica -- EBL 2019 \\
       João Pessoa, 6 a 10 de maio, 2019
      }

\author{Eduardo Nahum Ochs \\
        SIAPE 1669224
       }

\maketitle


As minhas atividades ``oficiais'' no EBL 2019 foram:

\begin{itemize}

\item uma mesa redonda intitulada ``Algumas abordagens para
  disciplinas de Lógica em cursos de graduaçãao'', na qual eu fui
  organizador, chair e um dos três membros; o título da minha
  apresentação nela foi ``Ensinando Matemática Discreta para calouros
  com português muito ruim''. Os links abaixo apontam para a seção
  sobre esta mesa redonda na minha home page, para um PDF com o
  material sobre ela --- apresentação geral e um texto de cada um dos
  três membros --- e para os slides da minha apresentação nela.

  % (find-TH "math-b" "ebl2019-mesa")
  % (find-LATEX "2019ebl-mesa-disc-logica-grad.tex")
  \url{http://angg.twu.net/math-b.html\#ebl2019-mesa} \\
  \url{http://angg.twu.net/LATEX/2019ebl-mesa-disc-logica-grad.pdf} \\
  \url{http://angg.twu.net/LATEX/2019ebl-mesa-slides.pdf}

\item uma palestra técnica cujo título era ``Five applications of the
  `Logic for Children' project to Category Theory''. Os três links
  abaixo apontam para a seção da minha home page sobre esta palestra,
  para o seu abstract e para os seus slides.

  % (find-TH "math-b" "ebl2019-five-appls")
  % (find-LATEX "2019ebl-five-appls.tex")
  \url{http://angg.twu.net/math-b.html\#ebl2019-five-appls} \\
  \url{http://angg.twu.net/LATEX/2019ebl-abs.pdf} \\
  \url{http://angg.twu.net/LATEX/2019ebl-five-appls.pdf}

\end{itemize}

As páginas seguintes são cópias dos abstracts.

\newpage


% {\bf
% 
% Anexo 1:
% 
% Apresentação geral da mesa redonda
% 
% }

\bsk

{\bf Algumas abordagens para disciplinas de Lógica em cursos de graduação}

\msk

Um problema que enfrentamos com frequência é como preparar uma
apresentação para não-especialistas. Nesta mesa redonda vamos discutir
um caso extremo deste problema: como apresentar Lógica para turmas de
alunos de graduação --- ``especialistas em nada'' --- de formas que
maximizem a chance deles aprenderem boa parte do conteúdo necessário?
E que ``conteúdo necessário'' é esse, já que temos bastante liberdade
de escolher o programa dos nossos cursos?

Nesta mesa redonda vamos apresentar três abordagens bem diferentes
para este problema. O João Marcos vai falar sobre as três disciplinas
de Fundamentos Matemáticos no curso de TI da UFRN e sobre como elas se
conectam com as outras disciplinas do curso (``O lugar da Lógica em um
percurso de formação em Fundamentos da Computação''); o Eduardo Ochs
(``eu'') vai falar sobre uma disciplina de Matemática Discreta de
primeiro período para um curso de Ciência da Computação (``Ensinando
Matemática Discreta para calouros com português muito ruim''), e o
Jean-Yves Beziau vai falar sobre um curso de Lógica para filósofos
(``Como ensinar a lógica aos filósofos?'').

\newpage

{\bf Ensinando Matemática Discreta para calouros com \\
     português muito ruim}

\msk

Considere a seguinte situação: um curso de Matemática Discreta para
calouros, com conteúdo muito grande, num campus em que entram muitos
alunos muito fracos com muito pouca base matemática e português muito
ruim; além disso nos pedem pra que ensinemos o máximo possível nesse
curso e não deixemos passar alunos que não tiverem aprendido o
suficiente, porque este curso de Matemática Discreta é pré-requisito
para cursos que exigem uma certa maturidade matemática, e ele deve
servir como ``filtro''... como estruturar um curso assim pra que ele
funcione bem?

O problema mais básico aqui é: que linguagem utilizar? Os alunos
sempre começam tentando discutir suas idéias em português, tanto entre
si quanto com o professor, mas o português deles é impreciso demais, e
não há tempo hábil para debugá-lo no curso! Então precisamos ir
introduzindo desde o início notações matemáticas precisas que sejam
fáceis o suficiente de usar, e aí usar sempre exemplos em notação
matemática... a linguagem matemática adequada vira a base que torna as
discussões em português possíveis.

Nesta palestra vou mostrar como esta ``linguagem matemática adequada
para calouros'' pode ser dividida em três camadas: uma camada mais
básica, em que tudo pode ser calculado até o resultado final num
número finito de passos sem precisar de criatividade praticamente
nenhuma; uma camada média, em que alguns objetos infinitos, como
$\mathbb{N}$ ou $\mathbb{Z}$, passam a ser permitidos; e uma camada
acima destas que inclui uma linguagem para provas formais. Além disto
vou mostrar modos de visualizar vários dos objetos matemáticos do
curso, e discutir alguns pontos em que esta abordagem do curso ainda
tem ``buracos''.

Algumas das idéias daqui foram apresentadas e discutidas, com exemplos
e figuras, no Logic Day 2019 no Rio de Janeiro. Os slides estão
disponíveis em:

\msk

\url{http://angg.twu.net/LATEX/2019logicday.pdf}


\newpage

% (find-LATEX "2019ebl-abs.tex")

{\bf Five applications of the ``Logic for Children'' project \\ to
  Category Theory}


Category Theory is usually presented in a way that is too abstract,
with concrete examples of each given structure being mentioned
briefly, if at all. One of the themes of the ``Logic for Children''
workshop, held in the UNILOG 2018, was a set of tools and techniques
for drawing diagrams of categorical concepts in a canonical shape, and
for drawing diagrams of particular cases of those concepts in
essentialy the same shape as the general case; these diagrams for a
general and a particular case can be draw side by side ``in parallel''
in a way that lets us transfer knowledge from the particular case to
the general, and back.

In this talk we will present briefly five applications of these
techniques: 1) a way to visualize planar, finite Heyting Algebras ---
we call them ``ZHAs'' --- and to develop a feeling for how the logic
connectives in a ZHA work; 2) a way to build a topos with a given
logic (when that ``logic'' is a ZHA); 3) a way to represent a closure
operator on a ZHA by a ``slashing on that ZHA by diagonal cuts with no
cuts stopping midway''; 4) a way to extend a slashing on a ZHA $H$ to
a ``notion of sheafness'' on the associated topos; 5) a way to start
from a certain very abstract factorization of geometric morphisms
between toposes, described in Peter Johnstone's ``Sketches of an
Elephant'', and derive some intuitive meaning for
what that factorization ``means'': basically, we draw the diagrams,
plug in it some very simple geometric morphisms, and check which ones
the factorization classifies as ``surjections'', ``inclusions'',
``closed'', and ``dense''.






% As atividades ``não-oficiais'' incluíram interagir com estudando 






\end{document}

% Local Variables:
% coding: utf-8-unix
% End: