Relato da reunião do dia 02/DEZ/2013

Presentes:  
    Lucas (1o. BCC), Gustavo(1o. BCC),
    Daniel (4o. BCC), Pedro (4o. BCC), Will (4o. BCC), Wilson (4o. BCC) 
    Igor (ex-BCC), Toshi (ex-BCC), 
    André (prof),  Arnaldo (prof), Carlinhos (prof), Cris (prof), 
    Daniel (prof), Marcelo Finger (prof),  Routo (prof),
    Zé (prof) e Coelho (prof). 

-------------------------
Daniel:

Relatou sobre as discussões da comissão de profs.

     - Cálculo I e II: usar os da Poli (são mais 
              operacionais?!)
     - Estatística: falar com o pessoal da estatística
                    sobre a disciplina 
     - Conceito de Linguagens: foi aceita no núcleo

Will e Wilson: 

   Comentaram sobre Cálculo III que eles cursaram e
   deverá sair da grade.

Carlinhos:
   
   Tem a sensação que o Cálculo oferecido na Poli
   é mais operacional.
  
Pedro:

   Na reunião o Júnior comentou que nos EUA
   há disciplinas de cálculo que são operacionais e 
   outras que ensinam a demonstrar. 
   Ele (Júnior) acha melhor que o BCC tenha um 
   cálculo mais operacional como o da Poli.

Hirata:

    Acha que o cálculo para o BCC deve ser aquele
    que é oferecido para os matemáticos [interpretação:
    não deve ser um cálculo operacional].
  
Arnaldo:

    Questiona se cálculo IV deve fazer parte do núcleo. 
    Definir o núcleo é difícil e talvez, as vezes, 
    devemos "cortar na carne". 

Carlinhos:

    Concorda com o Arnaldo sobre séries ser 
    um tópico importante de ser visto em Cálculo IV
    e acha que equações diferenciais não são fundamentais 
    para o BCC.

Arnaldo:

    Gostaria de cortar de 3 cálculos para 2.
    Isto é possível? Essa foi a pergunta dele.

Pedro:
    
    Tem os cálculos da UFSC que talvez sirvam 
    aos propósitos que o Arnaldo deseja. São 2 cálculos
    de quatro créditos cada.

Toshi:

    Falou da importância de séries de Fourier.
    Comentou que nas disciplinas que precisam
    disso, como computação musical, os profs
    dão o necessário no início da disciplina.

Marcelo:

    Concordou com o Toshi.
    Comentou que teve transformada de Laplace
    em cálculo e que só foi aprender mesmo em 
    circuitos e que o que viu em cálculo
    não ajudou.

Carlinhos:

    Acha que ter visto antes ajuda.

Hirata:

    Acha legal o questionamento, mas gostou
    de estudar convergência de séries em Cálculo IV.

Marcelo:

    Apresentou as ementas das disciplinas

    Introdução a Lógica e Verificação de Programas
    ----------------------------------------------

    Foi uma atualização da ementa de Métodos Formais. 
    
       - cálculo proposicional
       - lógica de 1a. ordem
       - verificação de programas
       - incomputabilidade
       - lógica de Horn
       - Verificação de invariantes e correção, 
       - completude

     
Carlinhos:

     Perguntou se já havia alguma ementa de Álgebra
     Booleana.
     
Cris, Carlinhos, Wilson:

     Tem interseção com Álgebra Boolena (tabela verdade)

Arnaldo:

     Acha que o núcleo da disciplina é verificação de
     programas. E bom ter invariantes nas disciplinas.

Carlinhos:

     Quanto tiver a ementa de booleana devemos
     comparar com a desta disciplina.

Alunos presentes:
  
     Metade teve Verificação de Programas em Métodos
     e metade não teve.

Pedro: 
 
     Comentou sobre a ordem das coisas e se não tiver
     tempo apertar a parte de lógica de primeira ordem.

Coelho (para Daniel):

     Já são 12h52.

Marcelo:

     Descreveu IA
 
     A disciplina foi dividida em: 

     - buscas determinística e heurísticas
     - representação de conhecimento e 
       planejamento (=algoritmo Pop) 
       [Prolog não será dado em IA]
     - ontologias
     - tomadas de decisão
     - Aprendizado, árvores de decisão
       (1/3 da disciplina)

      A disciplina é bem abrangente.

    
Daniel:

      A proposta é que a disciplina de IA faça parte do 
      núcleo (=obrigatória)?

Marcelo:

      Acha que a disciplina deveria fazer parte 
      do núcleo.

Carlinhos:

      Achou a disciplina muito legal.
      Entretanto, acha que não deveria fazer parte do 
      núcleo.

Coelho: 

      IA era (é ainda?) uma disciplina feita por vários
      alunos (a maioria?) do BCC como mostram as pesquisas

      http://www.ime.usp.br/~coelho/horario/h99sem1/enquete99sem1.html
      http://www.ime.usp.br/~coelho/resultados02sem2/    
      http://www.ime.usp.br/~coelho/resultados02sem1/
      http://www.ime.usp.br/~coelho/resultados01sem2/
      http://www.ime.usp.br/~coelho/resultados01sem1/
      http://www.ime.usp.br/~coelho/resultados00sem2/
      http://www.ime.usp.br/~coelho/enquete00/
      http://www.ime.usp.br/~coelho/horario/h00sem1/enquete00sem1.html  
      http://www.ime.usp.br/~coelho/horario/h00sem2/optativas00sem2.html

      O Coelho acha que IA deve continuar ser optativa. 

Marcelo:

      A disciplina foi pensada para ser núcleo.
      Um das razões da grade curricular do BCC ser engessada 
      é a carga didática. Por isso, uma proposta é pensar na
      nova grade junto com mudanças na atribuição de carga
      didática.

Coelho: 

      Seria legal continuarmos, mas já são 13h06...
      Continuamos na próxima reunião...