Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
#######
#
# E-scripts about paperwork for PURO-UFF.
#
# Note 1: use the eev command (defined in eev.el) and the
# ee alias (in my .zshrc) to execute parts of this file.
# Executing this file as a whole makes no sense.
#
# Note 2: be VERY careful and make sure you understand what
# you're doing.
#
# Note 3: If you use a shell other than zsh things like |&
# and the for loops may not work.
#
# Note 4: I always run as root.
#
# Note 5: some parts are too old and don't work anymore. Some
# never worked.
#
# Note 6: the definitions for the find-xxxfile commands are on my
# .emacs.
#
# Note 7: if you see a strange command check my .zshrc -- it may
# be defined there as a function or an alias.
#
# Note 8: the sections without dates are always older than the
# sections with dates.
#
# This file is at <http://angg.twu.net/e/puro.e>
#           or at <http://angg.twu.net/e/puro.e.html>.
#        See also <http://angg.twu.net/emacs.html>,
#                 <http://angg.twu.net/.emacs[.html]>,
#                 <http://angg.twu.net/.zshrc[.html]>,
#                 <http://angg.twu.net/escripts.html>,
#             and <http://angg.twu.net/>.
#
#######





# «.nomeacao»			(to "nomeacao")
# «.2009feb06-fnaufel»		(to "2009feb06-fnaufel")
# «.siape»			(to "siape")
# «.sigepe»			(to "sigepe")
# «.2009-bancas-monitoria»	(to "2009-bancas-monitoria")
# «.2009-colegiado-cc»		(to "2009-colegiado-cc")
# «.colegiado-bcc»		(to "colegiado-bcc")
# «.horarios-de-aula»		(to "horarios-de-aula")
# «.bancas-de-monitoria»	(to "bancas-de-monitoria")
# «.calendario-calc-1»		(to "calendario-calc-1")

# «.introd-novos-tipos»		(to "introd-novos-tipos")
# «.calc-1-aula-1»		(to "calc-1-aula-1")
# «.calc-1-aula-2»		(to "calc-1-aula-2")
# «.calc-1-aula-3»		(to "calc-1-aula-3")
# «.calc-2-aula-1»		(to "calc-2-aula-1")
# «.calc-2-aula-2»		(to "calc-2-aula-2")
# «.calc-2-aula-3»		(to "calc-2-aula-3")
# «.calc-3-aula-2»		(to "calc-3-aula-2")
# «.mat-disc-aula-1»		(to "mat-disc-aula-1")
# «.mat-disc-aula-2»		(to "mat-disc-aula-2")
# «.moving-edrx.tgz»		(to "moving-edrx.tgz")
# «.ementas»			(to "ementas")
# «.calc-2-2009may29»		(to "calc-2-2009may29")
# «.2009.1-C1-material»		(to "2009.1-C1-material")
# «.2009.1-C2-material»		(to "2009.1-C2-material")
# «.2009.1-MD-material»		(to "2009.1-MD-material")
# «.ementa-e-programa-AL»	(to "ementa-e-programa-AL")
# «.ementa-e-programa-MD»	(to "ementa-e-programa-MD")
# «.ementa-e-programa-C1»	(to "ementa-e-programa-C1")
# «.ementa-e-programa-C2»	(to "ementa-e-programa-C2")
# «.ementa-e-programa-C3»	(to "ementa-e-programa-C3")
# «.ementa-e-programa-C4»	(to "ementa-e-programa-C4")
# «.ementa-e-programa-ED»	(to "ementa-e-programa-ED")
# «.ementa-e-programa-FM»	(to "ementa-e-programa-FM")
# «.ementa-e-programa-LA»	(to "ementa-e-programa-LA")
# «.ementa-e-programa-CA»	(to "ementa-e-programa-CA")
# «.formulario-19-FM»		(to "formulario-19-FM")
# «.formulario-19-GA»		(to "formulario-19-GA")
# «.livros-pra-pedir»		(to "livros-pra-pedir")
# «.concurso-met-pesq»		(to "concurso-met-pesq")
# «.concurso-planilha»		(to "concurso-planilha")
# «.workshop-coq»		(to "workshop-coq")
# «.unilog»			(to "unilog")
# «.unilog-passagem»		(to "unilog-passagem")
# «.rad»			(to "rad")
# «.rel-est-prob-2010»		(to "rel-est-prob-2010")
# «.estagio-probatorio»		(to "estagio-probatorio")
# «.projeto-pedagogico»		(to "projeto-pedagogico")
# «.regulamento-cursos-grad»	(to "regulamento-cursos-grad")
# «.calendarios»		(to "calendarios")
# «.calendario-2014»		(to "calendario-2014")
# «.calendario-2010»		(to "calendario-2010")
# «.calendario-2010-BCC»	(to "calendario-2010-BCC")
# «.estagio-probatorio»		(to "estagio-probatorio")
# «.monitoria-2010»		(to "monitoria-2010")
# «.edital-092»			(to "edital-092")
# «.imposto-de-renda-2010»	(to "imposto-de-renda-2010")
# «.almoxarifado»		(to "almoxarifado")
# «.provas-2010.1»		(to "provas-2010.1")
# «.viagem-2011»		(to "viagem-2011")
# «.iduff»			(to "iduff")
# «.colegiado-bcc»		(to "colegiado-bcc")
# «.agenda-academica-2011»	(to "agenda-academica-2011")
# «.turmas-VCREK»		(to "turmas-VCREK")
# «.reunioes-rcn-2017»		(to "reunioes-rcn-2017")



Meu SIAPE: 1669224
http://portal.uff.br/portalnti
  login: siape; senha: M0



#####
#
# nomeacao
# 2009feb25
#
#####

# «nomeacao»  (to ".nomeacao")
# (find-TH "concurso" "nomeacoes")
# http://angg.twu.net/concurso/dou-2008dec26-sec2-p29.pdf
# (find-xpdfpage  "$S/http/angg.twu.net/concurso/dou-2008dec26-sec2-p29.pdf")
# (find-pdftotext "$S/http/angg.twu.net/concurso/dou-2008dec26-sec2-p29.pdf")

Nomeação:
  http://www.uff.br/uffon/bs/2009/05/081-2009.pdf
  (find-xpdfpage  "$S/http/www.uff.br/uffon/bs/2009/05/081-2009.pdf")
  (find-pdftotext "$S/http/www.uff.br/uffon/bs/2009/05/081-2009.pdf")
  ^ O que é esse links? Esse não parece ser o BS certo, meu nome não
  consta...




#####
#
# E-mail do Fnaufel, 2009feb06 - "Informações úteis para os professores"
# 2009feb25
#
#####

# «2009feb06-fnaufel»  (to ".2009feb06-fnaufel")
# http://groups.google.com/group/dctuff/browse_thread/thread/8aa68b4a1eab8823/316a833381cc6abe
# http://www.proac.uff.br/files/RegulamentoAprovadoCEP.pdf



# «siape»  (to ".siape")
Meu SIAPE: 1669224-1
http://www.siapenet.gov.br/Portal/Servico/Apresentacao.asp
http://siapenet.gov.br/portal/servico/autenticacontracheque.asp

# «sigepe» (to ".sigepe")
http://www.progepe.ufpr.br/progepe/?p=2688
https://servidor.sigepe.planejamento.gov.br/
SIGEPE / SIGAC: S4+



#####
#
# 2009: bancas de monitoria
#
#####

;; «2009-bancas-monitoria»  (to ".2009-bancas-monitoria")
;; http://groups.google.com/group/dctuff/browse_thread/thread/b3d9b8ed4531f2e9
;; http://www.uff.br/uffon/bs/bs.php
;; http://www.uff.br/uffon/bs/2009/02/029-2009.pdf
(code-xpdf      "uffbs20090229" "$S/http/www.uff.br/uffon/bs/2009/02/029-2009.pdf")
(code-pdftotext "uffbs20090229" "$S/http/www.uff.br/uffon/bs/2009/02/029-2009.pdf")
;; (find-uffbs20090229page (+ 2 21) "banca" "monitoria" "cálculo I")
;; (find-uffbs20090229page (+ 2 22) "banca" "monitoria" "matemática discreta")
;; (find-uffbs20090229page (+ 2 24) "banca" "monitoria" "lógica")
;; (find-uffbs20090229text)



#####
#
# ColegiadoBCC
# 2009may05
#
#####

# «2009-colegiado-cc»  (to ".2009-colegiado-cc")
# «colegiado-bcc»  (to ".colegiado-bcc")
;; http://groups.google.com/group/dctuff/browse_thread/thread/fe0caf97f3400fdd
;; http://www.uff.br/uffon/bs/2009/02/030-2009.pdf
(code-ps        "uffbs20090230" "$S/http/www.uff.br/uffon/bs/2009/02/030-2009.pdf")
(code-pdftotext "uffbs20090230" "$S/http/www.uff.br/uffon/bs/2009/02/030-2009.pdf")
;; (find-uffbs20090230page (+ 2 5) "Colegiado")
;; (find-uffbs20090230page (+ 2 6) "Titular: Eduardo Nahum Ochs")
;; (find-uffbs20090230page (+ 2 6) "Suplente: Oswaldo")
;; (find-uffbs20090230text)

# http://groups.google.com/group/colegiadobcc/
# http://groups.google.com/group/colegiadobcc/browse_thread/thread/bc9c2571bcd45a6a
# ^ Próxima reunião: 21/maio

# 2011jul05:

Estamos marcando a reunião de colegiado do curso de Computação para a
próxima quinta (7/7) às 14h. Peço que confirmem a presença. Um esboço
da pauta segue em anexo. Caso tenham sugestões de inclusão/alteração,
também respondam.

A nova composição do colegiado, baseado nas indicações dos
departamentos, é: Adriana Medeiros (titular) e Alessandro Copetti
(suplente); Flávia Bernardini (titular) e Daniel Chaves (suplente);
Danilo Artigas (titular) e Eduardo Marques (suplente); Eduardo Ochs
(titular) e Romulo Rosa (suplente); João Pedro (titular) e Vinicius
(suplente).

Abraços,
Bazilio








#####
#
# meus horários de aula (2009.1)
# 2009mar08
#
#####

# «horarios-de-aula»  (to ".horarios-de-aula")

Meus horários:
  2as: 14-16:C2 16-18:C1
  4as: 10-12:MD 16-18:C1
  6as: 10-12:MD 16-18:C2

10                         +-----------+            +-----------+
                           | Mat Discr |            | Mat Discr |
                           |  sala E4  |            |  sala E4  |
                           |           |            |           |
12                         +-----------+            +-----------+



14 +-----------+
   | Cálculo 2 |
   |  sala 11  |
   |           |
16 +-----------+           +-----------+            +-----------+
   | Cálculo 1 |           | Cálculo 1 |            | Cálculo 2 |
   |  sala 10  |           |  sala 10  |            |  sala 11  |
   |           |           |           |            |           |
18 +-----------+           +-----------+            +-----------+


Meus cursos:
  Código   Nome da Disciplina/ Projeto Turma 2a    3a    4a    5a   6a    Prof    Sala
  RCT00022 MATEMÁTICA DISCRETA         B1                10-12      10-12 EDUARDO E4
  RCT00017 CÁLCULO DIFE. E INTEGRAL II A1    14-16                  16-18 EDUARDO 11
  RCT00016 CÁLCULO DIFE. E INTEGRAL I  A1    14-16       16-18            EDUARDO 10

Matemática Discreta é uma turma de CC de 1º período
Cálculo 2 é uma turma mista de 2º período
Cálculo 1 é uma turma de EP de 1º período (a Bel ficou com a turma de CC)





#####
#
# Bancas de monitoria
# 2009mar16
#
#####

# «bancas-de-monitoria»  (to ".bancas-de-monitoria")

banca de mon logica:
  escrita:     4a 18/marco 14-16hs
  res parcial: 5a 19/marco 14:00hs
  prova oral:  6a 20/marco 12-14
  res final:   6a 20/marco 20:00hs

banca de mat disc:
  escrita:     3a 24/marco 14-16
  res parcial: 4a 25/marco 14:00hs
  prova oral:  6a 27/marco 12-14
  res final:   6a 27/março 20:00hs

banca de cálculo I:
  escrita:     2a 23/março 12-14
  res parcial: 3a 24/março 18:00hs
  prova oral:  4a 25/março 14-16


Tabela da Silvana (2009mar16):

                 Projeto            Presidente          Datas                   Resultados              Salas          Inscritos
                                                  Escrita       Oral       Escrita     Final     Escrita        Oral
Cálculo I                            Ana Isabel   23/03/09   25/03/09      24/03/09   25/03/09     4A           4B        10
Matemática Discreta                   Eduardo     24/03/09   27/03/09      25/03/09   27/03/09                            1
Lógica para Ciencia da Computacao    Fernando     18/03/09   20/03/09      19/03/09   20/03/09     E3            1        5




#####
#
# Calendário de Cálculo 1 (por enquanto só o da Bel)
# 2009mar16
#
#####

# «calendario-calc-1»  (to ".calendario-calc-1")

Calendário da Bel para Cálculo 1:

          March 2009          
     Su Mo Tu We Th Fr Sa     
      1  2  3  4  5  6  7     
      8< 9>10 11 12<13>14     aulas 1 e 2
     15<16>17 18 19<20>21     aulas 3 e 4
     22<23>24 25 26<27>28     aulas 5 e 6
     29<30>31                 aula  7

          April 2009          
     Su Mo Tu We Th Fr Sa     
               1  2< 3> 4     aula        8
      5< 6> 7  8  9 10 11     aula   9 / sexta-feira santa
     12<13>14 15 16<17>18     aulas 10 e 11
     19<20>21 22 23<24>25     aulas 12 e 13
     26<27>28 29 30           aula  14
                              
           May 2009       
     Su Mo Tu We Th Fr Sa     
                     1  2        dia do trabalho
      3< 4> 5  6  7< 8| 9>    aulas 15 e 16; prova parcial ("aula 17")
     10<11>12 13 14<15>16     aulas 18 e 19
     17<18>19 20 21<22>23     aulas 20 e 21
     24<25>26 27 28<29>30     aulas 22 e 23
     31                   

          June 2009           
     Su Mo Tu We Th Fr Sa     
       < 1> 2  3  4< 5> 6     aulas 24 e 25
      7< 8> 9 10 11<12>13     aulas 26 e 27
     14<15>16 17 18<19>20     aulas 28 e 29
     21<22>23 24 25<26|27>    aulas 30 e 31; prova final ("aula 32")
     28<29>30                 resultados e vista de prova
                                                   
          July 2009       
     Su Mo Tu We Th Fr Sa 
               1  2  3  4 
      5< 6> 7  8  9<10>11     prova de reposição e VS
     12 13 14 15 16 17 18 
     19 20 21 22 23 24 25 
     26 27 28 29 30 31    





#####
#
# introdução às operações com novos tipos de objetos matemáticos
# 2009mar16
#
#####

# «introd-novos-tipos»  (to ".introd-novos-tipos")

Valores de verdade
Funções

A gente sabe fazer várias operações com vários tipos de números:
  naturais    \N = \{0, 1, 2, ...\}			
  inteiros    \Z = \N \cup \{-1, -2, -3, ...\}	
  racionais   \Q = \Z \cup \{1/2, -2/5, 1007/42, ...\}
  reais	      \R = \Q \cup \{e, \pi, \sqrt{2}, ...\}  

Nos naturais, 2 - 3 = <error>,
nos inteiros, 2 - 3 = -1.

Nos inteiros,  4 / 6 = <error>,
nos racionais, 4 / 6 = \frac{2}{3}.

Nos racionais, \sqrt{2} = <error>,
nos reais,     \sqrt{2} = 1.41421356...

Na passagem \N -> \Z a gente ``conserta'' a subtração,
Na passagem \Z -> \Q a gente ``conserta'' a divisão,
Na passagem \Q -> \R a gente ``conserta'' muitas outras operações...

E mais matrizes e vetores...
  Operações com matrizes e vetores:
    2 * ((1 2) (3 4)) = ((2 4) (6 8))
    ((1 2) (3 4)) * (5 6) = (17 37)
    ((1 2) (3 4)) * (5 6 7) = <error>
  a gente não quer saber multiplicar qualquer matriz por qualquer
  vetor...


E a gente sabe um pouquinho sobre valores de verdade:
Valores de verdade:
  true  & true  = true	     true  or true  = true     true  => true  = true
  true  & false = false	     true  or false = true     true  => false = true
  false & true  = false	     false or true  = true     false => true  = true
  false & false = false      false or false = false    false => false = false

  not true  = false
  not false = true



#####
#
# primeira aula de cálculo 1 (2009mar09)
# 2009mar16
#
#####

# «calc-1-aula-1»  (to ".calc-1-aula-1")

Tipos de dados, R é difícil, as pessoas vão ter que aprender a
escrever, elas têm que treinar uma nova linguagem, provas aos sábados

função módulo

Usamos valores de verdade pra falar de subconjuntos...
  {x \in \R | 2<=x<4}

[Uma notação para "o valor de verdade de"]
[Uma notação para "como provar que"...]


Funções:
  f: \R to \R
     x |-> x^2

Sabemos aplicar uma função a um ponto do seu domínio,



Mas \R é difícil de entender...
dá pra enumerar todos os elementos de \Q,
mas não dá pra enumerar todos os elementos de \R...

Nós estamos acostumados a lidar só com objetos
que podem ser descritos finitamente -
por exemplo, 4, 2/3, \sqrt{2} -
mas \R contém elementos que não podem
ser descritos finitamente (!!!)...
e como é que a gente descobre que 1.41421356...
tem uma descrição finita?

A definição de \R (a que funciona!) é estranha -
é por ``cortes de Dedekind'' em \Q...
Só por curiosidade:
um ``corte de Dedekind'' é uma divisão de \Q em
dois conjuntos disjuntos e não-vazios -
um ``conjunto da esquerda'' e um ``conjunto da direita'' -
por exemplo: ((-oo,4),[4,oo)) \in \D -
e \R é \D/~, onde \~é  a relação de equivalência que
identifica dois cortes que só diferem em um único ponto...
por exemplo, ((-oo,4),[4,oo)) \~ ((-oo,4],(4,oo))...


Notação para intervalos
Força bruta - bolinhas
Gráficos como subconjuntos

Quando é que dois conjuntos são iguais?
  Quando eles têm os mesmos elementos



#####
#
# segunda aula de cálculo 1 (2009mar11)
# 2009mar16
#
#####

# «calc-1-aula-2»  (to ".calc-1-aula-2")
Dispensei todo mundo por causa do trote.




#####
#
# terceira aula de cálculo 1 (2009mar16)
# 2009mar16
#
#####

# «calc-1-aula-3»  (to ".calc-1-aula-3")
Muito mais gente do que na primeira aula
(na segunda não veio quase ninguém).

f(x) = x-1
g(x) = (x-1)(x-2) / (x-2)
h(x) = (x^2 -3x + 2) / (x-2)
isto não está definido em x=3.

Funções como operações
Funções definidas por casos

Operações com valores de verdade: &, v, => (não defini o )
Como é que levaram séculos para descobrir que "=> como função"
era a definição mais útil

Operações como um anão dentro de uma caixa preta
Subconjuntos como funções que respondem "sim" e "não"
Notação de intervalos - bolas pretas e brancas - força bruta

Que subconjuntos de R^2 são gráficos
Os três casos nos quais G',G'',G''' subseteq A×B não são gráficos de
uma função

Gráfico induz função
Domínio da função dada pelo gráfico

Como traçar o gráfico da parábola?
Derivadas vão nos ajudar a traçar gráficos


Um caso onde limites são necessários:

Vou falar de funções definidas por gráficos,
do que é uma função "qualquer";







#####
#
# primeira aula de cálculo 2 (2009mar09)
# 2009mar16
#
#####

# «calc-2-aula-1»  (to ".calc-2-aula-1")

Todo o lero sobre tipos e sobre operações sobre funções;
pus todo mundo pra pensar sobre o gráfico de sqrt(1-x^2);
tentei falar de parametrizar essa curva por \theta




#####
#
# segunda aula de cálculo 2 (2009mar13)
# 2009mar16
#
#####

# «calc-2-aula-2»  (to ".calc-2-aula-2")

Duas funções:
  f(x) = sqrt(1-x^2)
  g(x) = x^2-1

definição de \und y_i e \ovl y_1
definição de \Delta x_i

um dever de casa: o que acontece quando a gente troca a ordem de dois
x_is da partição?

Uma figura: integração por partes de x=t^2, y=t^3




#####
#
# terceira aula de cálculo 2 (2009mar16)
# 2009mar16
#
#####

# «calc-2-aula-3»  (to ".calc-2-aula-3")

Funções não integráveis
Função que é 0 nos racionais e 1 nos irracionais
(Não estamos acostumados com funções quaisquer)
É mais fácil provar coisas sobre funções quaisquer
Funções essencialmente algébricas
Antigamente expressões que representavam números
  eram vistas como números
Contas que são mais fáceis com expressões não-avaliadas

Figura para a integração por partes
  Courant/John





#####
#
# segunda aula de cálculo 3 (2009mar13, pro Sérgio)
# 2009mar17
#
#####

# «calc-3-aula-2»  (to ".calc-3-aula-2")

Oi Sérgio,

dxô contar o que aconteceu na aula de Cálculo III... eu tinha
planejado mostrar que EVs com produto interno induzem EVs normados,
que induzem espaços métricos, que induzem espaços topológicos... e eu
ia usar os R^ns como primeiros exemplos de tudo isso, e S^1 e S^2 (o
círculo e a superfície da esfera) como os primeiros exemplos
não-triviais de espaços métricos e espaços topológicos, e aí, pra
mostrar que topologias são úteis pra alguma coisa, eu iria definir
espaços conexos, e iria mostrar que a imagem de um conexo é sempre um
conexo...

Bom, uma aluna que copiou a sua primeira aula toda mostrou até onde
você tinha chegado, e eu comecei a partir de onde você tinha parado...
mas quando eu perguntei que notação você tinha usado pra norma do
máximo eu acabei descobrindo que todo mundo tinha boiado
completamente...

Como eu achei que o mais importante naquele momento era fazer com que
uma boa parte dos alunos entendesse em tempo real os conceitos básicos
eu segui com eles alguns exemplos concretíssimos - p_1=(1,1),
p_2=(3,2), etc - pra ter certeza de que eles entendiam como um produto
interno induz uma norma e daí uma noção de distância, mostrei as três
normas principais (a euclidiana, a do máximo e a da soma), e pedi pra
eles descobrirem quem era a bola de raio 1 em R^2 nas três normas...
isso eles conseguiram fazer, e aí eu passei - bem informalmente - para
topologias, mostrando duas definições para "conjunto aberto" (em R):

 (i) um conjunto aberto é uma união de intervalos abertos,
 (ii) um conjunto aberto A é um no qual:
      \forall a \in A
        \exists \epsilon > 0
          (a - \epsilon, a + \epsilon) \subseteq A

e mostrei que as duas são equivalentes, e aí convenci os alunos de que
isso vale em R^2 também, tanto para a base de bolas redondas quanto
para a base de bolas quadradas...

Os alunos estavam meio confusos sobre pra que isso tudo servia
(perguntaram isso explicitamente, e eu achei que até era uma pergunta
honesta) - essas abstrações todas pareciam ser muita dor de cabeça pra
nada - e aí eu falei um pouquinho de funções contínuas, e de teoremas
sobre conexidade e compacidade...

Acabei descobrindo que eles não estão nada acostumados com a idéia de
uma "função qualquer"... eu sei que a gente hoje em dia -
principalmente as pessoas de computação - está acostumado a trabalhar
só com funções que têm descrições finitas e efetivas... e eu ainda não
encontrei o lero certo (mas tou tentando!) pra convencer essas pessoas
de como funciona esse mundo onde a gente pode pegar uma função
qualquer e um conjunto qualquer... e, bom, aí os alunos também não
conseguem entender porque é que o Guidorizzi faz as coisas do jeito
que faz no livro dele, que eles acham incompreensível... eu dei uma
olhada no livro do Guidorizzi - eu nunca tinha visto ele antes - e
acho que entendi porque é que eles não gostam dele... e eu recomendei
que os alunos que conseguissem ler textos técnicos em Inglês tentassem
ler trechos do Lang e do Courant e John, e eu fiquei de passar
arquivos com versões scaneadas desses livros pra eles na outra
semana...

Bom, por enquanto é isso...
 [[]],
   Eduardo Ochs
   eduardoochs@gmail.com
   http://angg.twu.net/


P.S.: estou mandando cópia desta mensagem pra Ana Isabel porque ela
sempre discute didática/ensino/etc comigo, e ela deve ter bons truques
pra ensinar estas coisas pros alunos...




#####
#
# primeira aula de matemática discreta (2009mar11)
# 2009mar17
#
#####

# «mat-disc-aula-1»  (to ".mat-disc-aula-1")

Tipos; exemplo das posições impossíveis no jogo da velha




#####
#
# segunda aula de matemática discreta (2009mar11)
# 2009mar17
#
#####

# «mat-disc-aula-2»  (to ".mat-disc-aula-2")

Produtos de conjuntos; <_,_>, <_,_,...> e \pi_n
Modos de preencher o #: 3^9, 2^9, 9!
Exemplo das posições impossíveis no jogo do cubo
Grafos direcionados como relações




#####
#
# n-ésima aula de matemática discreta
# 2009apr29
#
#####

Passei essa lista aqui:

# (find-angg "LATEX/2009apr29-MD.tex")
# (find-dvipage "~/LATEX/2009apr29-MD.dvi")

Nós discutimos principalmente os problemas 3 e 11.

Marquei a prova pra 29/maio - matéria: tudo até indução estrutural
(incluindo seqüências infinitas de conjuntos, relações, etc)





#####
#
# Moving files around via edrx.tgz
# 2009may01
#
#####

# «moving-edrx.tgz»  (to ".moving-edrx.tgz")
# (find-pen-links)

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)

# Unpack:
cp -v /tmp/pen/edrx.tgz /tmp/
rm -Rv /tmp/edrx/
mkdir  /tmp/edrx/
tar -C /tmp/edrx/ -xvzf /tmp/edrx.tgz

# Compare:
cd /tmp/edrx/
for i in $(find -type f | cut -b3- | sort); do
  cmp -s $i ~/$i || echo $i
done | tee /tmp/o

# Copy the new files and the changed files:
cd /tmp/edrx/
for i in $(cat /tmp/o); do
  cp -v $i ~/$i
done






#####
#
# Ementas das disciplinas
# 2009may29
#
#####

# «ementas»  (to ".ementas")
# http://groups.google.com/group/dctuff/files?hl=en
# Formularios_13.zip
# (find-fline "~/PURO/" "Formularios_13.zip")
# (find-fline "~/PURO/ementas/")

Análise Combinatória
  Objetivos da disciplina:
    Apresentar métodos para a resolução de problemas de análise combinatória.
    Apresentar a fundamentação de tais métodos.
  Descrição da ementa:
    Combinações. Permutações. Arranjos. Princípio de inclusão/exclusão. Princípio de
    Dirichlet. Triângulo de Pascal. Binômio de Newton.

Álgebra Linear
  Objetivos da Disciplina:
    Generalizar o conceito de vetor por meio do estudo da estrutura
    algébrica associada. Levar o aluno a compreender e a utilizar os
    principais conceitos e técnicas da álgebra linear.
  Descrição da Ementa:
    Vetores em R^n; espaços vetoriais; matrizes; transformações
    lineares; determinantes; ortogonalidade; polinômios; autovalores e
    autovetores; triangulação de matrizes; o teorema espectral;
    decomposições primárias.

Cálculo I
  Objetivos da disciplina:
    Estudar funções reais de uma variável real com respeito às propriedades de
    continuidade, diferenciabilidade e suas aplicações. Introduzir o conceito de integral
    indefinida.
  Descrição da ementa:
    Funções de uma variável real. Limites. Continuidade. Derivadas. Aplicações da
    derivada. Fórmula de Taylor. Antidiferenciação.

Cálculo II
  Objetivos da disciplina:
    Introduzir o conceito de integral definida. Estudar e aplicar as técnicas de integração
    de. funções reais de uma variável real. Estudar as equações diferenciais ordinárias
    e algumas de suas aplicações.
  Descrição da ementa:
    Integral definida. Técnicas de integração. Integrais impróprias. Equações diferenciais
    de primeira ordem. Equações diferenciais de segunda ordem. Equações diferenciais
    lineares de ordem n.
  (find-TH "2009.1-C2" "programa")

Cálculo III
  Objetivos da disciplina:
    Estudar as funções reais de várias variáveis com respeito às propriedades de
    continuidade e diferenciabilidade e as suas aplicações.
  Descrição da ementa:
    Funções vetoriais de uma variável. Funções reais de várias variáveis. Continuidade.
    Derivadas parciais e diferenciabilidade. Fórmula de Taylor.

Cálculo IV
  Objetivos da disciplina:
    Introduzir operadores diferenciais. Desenvolver resultados
    fundamentais relativos a integrais múltiplas, de linha, e suas aplicações.
  Descrição da ementa:
    Operadores diferenciais. Integrais múltiplas. Integrais de linha.
    Integrais de superfícies. Teorema de Green. Teorema de Stokes. Teorema de Gauss.

Equações Diferenciais
  Objetivos da disciplina:
    Estudar as equações diferenciais ordinárias, as séries de números reais e algumas de
    suas aplicações.
  Descrição da ementa:
    Sistemas de equações diferenciais. Aplicações. Seqüências e séries de números reais.
    Resoluções de equações diferenciais por séries. Transformada de Laplace.

Geometria Analítica e Cálculo Vetorial
  Objetivos da disciplina:
    Com ênfase na formação autônoma e no universo mais abrangente possível de
    conhecimentos práticos em nível introdutório, mais nestes do que em aprofundamentos
    teóricos de cada tema, propiciar ao aluno desenvolvimento da qualidade de visualização
    geométrica, raciocínio produtivo em resolução de problemas e capacidade de aplicar fatos
    e métodos no tema-título da disciplina, notadamente no que possa contribuir posteriormente
    à boa exploração das situações clássicas usuais propostas em Computação Gráfica.
  Descrição da ementa:
    Vetores no plano e no espaço: conceitos, operações, propriedades e aplicações. Retas,
    paralelismo, perpendicularismo e distâncias no plano. Transformações geométricas.
    Cônicas: posições canônicas, transladadas e rodadas. Retas, planos, interseções,
    paralelismo, perpendicularismo e distâncias no espaço. Superfícies quádricas.
    Breve ensaio sobre outros tipos de curvas, superfícies, coordenadas e representações
    no plano ou no espaço. Regiões no plano e no espaço.

Matemática Discreta
  Objetivos da disciplina:
    Familiarizar o aluno com as noções básicas de conjuntos, estruturas algébricas e da
    contagem, colocando em relevo as relações de tais conceitos com algumas sub-áreas
    da Ciência da Computação.
  Descrição da ementa:
    Construções indutivas, provas por indução, relações de recorrência, conjuntos, métodos de
    contagem (Combinatória), relações binárias, funções (parciais e totais), ordem, grandeza de
    funções, estruturas algébricas.


# Lembrete: programas de disciplinas
#   http://groups.google.com/group/dctuff/t/313d2ee125ef8de9?hl=en







#####
#
# Notas para a aula de Cálculo II de 2009may29
# 2009may29
#
#####

# «calc-2-2009may29»  (to ".calc-2-2009may29")
%*
% (eedn4a-bounded)
% (find-sh0 "cd ~/LATEX/ && dvips  -D 300 -P pk -o tmp.ps tmp.dvi")
% (find-sh0 "cd ~/LATEX/ && dvired -D 300 -P pk -o tmp.ps tmp.dvi")
% (find-pspage "~/LATEX/tmp.ps")

{\myttchars
\footnotesize
\begin{verbatim}

Quatro problemas econômicos, dois discretos e dois contínuos.

Investimento A:
  (1) o dinheiro aplicado dobra todo mês: g(n+1)       = 2 g(n)
                                         (g(n+1)-g(n)) =   g(n)
  (2) e ainda por cima todo mês eu deposito mais R$1.
                                          g(n+1)       = 2 g(n) + 1
                                         (g(n+1)-g(n)) =   g(n) + 1
  Solução do (1): g(n) = 2^n g(0)

Investimento B:
  (3) o dinheiro aplicado cresce exponencialmente: y'=y
  (4) e ainda por cima eu deposito dinheiro continuamente, R$1 por mês.
  Solução do (3): f(x) = e^x f(0)

O que é uma equação diferencial de 1a ordem?
  F(x,y,y')=0
  forall x. F(x,f(x),f'(x))=0  
    Em geral: y'=F(x,y)

Correspondencia com o caso discreto:
  G(n,y,\Delta y) = 0
  forall n. F(n,g(n),g(n+1)-g(n)) = 0
    Em geral: \Delta g = G(n,y)

Uma eq de primeira ordem tem uma condição inicial, f(0).

Campos de direções: p.5-6,19,20.
Exercícios:
  Encontre a eq diferencial tal qe 
  Quando o campo de direções da f corresponde à curvas de nível 

Campos de direções para casos discretos

----

O que é uma equação diferencial de 2a ordem?
  F(x,y,y',y'') = 0
  forall x. F(x,f(x),f'(x),f''(x)) = 0  

Correspondência com o caso discreto:
  G(n,y,\Delta y,\Delta\Delta y) = 0
  forall n. G(n,g(n),g(n+2)-2g(n+1)-g(n)) = 0

Uma eq de segunda ordem tem duas condições iniciais, f(0) e f'(0).
Uma eq de diferenças de 2a ordem tem duas condições iniciais, g(0) e g(1).

Espaço de todas as funções
Espaço de soluções da equação diferencial
  Pergunta:
    Quando é que este espaço é um espaço vetorial?
    Quando é que as soluções estão em bijeção com as condições iniciais?
  Equações diferenciais lineares
    Homogêneas com coeficientes constantes

Espaço das condições iniciais
  2a ordem: condições de contorno
  caso da queda livre

Equação de 2a ordem:
  MRU:         y''=0
  queda livre: y''=1
  mola:        y''=-y
               y''+y = 0
         (D-1)(D+1)y = 0
  movimento com atrito: y'' = -y'  
  mola com atrito:      y'' = y'-y
                        y''+y'+y = 0
         (D+z)(D+conj z) = 0

  Seja s = sqrt(3)/2 = sen pi/6,
       c = 1/2       = cos pi/6.
  (c+is)(c-is) = c^2+s^2 = 1
  (c+is)+(c-is) = 2c = 1

Não-unicidade da solução: p.40

Valores iniciais
Caso em que a solução estoura

  Garbage:
    (c+is)-(c-is) = 2is
    (1/2i)((c+is)-(c-is)) = s
    Repare que s^2+(1/2)^2=1.



\end{verbatim}
}

%*




#####
#
# Material que eu produzi pra Cálculo 1 (2009.1)
# 2009jul28
#
#####

# «2009.1-C1-material»  (to ".2009.1-C1-material")

  2009apr01: manuscrito, 1 página, A4: exercícios de imagens de
    intervalos.
    http://angg.twu.net/2009.1/C1/2009-apr-01.pdf

  2009apr06: manuscrito, 2 páginas, do caderno (pp.9 e 11): "limites e
    continuidade via imagens de intervalos".
    http://angg.twu.net/2009.1/C1/2009-apr-06.pdf

  2009apr08: manuscrito, 1 página, do caderno (p.21): "Limites e
    continuidade via imagens de intervalos / Revisão de alguns fatos
    básicos sobre lógica e conjuntos"
    http://angg.twu.net/2009.1/C1/2009-apr-08.pdf

  2009apr15: manuscrito, 2 páginas, do caderno (pp.35 e 37): "(Esta
    folha é uma espécie de resumo dos primeiros teoremas importantes
    do curso, com dicas sobre como acompanhar os capítulos sobre eles
    no livro...)"
    http://angg.twu.net/2009.1/C1/2009-apr-15.pdf

  2009apr22: manuscrito, 1 página, do caderno (p.45): "Dois tipos de
    caixas".
    http://angg.twu.net/2009.1/C1/2009-apr-22.pdf

  2009apr29: exercícios sobre trajetórias. 4 páginas LaTeXadas.
    (find-LATEX           "2009apr29-C1.tex")
    (find-dvipage "~/LATEX/2009apr29-C1.dvi")
    http://angg.twu.net/2009.1/C1/2009-apr-29.pdf

  2009may14: gabarito parcial dos exercícios sobre trajetórias. 3
    páginas LaTeXadas, com figuras em Tcl/Tk. Acho que perdi o
    arquivo fonte.
    http://angg.twu.net/2009.1/C1/2009-may-14-C1-gab.pdf

  2009may19: primeira prova. 2 páginas TeXadas, com uma figurinha
    manuscrita na primeira.
    (find-angg         "LATEX/2009-1-C1-prova-1.tex")
    (find-dvipage    "~/LATEX/2009-1-C1-prova-1.dvi")
    http://angg.twu.net/LATEX/2009-1-C1-prova-1.tex.html
    http://angg.twu.net/LATEX/2009-1-C1-prova-1.pdf

  2009may27?: manuscrito, 2 páginas, do caderno (pp.91 e 93):
    gabarito da primeira prova.
    http://angg.twu.net/2009.1/C1/091_2009may27_C1.jpg
    http://angg.twu.net/2009.1/C1/093_2009may27_C1.jpg

  2009jun29: segunda prova (P2), com gabarito.
    2+1 páginas LaTeXadas.
    (find-angg         "LATEX/2009-1-C1-prova-2.tex")
    (find-dvipage    "~/LATEX/2009-1-C1-prova-2.dvi")
    http://angg.twu.net/LATEX/2009-1-C1-prova-2.tex.html
    http://angg.twu.net/LATEX/2009-1-C1-prova-2.pdf

  2009jul01: Prova de reposição 1 (VR1), com gabarito.
    2+2 páginas LaTeXadas.
    (find-angg         "LATEX/2009-1-C1-prova-VR1.tex")
    (find-dvipage    "~/LATEX/2009-1-C1-prova-VR1.dvi")
    http://angg.twu.net/LATEX/2009-1-C1-prova-VR1.tex.html
    http://angg.twu.net/LATEX/2009-1-C1-prova-VR1.pdf

  2009jul06: Prova de reposição 2 (VR2), com gabarito.
    2+1 páginas LaTeXadas.
    (find-angg         "LATEX/2009-1-C1-prova-VR2.tex")
    (find-dvipage    "~/LATEX/2009-1-C1-prova-VR2.dvi")
    http://angg.twu.net/LATEX/2009-1-C1-prova-VR2.tex.html
    http://angg.twu.net/LATEX/2009-1-C1-prova-VR2.pdf

  2009jul08: Prova suplementar (VS), com gabarito.
    2+1 páginas LaTeXadas.
    (find-angg         "LATEX/2009-1-C1-prova-VS.tex")
    (find-dvipage    "~/LATEX/2009-1-C1-prova-VS.dvi")
    http://angg.twu.net/LATEX/2009-1-C1-prova-VS.tex.html
    http://angg.twu.net/LATEX/2009-1-C1-prova-VS.pdf




#####
#
# Material que eu produzi pra Cálculo 2 (2009.1)
# 2009jul28
#
#####

# «2009.1-C2-material»  (to ".2009.1-C2-material")

  2009mar30: manuscrito, 1 página, A4: "Exercícios de fixação de
    integral definida".
    http://angg.twu.net/2009.1/C2/2009-mar-30.pdf

  2009apr06: manuscrito, 1 página, do caderno (p.7):
    "Exercícios de notação de somatório".
    http://angg.twu.net/2009.1/C2/007_2009apr06_C2.jpg

  2009may08: "Notas sobre duas técnicas de integração: substituição
    trigonométrica e frações parciais". 4 páginas LaTeXadas.
    (find-angg         "LATEX/2009may08-C2.tex")
    (find-dvipage    "~/LATEX/2009may08-C2.dvi")
    http://angg.twu.net/LATEX/2009may08-C2.tex.html
    http://angg.twu.net/2009.1/C2/2009-may-08-C2.pdf

  2009may15: questões de revisão para a prova. 2 páginas LaTeXadas.
    Acho que perdi a fonte em LaTeX quando o laptop quebrou.
    http://angg.twu.net/2009.1/C2/2009-may-15-C2.pdf

  2009may22: primeira prova (P1). 4 páginas LaTeXadas.
    (find-angg         "LATEX/2009-1-C2-prova-1.tex")
    (find-dvipage    "~/LATEX/2009-1-C2-prova-1.dvi")
    http://angg.twu.net/LATEX/2009-1-C2-prova-1.tex.html
    http://angg.twu.net/2009.1/C2/2009-1-C2-prova-1.pdf

  2009may25: "Notas sobre mudança de variável de integração".
    3 páginas LaTeXadas.
    (find-angg         "LATEX/2009integration.tex")
    (find-dvipage    "~/LATEX/2009integration.dvi")
    http://angg.twu.net/LATEX/2009integration.tex.html
    http://angg.twu.net/2009.1/C2/2009integration.pdf

  2009jun05: "Notas sobre EDOs da forma y' + a(x)y + b(x) = 0."
    1 página LaTeXada. Bem incompleta; dei pra poucas pessoas.
    (find-angg         "LATEX/2009jun05.tex")
    (find-dvipage    "~/LATEX/2009jun05.dvi")
    http://angg.twu.net/LATEX/2009jun05.tex.html
    http://angg.twu.net/LATEX/2009jun05.pdf

  2009jun05: gabarito da primeira prova. 3 páginas LaTeXadas.
    Obs: pra ajudar nas correções eu usei também uma versão com
    anotações manuscritas da primeira figura da prova; estas anotações
    não constam da versão TeXada.
    (find-angg         "LATEX/2009-1-C2-prova-1-gab.tex")
    (find-dvipage    "~/LATEX/2009-1-C2-prova-1-gab.dvi")
    http://angg.twu.net/LATEX/2009-1-C2-prova-1-gab.tex.html
    http://angg.twu.net/LATEX/2009-1-C2-prova-1-gab.pdf

  2009jun08: manuscrito, 1 página, do caderno (p.111):
    "Revisão de EDOs separáveis"
    http://angg.twu.net/2009.1/C2/111_2009jun08_C2.jpg

  2009jul02: exercícios de preparação para a P2. 3 páginas LaTeXadas.
    (find-angg         "LATEX/2009jul02-C2-exercicios.tex")
    (find-dvipage    "~/LATEX/2009jul02-C2-exercicios.dvi")
    http://angg.twu.net/LATEX/2009jul02-C2-exercicios.tex.html
    http://angg.twu.net/LATEX/2009jul02-C2-exercicios.pdf

  2009jul03: segunda prova (P2), com um mini-gabarito. 3+1 páginas
    LaTeXadas.
    (find-angg         "LATEX/2009-1-C2-prova-2.tex")
    (find-dvipage    "~/LATEX/2009-1-C2-prova-2.dvi")
    http://angg.twu.net/LATEX/2009-1-C2-prova-2.tex.html
    http://angg.twu.net/LATEX/2009-1-C2-prova-2.pdf

  2009jul06: prova de reposição (VR), com um mini-gabarito. 3+1 páginas
    LaTeXadas.
    (find-angg         "LATEX/2009-1-C2-prova-VR.tex")
    (find-dvipage    "~/LATEX/2009-1-C2-prova-VR.dvi")
    http://angg.twu.net/LATEX/2009-1-C2-prova-VR.tex.html
    http://angg.twu.net/LATEX/2009-1-C2-prova-VR.pdf

  2009jul13: prova suplementar (VS). 1 página LaTeXada.
    (find-angg         "LATEX/2009-1-C2-prova-VS.tex")
    (find-dvipage    "~/LATEX/2009-1-C2-prova-VS.dvi")
    http://angg.twu.net/LATEX/2009-1-C2-prova-VS.tex.html
    http://angg.twu.net/LATEX/2009-1-C2-prova-VS.pdf




#####
#
# Material que eu produzi pra Matemática Discreta (2009.1)
# 2009jul28
#
#####

# «2009.1-MD-material»  (to ".2009.1-MD-material")

  2009apr03: manuscrito, 2 páginas, A4: regras de dedução natural
    http://angg.twu.net/2009.1/MD/2009-apr-03.pdf

  2009apr08: manuscrito, 2 páginas, do caderno (pp.17 e 19): "Mais
    sobre as regras dos quantificadores em Dedução Natural" / "Uma
    derivação grande em Dedução Natural"
    http://angg.twu.net/2009.1/MD/2009-apr-08.pdf

  2009apr29: exercícios, 3 páginas LaTeXadas.
    (find-angg         "LATEX/2009apr29-MD.tex")
    (find-dvipage    "~/LATEX/2009apr29-MD.dvi")
    http://angg.twu.net/LATEX/2009apr29-MD.tex.html
    http://angg.twu.net/2009.1/MD/2009-apr-29.pdf

  2009may01: programa pra resolver o problema das torres de Hanói.
    (find-angg         "2009.1/MD/hanoi.lua")
    http://angg.twu.net/2009.1/MD/hanoi.lua
    http://angg.twu.net/2009.1/MD/hanoi.lua.html

  2009mai20: manuscrito, 2 páginas, do caderno (pp.79 e 81):
    exercícios sobre contar caminhos num tabuleiro com uma casa preta
    (proibida) e indução estrutural.
    http://angg.twu.net/2009.1/MD/079_2009may20_MD.jpg
    http://angg.twu.net/2009.1/MD/081_2009may20_MD.jpg

  2009mai29: manuscrito, 1 página, do caderno (p.97): primeira prova.
    http://angg.twu.net/2009.1/MD/097_2009may29_MD.jpg

  2009may31: programa sobre o problema dos dominós. Distribuí algumas
    cópias de uma listagem dele (com figuras em ascii) pros alunos.
    (find-angg         "2009.1/MD/dominoes.lua")
    http://angg.twu.net/2009.1/MD/dominoes.lua
    http://angg.twu.net/2009.1/MD/dominoes.lua.html

  2009jun03: manuscrito, 1 página, do caderno (p.105): "Relações".
    http://angg.twu.net/2009.1/MD/105_2009jun03_MD.jpg

  2009jun10?: manuscrito, 2 páginas, do caderno (pp.119 e 121):
    gabarito da primeira prova.
    http://angg.twu.net/2009.1/MD/119_2009jun10_MD.jpg
    http://angg.twu.net/2009.1/MD/121_2009jun10_MD.jpg

  2009jun19: manuscrito, 1 página, do caderno (p.125): "Revisão de
    objetos e tipos"
    http://angg.twu.net/2009.1/MD/125_2009jun19_MD.jpg

  2009jun26: segunda prova (P2). 35*2+3 páginas LaTeXadas - 35 cópias
    da prova, cada uma com as questões numa ordem diferente, e 3
    páginas de gabarito.
    (find-angg         "LATEX/2009-1-MD-prova-2.tex")
    (find-dvipage    "~/LATEX/2009-1-MD-prova-2.dvi")
    http://angg.twu.net/LATEX/2009-1-MD-prova-2.tex.html
    http://angg.twu.net/LATEX/2009-1-MD-prova-2.pdf

  2009jul01: prova de reposição (VR). 35*2+2 páginas LaTeXadas - 35
    cópias da prova, cada uma com as questões numa ordem diferente, e
    2 páginas de gabarito.
    (find-angg         "LATEX/2009-1-MD-prova-VR.tex")
    (find-dvipage    "~/LATEX/2009-1-MD-prova-VR.dvi")
    http://angg.twu.net/LATEX/2009-1-MD-prova-VR.tex.html
    http://angg.twu.net/LATEX/2009-1-MD-prova-VR.pdf

  2009jul08: prova suplementar (VS). 2+1 páginas LaTeXadas; inclui um
    mini-gabarito.
    (find-angg         "LATEX/2009-1-MD-prova-VS.tex")
    (find-dvipage    "~/LATEX/2009-1-MD-prova-VS.dvi")
    http://angg.twu.net/LATEX/2009-1-MD-prova-VS.tex.html
    http://angg.twu.net/LATEX/2009-1-MD-prova-VS.pdf









Calendário de Cálculo I (com datas corridas, incluindo dias sem aulas)

          March 2009          
     Su Mo Tu We Th Fr Sa     
      1  2  3  4  5  6  7     
      8< 9>10<11>12 13 14     aulas 1 e 2
     15<16>17<18>19 20 21     aulas 3 e 4
     22<23>24<25>26 27 28     aulas 5 e 6
     29<30>31                 aula  7

          April 2009          
     Su Mo Tu We Th Fr Sa     
             < 1> 2  3  4     aula        8
      5< 6> 7< 8> 9 10 11     aula   9 e 10
     12<13>14<15>16 17 18     aulas 11 e 12
     19<20>21<22>23 24 25     aulas 13 e 14
     26<27>28<29>30           aula  15 e 16
                              
           May 2009       
     Su Mo Tu We Th Fr Sa     
                     1  2
      3< 4> 5< 6> 7  8  9     aulas 17 e 18
     10<11>12<13>14 15 16     aulas 19 e 20
     17<18>19<20>21 22 23     aulas 21 e 22
     24<25>26<27>28 29 30     aulas 23 e 24
     31                   

          June 2009           
     Su Mo Tu We Th Fr Sa     
       < 1> 2< 3> 4  5  6     aulas 25 e 26
      7< 8> 9<10>11 12 13     aulas 27 e 28
     14<15>16<17>18 19 20     aulas 29 e 30
     21<22>23<24>25 26 27     aulas 31 e 32
     28<29>30                 aula  33 (resultados e vista de prova)
                                                   
          July 2009       
     Su Mo Tu We Th Fr Sa 
             < 1> 2  3  4     aula       34
      5< 6> 7< 8> 9 10 11     aulas 35 (prova de reposição), aula 36 (VS)
     12 13 14 15 16 17 18 
     19 20 21 22 23 24 25 
     26 27 28 29 30 31    


Calendário de Cálculo II (com datas corridas, incluindo dias sem aulas)

          March 2009          
     Su Mo Tu We Th Fr Sa     
      1  2  3  4  5  6  7     
      8< 9>10 11 12<13>14     aulas 1 e 2
     15<16>17 18 19<20>21     aulas 3 e 4
     22<23>24 25 26<27>28     aulas 5 e 6
     29<30>31                 aula  7

          April 2009          
     Su Mo Tu We Th Fr Sa     
               1  2< 3> 4     aula        8
      5< 6> 7  8  9<10>11     aulas  9 e 10
     12<13>14 15 16<17>18     aulas 11 e 12
     19<20>21 22 23<24>25     aulas 13 e 14
     26<27>28 29 30           aula  15
                              
           May 2009       
     Su Mo Tu We Th Fr Sa     
                   < 1> 2     aula       16
      3< 4> 5  6  7< 8> 9     aulas 17 e 18
     10<11>12 13 14<15>16     aulas 19 e 20
     17<18>19 20 21<22>23     aulas 21 e 22
     24<25>26 27 28<29>30     aulas 23 e 24
     31                   

          June 2009           
     Su Mo Tu We Th Fr Sa     
       < 1> 2  3  4< 5> 6     aulas 25 e 26
      7< 8> 9 10 11<12>13     aulas 27 e 28
     14<15>16 17 18<19>20     aulas 29 e 30
     21<22>23 24 25<26>27     aulas 31 e 32
     28<29>30                 aula  33 (resultados e vista de prova)
                                                   
          July 2009       
     Su Mo Tu We Th Fr Sa 
               1  2< 3> 4     aula       34
      5< 6> 7  8  9<10>11     aulas 35 (prova de reposição), aula 36 (VS)
     12 13 14 15 16 17 18 
     19 20 21 22 23 24 25 
     26 27 28 29 30 31    




Calendário de Matemática Discreta (com datas corridas, incluindo dias sem aulas)

          March 2009          
     Su Mo Tu We Th Fr Sa     
      1  2  3  4  5  6  7     
      8  9 10<11>12<13>14     aulas 1 e 2
     15 16 17<18>19<20>21     aulas 3 e 4
     22 23 24<25>26<27>28     aulas 5 e 6
     29 30 31

          April 2009          
     Su Mo Tu We Th Fr Sa     
             < 1> 2< 3> 4     aulas  7 e 8
      5  6  7< 8> 9[10]11     aula   9 e [10] (sexta-feira santa)
     12 13 14<15>16<17>18     aulas 11 e 12
     19 20 21<22>23<24>25     aulas 13 e 14
     26 27 28<29>30           aula  15
                              
           May 2009       
     Su Mo Tu We Th Fr Sa     
                   [ 1] 2     aula       16
      3  4  5< 6> 7< 8> 9     aulas 17 e 18
     10 11 12<13>14<15>16     aulas 19 e 20
     17 18 19<20>21<22>23     aulas 21 e 22
     24 25 26<27>28<29>30     aulas 23 e 24
     31                   

          June 2009           
     Su Mo Tu We Th Fr Sa     
         1  2< 3> 4< 5> 6     aulas 25 e 26
      7  8  9<10>11<12>13     aulas 27 e 28
     14 15 16<17>18<19>20     aulas 29 e 30
     21 22 23<24>25<26>27     aulas 31 e 32
     28 29 30
                                                   
          July 2009       
     Su Mo Tu We Th Fr Sa 
             < 1> 2< 3> 4     aulas 33 e 34
      5  6  7< 8> 9<10>11     aulas 35 (prova de reposição), aula 36 (VS)
     12 13 14 15 16 17 18 
     19 20 21 22 23 24 25 
     26 27 28 29 30 31    












Dias das provas
horários de atendimento
Como funciona a monitoria
Situação do Sandro e do outro cara da Petrobrás
Links pro moodle
Links pro material do Humberto

Gap entre pensamento geométrico e pensamento formal





http://groups.google.com/group/dctuff/files


Formulário para reserva do laboratório de Computação:
http://groups.google.com/group/dctuff/browse_thread/thread/f54cc5928d23f218
http://www.puro.uff.br/labcc/formularios/



Pegar telefones:
  Fnaufel
  Bel
  Stéphane
  Maíse

  Janete




#####
#
# Concurso de Estatística Aplicada
# 2009jun10
#
#####

http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4787037T6 Reinaldo
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4705150H7 Valentin

http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4792287E1 Ana Maria
http://www.professores.uff.br/anafarias/

http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4784222Z6 Maysa
http://www.ence.ibge.gov.br/graduacao/docentes.asp
maysa.magalhaes at ibge.gov.br

Ana Maria Lima Farias <getamlf at vm.uff.br>,
Reinaldo Castro Souza <reinaldo at ele.puc-rio.br>,
Valentin Sisko <valentin33 at gmail.com>

Oi Reinaldo, Valentin e Ana Maria,

desculpem a falta de notícias... o concurso para Estatística Aplicada
pro campus de Rio das Ostras da UFF (que vai ser realizado na semana
de 31/08/2009 a 04/09/2009, provavelmente começando na terça
01/09/2009 ou na quarta 02/09/2009) está de pé, mas tem algumas coisas
que nós vamos ter que decidir...

As regras da UFF dizem que a banca tem que ter 5 membros titulares e 2
suplentes, e dentre os titulares no máximo 2 podem ser da UFF, e
dentre os suplentes no máximo 1 pode ser da UFF... e a coordenação
daqui sugeriu que pelo menos um dos titulares fosse alguém aqui do
PURO - por default o Edwin, que está organizando o concurso junto
comigo (aliás nós dois - Eduardo e Edwin - entramos no PURO agora,
estamos sobrecarregados de cursos, projetos, tarefas administrativas,
etc, e como eu descobri que o Edwin é "oficialmente" responsável pelo
concurso eu fiquei empurrando tarefas pra ele e demorando pra mandar
mais e-mails pra vocês...) - e aí dentre a Ana Maria e o Valentin só
um vai poder ser titular, o outro vai ter que ser suplente... Vocês
teriam alguma preferência? Por exemplo, é possível que um de vocês
dois esteja precisando mais de pontos de currículo como "membro
titular de banca de concurso" que o outro...

A banca por enquanto tem os seguintes membros:

  Reinaldo Castro Souza (PUC-Rio - presidente)
  Edwin Benito Mitacc (PURO/UFF)
  Valentin Sisko (UFF - Niterói)
  Ana Maria Farias (UFF - Niterói)

Ainda faltam três membros externos (i.e., que não sejam da UFF), e por
enquanto o Edwin tentou entrar em contato com várias pessoas que ou
não retornaram o contato ou não podiam... e como esse concurso é pra
Adjunto 20hs, não Adjunto 40hs/DE não temos como conseguir verbas pra
passagem para membros que não sejam do estado do Rio...

Temos uma sugestão do Reinaldo pra mais uma pessoa pra banca, mas
ainda não entramos em contato com ela (vamos fazer isto agora):

  Maysa Sacramento de Magalhães (ENCE)
  http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4784222Z6

Vocês teriam mais sugestões de membros pra banca?...

  Obrigados, desculpes, [[]]s,
    Eduardo Ochs (que digitou a mensagem),
    Edwin Mitacc (que ficou do lado e disse coisas e deu sugestões)
    eduardoochs@gmail.com
    emitacc@gmail.com


P.S.: Quanto à ementa do concurso e a bibliografia sugerida: o Edwin
me disse que elas já estão definidas 8-\, mas que ele não tem elas no
computador que está com ele aqui no PURO, então ele vai enviar tudo
pra vocês no início da semana que vem...

P.P.S.: se alguém quiser dar uma olhada no extrato do edital que saiu
no Diário Oficial, lá vai:

--snip--snip--
             EDITAL Nº 207/2009
 CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA
A CARREIRA DO MAGISTÉRIO SUPERIOR NA CLASSE
       DE PROFESSOR ADJUNTO I - 20H
  CAMPUS UNIVERSITÁRIO DE RIO DAS OSTRAS
                (PURO) / RJ

       De acordo com o que prevê a Portaria MPOG Nº. 286, de 02 de
setembro de 2008 - DOU, de 03 de setembro de 2008, Portaria MEC Nº.
1.226, de 06 de outubro de 2008 - DOU, de 07 de outubro de 2008,
Portaria MPOG Nº. 36, de 26 de fevereiro de 2009 - DOU de 27 de
fevereiro de 2009

       Área de Conhecimento:Estatística Aplicada (uma vaga) - Período
de Realização do Concurso:31/08/2009 a 04/09/2009

       Período de Inscrições: 06/07/2009 a 21/08/2009 Local:
Universidade Federal Fluminense - Niterói - RJ. Pré-requisitos:
Doutorado ou Livre-Docente ou Título de Notório Saber, aprovado pelos
conselhos Superiores da UFF. Valor da inscrição: R$ 57,00 (cinqüenta e
sete reais). Nome do cargo: Professor Adjunto I. Remuneração total: R$
2.282,23. Regime de Trabalho: 20 horas. Prazo de validade do concurso:
de 01 (um) ano a partir da Homologação do resultado do concurso
público em DOU, previsto no Artigo 12 da portaria MPOG N° 450, de
06-11-2002, publicada em DOU de 07-11-2002. Decreto Nº. 4.175, de
27-03-2002.

       A lotação e o exercício do candidato habilitado serão no
pepartamento de Ensino de Ciência e Tecnologia (RCT) - Campus
Universitário de Rio das Ostras (PURO) - UFF - Rio das Ostras / RJ.

       O Edital que deu origem ao presente Extrato encontra-se
disponível no site: www.uff.br/copemag. Maiores informações na COPEMAG
- UFF ou pelo telefone (21) 2629-5272.

                       ROBERTO DE SOUZA SALLES
                                Reitor
--snip--snip--



Oi Maysa,

estamos tentando montar uma banca pra um concurso pra contratação de
um professor de Estatística Aplicada (Adjunto 20hs) pro campus de Rio
das Ostras da UFF ("PURO-UFF" - PURO = Pólo Universitário de Rio das
Ostras), e o Reinaldo Castro Souza sugeriu o seu nome... você estaria
interessada em participar?

Bom, vou mandar uma cópia de uma mensagem que nós acabamos de mandar
pra vários membros confirmados e mais-ou-menos-confirmados da banca...
lá vai:




#####
#
# Ementa e programa de Álgebra Linear
# 2009aug13
#
#####

# «ementa-e-programa-AL»  (to ".ementa-e-programa-AL")
# O programa é que o Fábio mandou por e-mail em 2009aug11,
# depois da reunião com a Bel e comigo...

Objetivos da Disciplina:
  Generalizar o conceito de vetor por meio do estudo da estrutura
  algébrica associada. Levar o aluno a compreender e a utilizar os
  principais conceitos e técnicas da álgebra linear.
Descrição da Ementa:
  Vetores em R^n; espaços vetoriais; matrizes; transformações
  lineares; determinantes; ortogonalidade; polinômios; autovalores e
  autovetores; triangulação de matrizes; o teorema espectral;
  decomposições primárias.
Conteúdo Programático:
   1.  Matrizes
         1. Definição
         2. Matriz Quadrada
         3. Tipos Especiais
         4. Igualdade de Matrizes
         5. Operações com Matrizes
         6. Propriedades
         7. Matriz Transposta
         8. Matrizes Simétricas
         9. Matrizes Anti-simétricas
        10. Matrizes Ortogonais
   2. Determinantes
         1. Cálculo de Determinantes
               1. Propriedades
               2. Méotodo dos Cofatores
               3. Redução por linhas ou colunas
               4. Definição e cálculo de Autovalores
   3. Sistemas de Equações Lineares
         1. Resolução de Sistemas de Equações Lineares através de operações elementares.
         2. Propriedades
         3. Eliminação de Gauss-Jordan
   4. Espaços Vetoriais
         1. Definição
         2. Subespaços Vetoriais
               1. Definição
               2. Interseção
               3. Soma
               4. Soma direta
               5. Subespaços Gerados
         3. Dependência e Independência Linear
         4. Base e Dimensão
         5. Espaços Vetoriais Isomorfos (justificativa da ênfase em rn)
         6. Conjuntos Ortogonais e Complemento Ortogonal
               1. Definição e exemplos em R^2, R^3.
   5. Transformações Lineares
         1. Propriedades
         2. Núcleo
         3. Imagem
         4. Teorema da Dimensão
         5. Matriz associada a uma Transformação Linear
         6. Operações com Transformações Lineares
         7. Transformações Lineares Planas
         8. Transformações Lineares no Espaço
   6. Operadores Lineares
         1. Definição
         2. Operadores Inversíveis
               1. Propriedades
         3. Mudança de Base
         4. Operador Ortogonal
         5. Operador Simétrico
   7. Autovalor e Autovetor
         1. Definição
         2. Determinação dos Autovalores e Autovetores de um Operador
         3. Propriedades
         4. Diagonalização dos Operadores
         5. Diagonalização de Matrizes Simétricas
               1. Propriedades
   8. Formas Quadráticas no Plano e no Espaço.
         1. Definição
         2. Redução à Forma Canônica
               1. Equação Reduzida
               2. Identificação de Cônicas e Quádricas.



#####
#
# Ementa e programa de Matemática Discreta
# 2009aug13
#
#####

% «ementa-e-programa-MD»  (to ".ementa-e-programa-MD")
%
Objetivos da disciplina:
  Familiarizar o aluno com as noções básicas de conjuntos,
    estruturas algébricas e da contagem, colocando em relevo as
    relações de tais conceitos com algumas sub-áreas da Ciência da
    Computação.
Descrição da ementa:
  Construções indutivas,
  provas por indução,
  relações de recorrência,
  conjuntos,
  métodos de contagem (Combinatória),
  relações binárias,
  funções (parciais e totais),
  ordem,
  grandeza de funções,
  estruturas algébricas.
Conteúdo programático:
1 - Construções indutivas.
2 - Provas por indução.
3 - Relações de Recorrência: Torre de Hanói
4 - Conjuntos:
      Conjuntos numéricos (N, Z, Q, R);
      Famílias de conjuntos e conjuntos das partes;
      Operações unárias e binárias;
      Operações entre conjuntos;
      Álgebra de conjuntos;
      Cardinalidade de conjuntos;
      Conjuntos finitos, infinitos e enumeráveis
5 - Métodos de contagem:
      princípio da multiplicação e da adição;
      árvores de decisão;
      princípio de inclusão e exclusão;
      princípio das casas do pombo;
      permutação e combinação
6 - Relações binárias;
      fecho reflexivo, fecho simétrico e fecho transitivo;
      relação de equivalência (inteiros módulo n);
      ordem parcial (diagrama de Hasse);
      ordenação topológica (diagrama PERT)
7 - Funções (parciais e totais):
      função sobrejetiva, injetiva, bijetiva;
      composição de funções;
      função inversível; permutações de um conjunto, ciclos
8 - Ordem de grandeza de funções; notação f=O(g)
9 - Estruturas algébricas:
      semigrupos, monóides, grupos;
      grupos de permutação,
      homomorfismo de grupos,
      reticulados



#####
#
# Ementa e programa de Cálculo 1
# 2009aug13
#
#####

# «ementa-e-programa-C1»  (to ".ementa-e-programa-C1")
# O programa é que o Fábio mandou por e-mail em 2009aug11,
# depois da reunião com a Bel e comigo.
#   http://www.uff.br/matematica/graduacao/info_alunos_programas.html
#   http://www.uff.br/matematica/graduacao/gma.html
#     http://www.uff.br/matematica/graduacao/programas/calculo01.pdf
#
Cálculo I
  Objetivos da disciplina:
    Estudar funções reais de uma variável real com respeito às propriedades de
    continuidade, diferenciabilidade e suas aplicações. Introduzir o conceito de integral
    indefinida.
  Descrição da ementa:
    Funções de uma variável real. Limites. Continuidade. Derivadas. Aplicações da
    derivada. Fórmula de Taylor. Antidiferenciação.
Conteúdo Programático
    1. Funções reais de uma variável real
    1.1. Definição. Domínio, imagem e gráfico
    1.2.   Operações com funções. Paridade
    1.3.   Transformações nos gráficos: simetrias, alongamentos e
           compressões, translações e reflexões
    2. Limites
    2.1. Conceitos intuitivos. Definição e propriedades
    2.2. Limites laterais
    2.3. Teoremas sobre limites
    2.4. Limites infinitos. Limites no infinito. Assíntotas
    3. Continuidade
    3.1. Definição
    3.2. Propriedades de funções contínuas
    3.3. Teorema do Valor Intermediário
    4. Derivadas e diferenciais
    4.1. Definição. Interpretação geométrica. Taxa de variação
    4.2. Regras de derivação. Derivadas de ordem superior
    4.3. Funções trigonométricas: Definição. Gráficos. Limites e derivadas
    4.4. Diferenciabilidade. Relação entre diferenciabilidade e continuidade
    4.5. Aproximação linear. Diferencial
    4.6. Função composta. Regra de cadeia
    4.7. Função inversa. Derivada de funções inversas
    4.8. Funções trigonométricas inversas. Definição. Gráficos. Limites e derivadas
    4.9. Teorema de Rolle e Teorema do Valor Médio
    4.10. Função logarítmica e função exponencial
    4.11. Função implícita. Derivada de funções implícitas. Taxas relacionadas
    4.12. Funções Hiperbólicas
    4.13. Fórmula de Taylor
    4.14. Formas indeterminadas. Regra de L'Hôpital
    5. Estudo da variação das funções
    5.1. Crescimento e decrescimento de funções. Máximos e mínimos
    5.2. Problemas de otimização
    5.3. Esboço de gráficos de funções
    6. Anti-derivação


#####
#
# Ementa e programa de Cálculo 2
# 2009aug13
#
#####

# «ementa-e-programa-C2»  (to ".ementa-e-programa-C2")
# O que está abaixo é a minha proposta de programa, que
# é próximo do que eu dei em Cálculo 2 em 2009.1...
# Links:
#   http://www.uff.br/matematica/graduacao/info_alunos_ementas.html
#   http://www.uff.br/matematica/graduacao/info_alunos_programas.html
#   http://www.uff.br/matematica/graduacao/gma.html
#     http://www.uff.br/matematica/graduacao/programas/calculo01.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo02.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo03.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo04.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo-avancado.pdf

Objetivos da disciplina:
  Introduzir o conceito de integral definida.
  Estudar e aplicar as técnicas de integração de funções reais de uma variável real.
  Estudar as equações diferenciais ordinárias e algumas de suas aplicações.
Descrição da ementa:
  Integral definida.
  Técnicas de integração.
  Integrais impróprias.
  Equações diferenciais de primeira ordem.
  Equações diferenciais de segunda ordem.
  Equações diferenciais lineares de ordem n.
Conteúdo programático:
  Parte 1: Integração
    Integral definida:
      Integral como área.
      Integral como limite de somatório (introdução à integral de Riemann).
      Teorema fundamental do Cálculo.
      Propriedades da integral.
      Integrais impróprias.
    Técnicas de integração:
      Integração por partes.
      Frações parciais.
      Substituição de variáveis.
      Integrais de potências de senos e cossenos.
      Substituição trigonométrica.
    Comprimento de arco.
    Volume e área de sólidos de revolução.
  Parte 2: Equações Diferenciais
    Definição de equação diferencial ordinária.
    Definição de solução de EDO.
    Exemplos básicos: juros, MRU, queda livre, vibrações livres e amortecidas.
    Comparação de EDOs com seqüências definidas por recorrência.
    Condições iniciais e condições de contorno.
    Campos de direções.
    Técnicas para resolver certas EDOs de 1ª ordem:
      EDOs da forma y'=a(x)y e y'=a(x)y+b(x).
      EDOs com variáveis separáveis.
      EDOs exatas.
      EDOs homogêneas.
    EDOs lineares de ordem mais alta com coeficientes constantes:
      Espaço de soluções.
      A álgebra das funções infinitamente diferenciáveis de R em R.
      A derivada como operador linear.
      Soluções básicas da forma x^n e^ax.
      Soluções reais para o problema da vibração amortecida.



#####
#
# Ementa e programa de Cálculo 3
# 2009aug18
#
#####

# «ementa-e-programa-C3»  (to ".ementa-e-programa-C3")
# Ainda não tenho o programa, o Fábio é que tem, ou está trabalhando nele...
# Essa matéria tem duas versões, uma com 2h/semana, uma com 4h/semana.
# Os programas têm que ser diferentes.
# Links:
#   http://www.uff.br/matematica/graduacao/info_alunos_ementas.html
#   http://www.uff.br/matematica/graduacao/info_alunos_programas.html
#   http://www.uff.br/matematica/graduacao/gma.html
#     http://www.uff.br/matematica/graduacao/programas/calculo01.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo02.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo03.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo04.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo-avancado.pdf
# Acho que o Cálculo Avançado do GMA é uma seleção de tópicos importantes
# dos outros Cálculos e é dado pra pessoas que não vão fazer Cálculo 3 e 4.
# Podemos nos basear na seleção dele.

Cálculo III
  Objetivos da disciplina:
    Estudar as funções reais de várias variáveis com respeito às propriedades de
    continuidade e diferenciabilidade e as suas aplicações.
  Descrição da ementa:
    Funções vetoriais de uma variável. Funções reais de várias variáveis. Continuidade.
    Derivadas parciais e diferenciabilidade. Fórmula de Taylor.



#####
#
# Ementa e programa de Cálculo 4
# 2009aug18
#
#####

# «ementa-e-programa-C4»  (to ".ementa-e-programa-C4")
# Ainda não tenho o programa -
# podemos começar com o de Cálculo 3 do GMA pra escrever o nosso.
# Links:
#   http://www.uff.br/matematica/graduacao/info_alunos_ementas.html
#   http://www.uff.br/matematica/graduacao/info_alunos_programas.html
#   http://www.uff.br/matematica/graduacao/gma.html
#     http://www.uff.br/matematica/graduacao/programas/calculo01.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo02.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo03.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo04.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo-avancado.pdf
# (find-books "__analysis/__analysis.el" "schey")

Cálculo IV
  Objetivos da disciplina:
    Introduzir operadores diferenciais. Desenvolver resultados
    fundamentais relativos a integrais múltiplas, de linha, e suas aplicações.
  Descrição da ementa:
    Operadores diferenciais. Integrais múltiplas. Integrais de linha.
    Integrais de superfícies. Teorema de Green. Teorema de Stokes. Teorema de Gauss.




#####
#
# Ementa e programa de Equações Diferenciais
# 2009aug18
#
#####

# «ementa-e-programa-ED»  (to ".ementa-e-programa-ED")
# Ainda não temos o programa -
# podemos começar com o de Cálculo 4 do GMA pra escrever o nosso.
# Links:
#   http://www.uff.br/matematica/graduacao/info_alunos_ementas.html
#   http://www.uff.br/matematica/graduacao/info_alunos_programas.html
#   http://www.uff.br/matematica/graduacao/gma.html
#     http://www.uff.br/matematica/graduacao/programas/calculo01.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo02.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo03.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo04.pdf
#     http://www.uff.br/matematica/graduacao/programas/calculo-avancado.pdf
# (find-books "__analysis/__analysis.el" "schey")

Equações Diferenciais
  Objetivos da disciplina:
    Estudar as equações diferenciais ordinárias, as séries de números reais e algumas de
    suas aplicações.
  Descrição da ementa:
    Sistemas de equações diferenciais. Aplicações. Seqüências e séries de números reais.
    Resoluções de equações diferenciais por séries. Transformada de Laplace.






Programa de
Introdução aos métodos numéricos (Edwin)

   1.  Erros e Aproximações Numéricas
         1. Representação de números.
         2. Erros absolutos e relativos.
         3. Fontes de Erros.
         4. Estabilidade.
         5. Propagação de Erros.
         6. Manuseio de erros mediante software.
   2. Zeros de Funções
         1. Introdução aos métodos iterativos. Isolamento de raízes. Critérios de parada.
         2. Método da Bisecção.
         3. Método do Ponto Fixo.
         4. Método de Newton Raphson.
         5. Método da Secante.
   3. Interpolação
         1. Interpolação Linear.
         2. Interpolação Polinomial. Fórmula de Lagrange. Fórmula de Newton.
   4. Ajuste de Curvas
         1. Caso linear.
         2. Método dos Mínimos Quadrados.
   5. Sistemas de Equações Lineares
         3. Definições e conceitos fundamentais.
         1. Métodos diretos: Eliminação de Gauss. Fatoração LU. Fatoração Cholesky.
         2. Métodos Iterativos: Método de Gauss-Jacobi. Método de Gauss-Seidel.
   6. Integração Numérica
         1. Introdução à integração numérica.
         2. Método dos Trapézios.
         3. Método de Simpson.
   7. Introdução à Solução Numérica de Equações Diferenciais Ordinárias
         1. Definições e conceitos fundamentais de equações diferenciais ordinárias de primeira ordem.
         2. Problemas de valor inicial.
         3. Métodos de passo simples.
         4. Métodos de passo múltiplo.
         5. Métodos Preditores-Corretores.



#####
#
# Fundamentos de Matemática (Cálculo 0)
# 2014aug14
#
#####

# «ementa-e-programa-FM» (to ".ementa-e-programa-FM")

Propriedades e operações dos conjuntos numéricos:
  naturais,
  inteiros,
  racionais,
  irracionais e
  complexos.
Polinônimos:
  operações,
  produtos notáveis e
  fatoração,
equações polinomiais.
Função.
Função do 1o grau.
Funções quadráticas.
Inequações do 2o grau.
Tipos de função.
Composição de funções.
Função inversa.
Função exponencial.
Função logarítmica.
Noções de trigonometria.
Funções trigonométricas.
Noções de geometria plana e espacial.


# «formulario-19-FM» (to ".formulario-19-FM")

Nome da Disciplina/Atividade: Fundamentos da Matemática
Código: RFM00027
CHT: 64h
Teórica: 64h
Prática: 0h

Curso(s): Engenharia de Produção e Ciência da Computação

Conteúdo Programático:

Números:
  Números naturais, inteiros, racionais, algébricos, reais.
  Soma, subtração, multiplicação e divisão de racionais.
  Soma, subtração, multiplicação e divisão de algébricos.
  "Menor", "menor ou igual", etc.
  Simplificação de racionais e de algébricos.
  Notações para definir conjuntos.
  Subconjuntos de R.
  Subconjuntos de R^2.
  Números irracionais.
  Números complexos.

Funções:
  Notações para definir funções.
  Tabelas de valores para funções.
  Gráfico, domínio, contra-domínio e imagem de uma função.
  Funções definidas por casos.
  Igualdade de conjuntos.
  "Contido", "contido ou igual", etc.
  Subconjuntos de R^2.
  Igualdade de funções.
  Gráficos de funções da forma f(x)=ax+b.
  Gráficos de funções da forma f(x)=a(x-b)^2+c.
  Composição de funções.
  Função inversa.
  Gráficos de (g o f)(x) e (f o g)(x) quando g(x)=ax+b.
  Função módulo.
  Gráficos de funções da forma f(x)=a|x-b|+c.
  Funções injetivas, sobrejetivas, bijetivas.

Polinômios em uma variável:
  Comparação entre equações e produtos notáveis.
  Proposições. Tabelas de verdade. Contra-exemplos.
  Soma e subtração de polinômios.
  Produto de polinômios.
  (a+b)^n e Triângulo de Pascal.
  Gráficos de polinômios da forma f(x)=ax+b.
  Gráficos de polinômios da forma f(x)=a(x-b)^2+c.
  Gráficos de polinômios da forma f(x)=(x-a)(x-b)... .
  Raízes. Fatoração.
  Completar quadrados. Fórmula de Bháskara.
  Polinômios com raízes complexas.
  Divisão de polinômios com resto.
  Funções racionais: definição, simplificação, gráficos.
  Inequações.

Polinômios em duas varíaveis:
  Soma, subtração, produto.
  Representação gráfica por curvas de nível.

Exponenciação e logaritmo:
  A regra a^(b+c) = (a^b)*(a^c) para b e c naturais, inteiros, racionais.
  As propriedades (a*b)^c = (a^c)*(b^c) e (a^b)^c = a^(b*c).
  Gráficos de funções da forma f(x)=a*b^x.
  e^x como limite de (1+x/n)^n.
  Logaritmo: definição e propriedades.
  Gráficos de funções da forma f(x) = log_a x.

Trigonometria e funções trigonométricas:
  Triângulos retângulos.
  O teorema de Pitágoras.
  O círculo unitário e círculos de outros raios. Equação do círculo.
  Seno e cosseno. Pi. Soma e subtração de ângulos.
  Outras funções trigonométricas.
  Gráficos e propriedades das funções trigonométricas.

Visualização de curvas e superfícies simples em R^3.



Bibliografia Básica:

David Lippman, Melonie Rasmussen: Precalculus - An Investigation of Functions.
Disponível em http://www.opentextbookstore.com/precalc/




#####
#
# Lambda Cálculo
# 2017ago04
#
#####

# «ementa-e-programa-LA» (to ".ementa-e-programa-LA")
# (find-TH "2016-optativa")
# (find-TH "2017.1-LA")
# (find-TH "2017.2-LA")
# http://angg.twu.net/2016-optativa/optativa-ochs-comp-2016-form-13.pdf
# http://angg.twu.net/2016-optativa/optativa-ochs-ihs-2016-form-13.pdf
# https://mail.google.com/mail/ca/u/0/#sent/15d9ec0e0f17b9cb
# (find-angg ".emacs.papers" "wadler-pat")
# (find-books "__cats/__cats.el" "awodey")
# (find-books "__cats/__cats.el" "barr-wells")
# (find-books "__cats/__cats.el" "pierce")
# (find-books "__comp/__comp.el" "abelson-sussman")
# (find-books "__comp/__comp.el" "graham")
# (find-books "__comp/__comp.el" "levy")
# (find-books "__logic/__logic.el" "hindley-seldin2")
# (find-books "__logic/__logic.el" "howard")
# (find-books "__logic/__logic.el" "smullyan")
# (find-books "__logic/__logic.el" "tarskiaot")
# (find-books "__logic/__logic.el" "tarskisclh")

Objetivos da disciplina/atividade:

Exercitar traduções entre várias linguagens, algumas mais
abstratas (semânticas formais, teoremas) e outras mais concretas
(casos particulares, diagramas finitos)

Descrição da ementa:

Matemática Discreta com objetos finitos; lambda-cálculo;
categorias; Set e ordens parciais como categorias; lógica
intuicionista pra crianças; Curry-Howard; semânticas
categóricas para crianças; algumas linguagens funcionais
(PLZoo).

Matemática Discreta com objetos finitos; lambda-cálculo;
categorias; Set e ordens parciais como categorias; lógica
intuicionista pra crianças; Curry-Howard; semânticas
categóricas para crianças.


Programa:

Parte 1: lambda-cálculo e lógica proposicional.
1.1. Matemática Discreta com objetos finitos.
1.2. Set comprehension e quantificadores.
1.3. Notação lambda, tipos e lambda-cálculo tipado.
1.4. Redução e confluência.
1.5. Lógica proposicional intuicionista (IPL).
1.6. Introdução ao Isomorfismo de Curry-Howard.

Parte 2: modelos para lógica proposicional intuicionista.
2.1. Álgebras de Heyting.
2.2. Tautologias, teoremas, sistemas dedutivos.
2.3. Contra-modelos.
2.4. Tableaux.
2.5. Topologias.
2.6. Modelos de Kripke.
2.7. Lógicas modais.
2.8. Interpretação de IPL na lógica modal S4.
2.9. Interpretação de S4 em topologias.

Parte 3: categorias.
3.1. Categorias.
3.2. Set e ordens parciais como categorias.
3.3. Terminais, iniciais, produtos e coprodutos.
3.4. Dualidade.
3.5. Unicidade módulo isomorfismo.
3.6. Funtores.
3.7. Transformações naturais.
3.8. Adjunções e exponenciais.
3.9. Categorias cartesianas fechadas.
3.10. Lambda-cálculo em Categorias cartesianas fechadas.
3.11. Semânticas categóricas.
3.12. Isomorfismo de Curry-Howard.

Parte 4: linguagens funcionais.
4.1. Lisp.
4.2. Introdução ao Lua.
4.3. Implementação de um mini-Lisp.
4.4. Eager evaluation e Lazy evaluation.
4.5. Implementação de thunks e lazy evaluation.




Bibliografia principal:

Steve Awodey: Category Theory. Oxford, 2006.
Michael Barr e Charles Wells: Category Theory for Computing Science. Versão revisada disponível online, 1999.
Paul Graham: The Roots of Lisp. Online draft, 2002.
Eduardo Ochs: Planar Heyting Algebras for Children. Online draft, 2017.

Bibliografia auxiliar:

Harold Abelson e Gerald Jay Sussman: Structure and Interpretation of Computer Programs, 2nd ed. MIT, 1996.
Raymond M. Smullyan: First-Order Logic. Dover, 1995.
Philip Wadler: Propositions as Types. Online draft, 2015.
J. Roger Hindley e Jonathan P. Seldin: Lambda-Calculus and Combinators, an Introduction. Cambridge, 2008.


# (find-angg ".emacs.papers" "wadler-pat")
# (find-books "__cats/__cats.el" "awodey")
# (find-books "__cats/__cats.el" "barr-wells")
# (find-books "__comp/__comp.el" "abelson-sussman")
# (find-books "__comp/__comp.el" "graham")
# (find-books "__logic/__logic.el" "hindley-seldin2")
# (find-books "__logic/__logic.el" "smullyan")
# (find-books "__modal/__modal.el" "fitting")
# http://angg.twu.net/math-b.html#zhas-for-children-2





#####
#
# Categorias
# 2017ago04
#
#####

# «ementa-e-programa-CA» (to ".ementa-e-programa-CA")
# https://mail.google.com/mail/ca/u/0/#sent/15d9ec0e0f17b9cb

Ementa:

Categorias, objetos, morfismos, funtores, transformação natural,
limites e co-limites, adjunções, soma amalgamada e produto
fibrado, lógica categórica.


Programa:

1. Notação lambda, tipos e lambda-cálculo tipado.
2. Categorias.
3. Set e ordens parciais como categorias.
4. Terminais, iniciais, produtos e coprodutos.
5. Dualidade.
6. Unicidade módulo isomorfismo.
7. Funtores.
8. Transformações naturais.
9. Pullbacks e pushouts.
10. Limites e co-limites.
11. Adjunções e exponenciais.
12. Categorias cartesianas fechadas.
13. Álgebras de Heyting.
14. Lambda-cálculo em Categorias cartesianas fechadas.
15. Semânticas categóricas.
16. Isomorfismo de Curry-Howard.
17. Universais e lema de Yoneda.
18. Mônadas e álgebras.
19. Introdução a fibrações.

Bibliografia principal:

Steve Awodey: Category Theory. Oxford, 2006.
Michael Barr e Charles Wells: Category Theory for Computing Science. Versão revisada disponível online, 1999.
Saunders MacLane: Categories for the Working Mathematician. Springer, 1998.
Eduardo Ochs: Planar Heyting Algebras for Children. Online draft, 2017.





#####
#
# Formulário 19 GA
# 2014apr25
#
#####

# «formulario-19-GA» (to ".formulario-19-GA")
# (find-fline "~/PURO/" "formulario_19_GA.pdf")

CONTEÚDO PROGRAMÁTICO

1. Vetores, retas e circunferências no plano.
   1.1. Sistemas de coordenadas cartesianas.
   1.2. Distância entre dois pontos.
   1.3. Conceitos básicos de vetores no plano.
   1.4. Adição de vetores.
   1.5. Multiplicação de vetor por um numero Real.
   1.6. Paralelismo entre vetores.
   1.7. Produto escalar.
   1.8. Ângulos e perpendicularismo entre vetores.
   1.9. Outros tipos de aplicações de vetores e suas
        propriedades (ponto que divide um segmento numa razão dada,
        determinação de bissetrizes, projeções, problemas
        envolvendo distâncias).
   1.10.Os diversos tipos de equação da reta no plano.
   1.11.Paralelismo e perpendicularismo de retas no plano.
   1.12.Ângulos e distâncias envolvendo retas no plano.
   1.13.Problemas envolvendo circunferência.
2. Cônicas, mudanças de eixos e outras curvas no plano.
   2.1. Elipse.
   2.2. Hipérbole.
   2.3. Parábola.
   2.4. Translação e rotação de eixos.
   2.5. A equação do 2º grau a duas variáveis.
   2.6. Cônicas degeneradas.
   2.7. Sistemas de inequações. Regiões no plano.
   2.8. Outras transformações no plano.
   2.9. Representação paramétricas de curvas.
   2.10.Coordenadas e equações polares.
   2.11.Exemplos didáticos de outras curvas no plano.
3. Vetores, retas, planos e esferas no espaço.
   3.1. Sistema de coordenadas cartesianas.
   3.2. Distância entre dois pontos.
   3.3. Vetores no espaço: conceitos, resultados e aplicações
        análogas aos vistos no plano.
   3.4. Produto vetorial de dois vetores.
   3.5. Produto misto de três vetores.
   3.6. A equação geral da coplanaridade no espaço e retas reversas.
   3.7. Aplicações geométricas dos produtos vetorial e mistos.
   3.8. Os diversos tipos de equações da reta e do plano no espaço.
   3.9. Posições particulares especiais de retas e planos.
   3.10.Paralelismo e perpendicularismo de retas e planos.
   3.11.Ângulos e distâncias envolvendo retas e planos.
   3.12.Problemas envolvendo esfera.
4. Outras curvas e superfícies no espaço. Complementos.
   4.1. Superfícies quádricas em posições canônicas e transladadas.
   4.2. Noções de transformações geométricas no espaço.
   4.3. Comentários gerais sobre a equação do 2º grau a três variáveis.
   4.4. Quádricas degeneradas.
   4.5. Noções de superfícies cilíndricas, cônicas, de revolução e regradas.
   4.6. Noçoes de coordenadas cilíndricas e esféricas.
   4.7. Sistemas de inequações. Regiões no espaço.
   4.8. Exemplos de curvas clássicas no espaço.

                                            BIBLIOGRAFIA BÁSICA
Reis, G. L; Silva, V. V.
       Geometria Analítica.
       LTC.
Steinbruch, A.
       Geometria Analítica.
       Makron Books.
Camargo, Ivan de; Boulos, Paulo
       Geometria analítica: um tratamento vetorial.
       Pearson Prentice Hall.
Lima, Elon Lages.
       Geometria analítica e álgebra linear.
       IMPA
Steinbruch, A. e Winterle, P.
       Geometria Analítica
       McGraw-Hill.






#####
#
# Livros pra pedir pra bilioteca (técnicos e não-técnicos)
# 2010apr13
#
#####

# «livros-pra-pedir»  (to ".livros-pra-pedir")
# bro at ndc.uff.br
# Re: Indicação de títulos novos para compra 2010

Oi Biblioteca,

> Prezados Professores,
>
> Solicitamos indicação de títulos para compra imediata, sendo que
> temos um valor de apenas R$ 8.000,00 (oito mil reais). Pedimos que
> seja dada preferência aos professores recém chegados para
> completarem suas bibliografias básicas.
>
> Segue em anexo um arquivo em "pdf" dos títulos já existentes na
> biblioteca.
>
> Esta lista terá que ser enviada até quinta-feira (15.04.2010).
>
> Agradecemos a presteza de todos.
>
> Att.,
>
> Hebe de Deus Freire
> Bibliotecária

Sou professor do RCT, e costumo dar Cálculo (1, 2, 4) e Matemática
Discreta. Estes dois livros constam da bibliografia auxiliar dos meus
cursos e a biblioteca não tem nenhum exemplar deles:

  "Matemática Discreta para Computação e Informática" (Paulo Blauth Menezes)
    http://www.inf.ufrgs.br/pub/publicacoes/publicacoes/publicados_1.htm#n16
  "Cálculo a uma variável, vol.2: derivada e integral" (Iaci Malta, Sinésio Pesco, Hélio Lopes)
    http://www.livrariadafisica.com.br/detalhe_produto.aspx?id=20048

O livro abaixo é o melhor livro sobre o LaTeX, que é o processador de
texto que todo mundo da Ciência da Computação acaba tendo que aprender
a usar; a gente costuma "forçar" todos os monitores e alunos de
iniciação científica a aprenderem LaTeX e ajudarem as outras pessoas a
aprenderem também. Por enquanto muita gente usa versões online - não
exatamente legais/autorizadas - desse livro. Seria conveniente que a
biblioteca tivesse pelo menos um exemplar em papel dele (sem bolinha
vermelha).

  "Guide to LaTeX (4th Edition)" (Helmut Kopka, Patrick W. Daly)
    http://www.amazon.com/Guide-LaTeX-4th-Helmut-Kopka/dp/0321173856/

Dentre os livros abaixo alguns são usados - entre dezenas de outros -
numa matéria do Fernando Naufel chamada "Computação e Sociedade", que
tem ementa em aberto e portanto não tem bibliografia oficial; outros
estão sendo citados por algumas pessoas de um grupo de trabalho (só de
professores) sobre ética, honestidade acadêmica e outros temas afins,
e seria bom que o PURO tivesse uma cópia disponível de cada um.

  "Zen e a arte da manutenção de motocicletas" (Robert M. Pirsig)
    http://www.travessa.com.br/ZEN_E_A_ARTE_DA_MANUTENCAO_DE_MOTOCICLETAS_UMA_INVESTIGACAO_SOBRE_OS_VALORES/artigo/54fbee48-e5b1-40e3-af6c-900edd3d577a
  "Lutando na Espanha" (George Orwell)
    http://www.travessa.com.br/LUTANDO_NA_ESPANHA/artigo/71f754b2-3f74-4d1e-9850-49cb8266a580
  "Vampes e vadias" (Camille Paglia)
    http://www.travessa.com.br/VAMPES_E_VADIAS/artigo/92fab800-89db-4c93-a228-5d792a25baf3
  "Re-habitar: ensaios e poemas" (Gary Snyder)
    http://www.travessa.com.br/RE_HABITAR_ENSAIOS_E_POEMAS/artigo/56141159-5a74-45fe-b5d9-82738cbe66dc
  "A vida dos animais" (J.M. Coetzee)
    http://www.travessa.com.br/A_VIDA_DOS_ANIMAIS/artigo/bf232d0b-e685-4fdd-9e03-5999f6056237
  "Sem logo - a tirania das marcas em um planeta vendido" (Naomi Klein)
    http://www.travessa.com.br/SEM_LOGO_A_TIRANIA_DAS_MARCAS_EM_UM_PLANETA_VENDIDO/artigo/2023b2b2-3d03-4b7d-9202-d809a88b5be0
  "A corrosão do caráter" (Richard Sennett)
    http://www.record.com.br/livro_sinopse.asp?id_livro=16270
  "Chomsky for Beginners" (David Cogswell, Paul Gordon)
    http://www.amazon.com/Chomsky-Beginners-David-Cogswell/dp/193438917X/
  "The Wealth of Nations (Bantam Classics)" (Adam Smith)
    http://www.amazon.com/Wealth-Nations-Bantam-Classics/dp/0553585975/

Seria muito bom se a biblioteca pudesse adquirir também um exemplar de
cada um dos livros abaixo, pros alunos terem acesso a eles... mas
estes não são de nenhum curso, de nenhum grupo de trabalho, de nada
disso - são só de cultura geral, e portanto pelas regras estão fora
das prioridades. Mas pelo menos eles são bem baratos...

  "Persépolis (completo)" (Marjane Satrapi)
    http://www.travessa.com.br/PERSEPOLIS_COMPLETO/artigo/8862fdd5-ccdc-41d9-a7aa-c4bb39f1dd69
  "Um copo de cólera" (Raduan Nassar)
    http://www.travessa.com.br/UM_COPO_DE_COLERA/artigo/06ea8936-26ec-4eba-ad0b-268cd489d10b
  "David Bowie's Low (33 1/3)" (Hugo Wilcken)
    http://www.amazon.com/David-Bowies-Low-Hugo-Wilcken/dp/0826416845/
  "Patti Smith's Horses (33 1/3)" (Philip Shaw)
    http://www.amazon.com/Patti-Smiths-Horses-Philip-Shaw/dp/0826427928/
  "The Fall of Public Man" (Richard Sennett)
    http://www.amazon.com/Fall-Public-Man-Richard-Sennett/dp/0141007575/

[[]]s, obrigados, etc,
  Eduardo Ochs
  eduardoochs@gmail.com
  http://angg.twu.net/



Pra pedir das próximas vezes (talvez):
  Blauth: Matemática Discreta (exercícios)
  Reyes/Zolfaghari
  Awodey
  http://www.estantevirtual.com.br/Ursula-K-Le-Guin-Os-Despossuidos-28615905.html
  http://www.estantevirtual.com.br/Ursula-K-Le-Guin/Os-Despossuidos.html
  http://www.estantevirtual.com.br/livro/11263532/Ursula-K--Leguin-Os-Despojados---N--46---47---2-Volumes
  http://www.estantevirtual.com.br/mod_perl/info.cgi?livro=18195312

  http://www.estantevirtual.com.br/Richard-Sennett-A-Corrosao-do-Carater-24209332.html






#####
#
# Concurso de Metodologia da Pesquisa
# 2009aug19
#
#####

# «concurso-met-pesq»  (to ".concurso-met-pesq")
# http://www.uff.br/copemag/editais/editais-encerrados.php
# http://www.uff.br/copemag/editais/2009/218/edital-218-2009.pdf
# http://www.uff.br/copemag/editais/2009/218/quadro-anexo-edital-218-2009.pdf
# http://www.uff.br/copemag/editais/2009/218/ementa_metodologia-da-pesquisa.pdf
# http://www.uff.br/copemag/documentacao/realizacao/formularios-realizacao-concurso-assistente-adjunto.php
# (find-sh "lynx -dump http://www.uff.br/copemag/documentacao/realizacao/formularios-realizacao-concurso-assistente-adjunto.php")

# http://www.uff.br/copemag/editais/editais.php
# http://www.uff.br/copemag/inscricao.php
# http://www.uff.br/copemag/resolucoes/resolucoes-cep.php
# http://www.uff.br/copemag/resolucoes/resolucao-cep_1991-046.doc
# http://www.uff.br/copemag/resolucoes/resolucao-cep_1991-054.doc
# http://www.uff.br/copemag/resolucoes/resolucao-cep_1992-182.doc
# http://www.uff.br/copemag/resolucoes/resolucao-cep_1994-049.doc
# http://www.uff.br/copemag/documentacao/formularios-abertura-concurso.php
# http://www.uff.br/copemag/documentacao/formularios-realizacao-concurso.php
# http://www.uff.br/copemag/documentacao/realizacao/formularios-realizacao-concurso-assistente-adjunto.php
# http://www.uff.br/copemag/comunicados/2009/comunicados2009.php
# http://www.uff.br/copemag/comunicados/2008/comunicados2008.php
# http://www.uff.br/copemag/homologacao/homologacao.php
# http://www.uff.br/copemag/nomeacao/nomeacao.php
# http://www.uff.br/copemag/nomeacao/docs-necessarios-para-admissao-uff.pdf
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/lista_presenca_prova_conteudo_escrita_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/lista_presenca_prova_conteudo_pratico_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/lista_presenca_didatica_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/prova_conteudo_escrita_folha_codificacao_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/mapa_prova_conteudo_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/folha_nota_por_examinador_prova_conteudo_escrita_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/folha_notas_por_examinador_prova_conteudo_pratica_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/folha_notas_por_examinador_prova_didatica_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/folha_julgamento_por_examinador_curriculum_vitae_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/mapa_candidato_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/mapa_classificacao_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/instrucao_preenchimento_mapa_candidato_adjunto_assistente.doc
# http://www.uff.br/copemag/documentacao/realizacao/adjuntoassistente/ata_relatorio_final_adjunto_assistente.doc

Datas do concurso: 26, 27, 28 de agosto.
Pernoites: 25->26->27->28.

O Paulo Ranquine - (21)2629-5047 - disse em 2009aug19 que as reservas
pros 4 professores externos estão confirmadas no Maria Maria.
Tenho que ligar pro Maria Maria - (22)2764-2481 - pra confirmar isto.

O Ricardo - (21)2629-5273 - ainda não me confirmou que as passagens do
Germano foram transferidas pra semana desse concurso.

 ______ ______ ______ ______ ______
|      |      |      |      |      |
|  24  |  25  |  26  |  27  |  28  |
|______|______|______|______|______|
              P      P      P
           \---------------------/
                  Estadia



#####
#
# Concurso de Metodologia da Pesquisa: planilha
# 2009aug24
#
#####

# «concurso-planilha»  (to ".concurso-planilha")
# (find-LATEX "passo-a-passo-concurso.tex")
# (find-fline  "~/PURO/docs_concurso_oswaldo/Planilha/")
# (find-oocalc "~/PURO/docs_concurso_oswaldo/Planilha/Formularios_a_preencher-____versao_2008_06_03.xls")
# (find-oocalc "~/PURO/docs_concurso_oswaldo/Planilha/Formularios_2009aug25.xls")
# (find-oocalc "~/PURO/docs_concurso_oswaldo/Planilha/Formularios_a_preencher_metodologia_pesquisa.xls")

Folhas da planilha:
  Sorteio
  Resolução 46/91
  Resolução 54/91
  Atribuições do Presidente
  Atribuições do Secretário
  Instruções para preenchimento do mapa do candidato
  Observações
  Etapa 01
  Etapa 02
  Etapa 03
  Etapa 04
  Etapa 05
  0: Lista de pontos da prova de conteúdo escrita e cronograma
  1: Lista de presença - prova de conteúdo escrita
  2: Lista de presença - prova de conteúdo prática
  3: Lista de presença - prova didática
  4: Prova de conteúdo escrita - Folha de codificação
  5: Mapa da prova de conteúdo
  5 a: Listagem dos candidatos habilitados na prova de conteúdo
  6 1: Folha de notas por examinador: prova de conteúdo escrita
  6 2: Folha de notas por examinador: prova de conteúdo escrita
  6 3: Folha de notas por examinador: prova de conteúdo escrita
  6 4: Folha de notas por examinador: prova de conteúdo escrita
  6 5: Folha de notas por examinador: prova de conteúdo escrita
  6: Folha de notas: prova de conteúdo escrita
  7 1: Folha de notas por examinador: prova de conteúdo prática
  7 2: Folha de notas por examinador: prova de conteúdo prática
  7 3: Folha de notas por examinador: prova de conteúdo prática
  7 4: Folha de notas por examinador: prova de conteúdo prática
  7 5: Folha de notas por examinador: prova de conteúdo prática
  7: Folha de notas por examinador: prova de conteúdo prática
  8 1: Folha de notas por examinador: prova didática
  8 2: Folha de notas por examinador: prova didática
  8 3: Folha de notas por examinador: prova didática
  8 4: Folha de notas por examinador: prova didática
  8 5: Folha de notas por examinador: prova didática
  8: Folha de notas por examinador: prova didática
  9 1: Julgamento por examinhador: curriculum vitae
  9 2: Julgamento por examinhador: curriculum vitae
  9 3: Julgamento por examinhador: curriculum vitae
  9 4: Julgamento por examinhador: curriculum vitae
  9 5: Julgamento por examinhador: curriculum vitae
  TE: Tempo de experiência
  10: Mapa do candidato
  11 NUM NH: Mapa de classificação
  11 H NH: Mapa de classificação
  11 H NH Ordem Classif: Mapa de classificação
  11 NUM NH: Mapa de classificação
  Ciência do resultado
  Ciência do resultado conteúdo
  Decreto 6144 Anexo II
  Ata
  Ata 2

"Etapa 02": falta cadastrar os candidatos
"Etapa 04": imprimir e assinar o termo de responsabilidade pelo uso da planilha





  (incompleto)





#####
#
# Workshop sobre Coq
# 2009aug24
#
#####

# «workshop-coq»  (to ".workshop-coq")

To agendapuro2009 at yahoo.com.br
Subj Proposta de workshop
Se o workshop for aceito ele vai ser na sexta 2009oct23.

Professor/coordenador/proponente:
  Eduardo Nahum Ochs - RCT/PURO/UFF

Título:
  Introdução aos Assistentes de Provas

Público-alvo:
  alunos a partir do 3º período (principalmente de Ciência da
  Computação) e professores de áreas técnicas em geral

Número de vagas:
  16

Recursos necessários:
  Laboratório com datashow, quadro branco e computadores com Debian
  GNU/Linux (ou Ubuntu), com os seguintes pacotes extras instalados:
  Emacs e Coq.





#####
#
# UNILOG'2010
# 2010jan14
#
#####

# «unilog»  (to ".unilog")

http://www.proppi.uff.br/nodeorder/term/81
http://www.proppi.uff.br/capacitacao/afastamento-do-pais-exterior/afastamento-do-pais-exterior

  Prazos
  ------
    DURAÇÃO DO AFASTAMENTO         ENTRADA NA PROPPi,
    ----------------------         PROTOCOLADO
    Até 6 meses (inclusive para    ------------------
    participação em congressos*)   2 meses de antecedência

  Documentos
  ----------
    TIPO DE AFASTAMENTO   DOCUMENTOS NECESSÁRIOS
    -------------------   ----------------------
    Curta duração         a) cópia da ata departamental;						   
    Até 6 meses,          b) carta de aceitação do trabalho ou convite para a visita de intercâmbio; 
    inclusive para        c) resumo do trabalho a ser apresentado ou plano de trabalho;		   
    participação em       d) plano de viagem, caso a mesma tenha mais de um objetivo;		   
    congressos            e) carta de concessão do auxílio, caso já a tenha                          

http://www.proppi.uff.br/nodeorder/term/83
http://www.proppi.uff.br/capacitacao/formulario-de-solicitacao/afastamento-do-pais-exterior-formulario-de-solicitacao
  http://www.proppi.uff.br/sites/default/files/FORM_SolAfastExterior.doc

http://www.proppi.uff.br/nodeorder/term/84
http://www.proppi.uff.br/capacitacao/formularios-de-relatorios/afastamento-do-pais-exterior-formulario-de-relatorios
  http://www.proppi.uff.br/sites/default/files/Form_Relatorio_CurtaExterior.doc

http://www.proppi.uff.br/nodeorder/term/85
http://www.proppi.uff.br/capacitacao/legislacao/afastamento-do-pais-exterior-legislacao
  http://www.proppi.uff.br/sites/default/files/Resolucao_CEP_163_1995_0.pdf
  http://www.proppi.uff.br/sites/default/files/Resolucao_CUV_47_2002.doc
  http://www.proppi.uff.br/sites/default/files/Resolucao_CUV_109_1995.pdf


cd $S/
tar -cvzf /tmp/pen/proppi.tgz  http/www.proppi.uff.br



mkdir /tmp/abi/
cp -v ${/foo/bar.doc} /tmp/abi/
cd /tmp/abi/
nohup abiword {bar.doc} &




#####
#
# Unilog: passagem
# 2010mar31
#
#####

# «unilog-passagem»  (to ".unilog-passagem")

		Reserva
	Localizador: 3XPOY4 	Data da reserva: 31/03/2010
Passageiro(s) 	Assento(s)
OCHS/EDUARDO MR 	18A(GIG-LIS) 	21A(LIS-GIG)
	Localizadores Cia Aérea
Cia                Localizador
TAP AIR PORTUGAL   3XPOY4
Itinerário
Cia Voo Classe  Data   Origem Destino Partida Chegada Lugares Escalas Status
TP  188 M   17/04/2010 GIG    LIS     22:20   12:00   1       0       OK
TP  187 Q   26/04/2010 LIS    GIG     11:00   17:15   1       0       OK

Cia               Localizador
TAP AIR PORTUGAL  3YOK4Q
Itinerário
Cia Voo Classe  Data   Origem  Destino Partida Chegada Lugares Escalas Status
TP  186 M   16/04/2010 GIG     LIS     16:20   06:00   1       0       OK
TP  187 Q   26/04/2010 LIS     GIG     11:00   17:15   1       0       OK

2472
RIO (21) 2548-5142 - SANDOLIN VIAGENS E TURISMO LTDA. - A 	A
PCC atual: RIODEJAN Agente atual: BETO.SANDOLIN - beto.sandolin(IMP)





#####
#
# RAD
# 2010jan20
#
#####

# «rad»  (to ".rad")
# https://sistemas.uff.br/ajuda/index.php/RAD
# http://www.noticias.uff.br/noticias/2009/09/rad-internet.php
# https://sistemas.uff.br/rad/
#     Comunicamos que o prazo final para o preenchimento do RAD
#     será às 23h59min do dia 26 de Fevereiro de 2010
#   https://sistemas.uff.br/Rad/Suporte/Departamento.pdf
#   https://sistemas.uff.br/Rad/Suporte/Docente.pdf
#   https://sistemas.uff.br/Rad/Suporte/RAD_DEPARTAMENTO.pdf
#   https://sistemas.uff.br/Rad/Suporte/RAD_DOCENTE.pdf
#   http://www.uff.br/?q=aberto-para-preenchimento-o-rad-2015

# 2009: (find-xpdfpage "~/PURO/RADOC_1669224_14042010_161741.pdf")
# 2010: (find-xpdfpage "~/PURO/RADOC_1669224_16012011_162603.pdf")
# 2010: (find-xpdfpage "~/PURO/RADOC_1669224_18032011_171241.pdf")
# 2011: (find-xpdfpage "~/PURO/RADOC_1669224_25102011_204654.pdf")
# 2011: (find-xpdfpage "~/PURO/RADOC_1669224_31122011_022204.pdf")
#       (find-pdf-text "~/PURO/RADOC_1669224_31122011_022204.pdf")
# 2012: (find-xpdfpage "~/PURO/RADOC_1669224_07032013_152423.pdf")

# 2015: https://mail.google.com/mail/ca/u/0/#inbox/15279c9766fe08f3 ***

Prezados Professores,informamos que o prazo final para preenchimento
do RAD será dia 28 de Fevereiro de 2013.

# http://www.noticias.uff.br/noticias/2010/03/rad-novo-faq.php
# Máximo de horas trabalhadas:
#   3120 <- (* 12 5 52)
# Horas que eu vou tentar preencher:
#   2080 <- (*  8 5 52)
# Temos dois meses e meio de férias, então...
#   1840 <- (* 8 5 (- 52 6))


**** Senhores  Professores,
**** Comunico que o sistema do RAD estará disponível para
**** alteração/inclusão do dia 12/04/10 à 19/04/10.
**** Este é o último prazo.
**** Atenciosamente.

(code-xpdf      "raddepmini" "$S/https/sistemas.uff.br/Rad/Suporte/Departamento.pdf")
(code-pdftotext "raddepmini" "$S/https/sistemas.uff.br/Rad/Suporte/Departamento.pdf")
(code-xpdf      "raddocmini" "$S/https/sistemas.uff.br/Rad/Suporte/Docente.pdf")
(code-pdftotext "raddocmini" "$S/https/sistemas.uff.br/Rad/Suporte/Docente.pdf")
(code-xpdf      "raddep" "$S/https/sistemas.uff.br/Rad/Suporte/RAD_DEPARTAMENTO.pdf")
(code-pdftotext "raddep" "$S/https/sistemas.uff.br/Rad/Suporte/RAD_DEPARTAMENTO.pdf")
(code-xpdf      "raddoc" "$S/https/sistemas.uff.br/Rad/Suporte/RAD_DOCENTE.pdf")
(code-pdftotext "raddoc" "$S/https/sistemas.uff.br/Rad/Suporte/RAD_DOCENTE.pdf")
;; (find-raddepminipage      1  "Contents")
;; (find-raddepminipage (+ 1 1) "Index")
;; (find-raddepminitext "")
;; (find-raddocminipage      1  "Contents")
;; (find-raddocminipage (+ 1 1) "Index")
;; (find-raddocminitext "")
;; (find-raddeppage      1  "Contents")
;; (find-raddeppage (+ 1 1) "Index")
;; (find-raddeptext "")
;; (find-raddocpage      1  "Contents")
;; (find-raddocpage (+ 1 1) "Index")
;; (find-raddoctext "")

;; http://www.puro.uff.br/agenda2009/
;; http://www.puro.uff.br/agenda2009/programacao.pdf
(code-xpdf      "agenda2009" "$S/http/www.puro.uff.br/agenda2009/programacao.pdf")
(code-pdftotext "agenda2009" "$S/http/www.puro.uff.br/agenda2009/programacao.pdf")
;; (find-agenda2009page 2 "Ochs")
;; (find-agenda2009text   "Ochs")

Gestores do Sistema
Profº José Márcio Lima e Profª Maria Heidi Marques Mendez
E-mail: rad.proplan.uff@gmail.com
Ramal: 5017

Equipe de Desenvolvimento
Henrique Oswaldo Uzêda
henrique@nti.uff.br
Ramal: 2036

José Soares Barroso Júnior
E-mail: jbarroso@nti.uff.br
Ramal: 2044

Tatiana Barboza
Email: tatiana@nti.uff.br
Ramal: 2044

Núcleo de Tecnologia da Informação e Comunicação
Praça do Valonguinho. s/n - 3° andar - Instituto de Matemática -
Centro - Niterói - RJ CEP 24.210-130
Telefones: (21) 2629-2029 ou 2629-2040


2017mar31:

Data: 28/03/2017
Assunto:
Transferência das datas de Ajustes
Prezado docente, Por motivos técnicos, o período de ajustes do
RAD 2016, foi transferido para 03/04 até 07/04/2017 , às 23h59m.
Desculpe-nos pelos transtorno.

Data: 23/10/2015
Assunto:
RAD Público
Prezado Professor O Relatório CGU nº 201407324 disponível em
http://sistemas.cgu.gov.br/relats/uploads/RA201407324.pdf gerou
algumas orientações. Uma delas é a anterior. Outra é que o
RAD de todos os docentes estejam disponíveis na página da UFF o
que será feito nos próximos dias.

Data: 15/09/2015
Assunto:
RESOLUÇÃO CGU
Em atendimento a orientações da Controladoria Geral da União
- CGU, a carga horária anual a ser registrada no Relatório Anual
dos Docentes - RAD, não poderá ultrapassar 1.840 horas para os
docentes no regime de 40h (com ou sem DE) nem 920 horas para docentes
em regime de 20 horas.






#####
#
# relatório de estágio probatório
# 2010mar30
#
#####

# «rel-est-prob-2010»  (to ".rel-est-prob-2010")
# «estagio-probatorio»  (to ".estagio-probatorio")
# (find-xpdfpage  "~/PURO/RelatorioEduardoOchs2010.pdf")
# (find-pdftotext "~/PURO/RelatorioEduardoOchs2010.pdf")
# (find-bgprocess "abiword ~/PURO/RelatorioEduardoOchs2010.rtf")

# (find-fline "/tmp/pen/RelatEstProbatorioModelo.doc")

Oi Luis Enrique & comissão,

2010/3/27 Luis Enrique Valdiviezo <valdiviezo01@gmail.com>:
> Prof. Eduardo, bom dia!
>
> Em relação ao estágio probatório, quero informar-lhe que a Comissão
> reuniu-se e procedeu à avaliação dos relatórios parciais dos
> professores que entraram em exercício em 2009, conforme foi
> comunicado na última reunião do RCT. Bem, não encontramos o seu
> relatório. E, a professora Iara nos informou sobre a não entrega do
> mesmo. Em função disso optamos em conceder-lhe a oportunidade de
> apresentar seu relatório até a próxima terça-feira 30.03.2010, para
> procedermos a sua análise conforme estabelece a Lei 8.112 e a
> Resolução 219 do CEP.
>
> Atenciosamente,
>
> Luis Enrique Valdiviezo

eu perdi a data do RAD, e só vou poder preenchê-lo - e aí anexá-lo ao
relatório de estágio probatório - quando o sistema for reaberto para
modificações, de 12/04 até 19/04... por enquanto o que dá pra fazer -
ou: o melhor que me ocorreu fazer - e' entregar um protótipo do RAD
junto com o relatório. Lá vai... (obs: depois desse protótipo do RAD
eu pus alguns comentários sobre como eu preenchi o Relatório de
Estágio Probatório.)

- - - - - - - - - - - - - - - -

Dados principais do RAD (humanizados)
=====================================

Disciplinas em 2009.1
---------------------           inscritos:  aprovados:
Cálculo 1              4h/sem          52        (conferir)
Cálculo 2              4h/sem          29        (conferir)
Matemática Discreta    4h/sem          37        (conferir)

Disciplinas em 2009.2
---------------------           inscritos:  aprovados:
Cálculo 2              4h/sem          44          24
Cálculo 4              4h/sem          21          11
Matemática Discreta    4h/sem          47          11

Participação em bancas de monitoria (março/2009)
------------------------------------------------
Cálculo I
Matemática Discreta
Lógica para Ciência da Computação
  (Obs: em Matemática Discreta eu era o presidente da banca)

Orientação de monitores (abril a dez/2009)
------------------------------------------
Orientei a monitora de Matemática Discreta (Aline de Cruz Rodrigues
Souza; acho que ela teve uma bolsa PROEX, conferir) e co-orientei
(informalmente; a orientadora oficial era a Ana Isabel) o monitor de
Cálculo 1 (Marco Antônio da Cunha Ferreira; acho que ele também teve
uma bolsa PROEX). Na verdade me encontrei com eles muito menos do que
deveria - eu e a Aline só tivemos algo entre 6 e 10 horas de encontros
de orientação durante o ano, e com o Marco Antônio foram entre 4 e 8
horas.

Participação em organização de eventos
--------------------------------------
Participei da organização da Semana de Monitoria junto com a
Marcelle, mas como eu não tinha nenhuma experiência e estava meio
perdido eu consegui fazer muito pouca coisa além de ajudar um pouco
com a papelada, assistir as apresentações e me familiarizar com o
processo.

Participação em órgãos colegiados (a partir de fev/2009)
--------------------------------------------------------
Colegiado do BCC (como membro titular)

Participação em bancas de concursos para professores
----------------------------------------------------
Lógica e Ciência da Computação (como membro da banca)
Metodologia da Pesquisa (como secretário)
  Além disso fui o responsável por montar a banca do concurso de
  Estatística Aplicada, até um certo ponto - depois o Edwin assumiu a
  tarefa - e participei da organização dos outros concursos para
  Lógica e Ciência da Computação. (Obs: da primeira vez o concurso foi
  realizado, com um único candidato, que foi reprovado; nas vezes
  seguintes não tivemos nenhum inscrito).

Projeto de pesquisa
-------------------
Ainda não submeti (formalmente/oficialmente/ao departamento) um
projeto de pesquisa, mas o meu plano de trabalho, disponível em
  http://angg.twu.net/LATEX/2009-planodetrabalho.pdf
tem praticamente tudo que devo pôr no projeto de pesquisa - mas,
evidentemente, o formato do documento é diferente.

Grupos de pesquisa
------------------
Faço parte do LLaRC.

Artigos e resumos submetidos
----------------------------
Submeti em nov/2009 um abstract intitulado "Downcasing Types" para um
congresso em Portugal, e ele foi aceito - vou apresentá-lo em
abril/2010. Links:
  http://www.uni-log.org/start3.html
  http://www.uni-log.org/ss3-CAT.html
  http://angg.twu.net/LATEX/2009unilog-abs1.pdf
  http://angg.twu.net/LATEX/2009unilog-dnc.pdf
O meu plano de trabalho explica em detalhes como os meus primeiros
"artigos" deverão funcionar: a primeira publicação deve ser um
technical report grande (o "2009unilog-dnc.pdf" acima é uma versão de
trabalho deste technical report, ainda BEM preliminar), com a
formalização da linguagem e da notação de uma forma acessível, com
muitos detalhes e aplicações; aí devo fazer uma série de apresentações
para pessoas que não são estritamente da minha área - no PURO, na UFF
de Niterói, no IMPA e na PUC - e depois começo a produzir artigos
"publicáveis".

Outras apresentações
--------------------
Apresentei em 23/out/2009, na Semana Acadêmica (ou "Agenda
Acadêmica"?) do PURO, um workshop chamado "Introdução aos Assistentes
de Provas" no laboratório de informática. Obs: na preparação para este
workshop eu tive que desenvolver scripts para instalar programas em
todos os computadores do laboratório de uma vez - o que resolve
(potencialmente) a seção "Instalação de Software" do meu plano de
trabalho.



Outros: Ética e Honestidade Acadêmica
-------------------------------------
Na P2 de Cálculo 2 em dezembro/2009 eu tive um problema grave com cola
- e acabei anotando todas as onze provas que tinham casos gritantes de
cola, ficando com cópias delas, e entregando um memorando à direção
com as originais anexadas, para que (sic) "se possam tomar as medidas
cabíveis, e para que possamos discutir quais medidas cabíveis podemos
tomar"... Depois da correção da prova, quando os alunos que tinham
colado vieram conversar comigo pra tentarem pedir alguns pontos das
questões anuladas de volta, eu descobri que o problema era _bem_ pior
do que eu pensava: muitos deles tinha uma espécie de pensamento
utilitário extremo, distorcido, no qual eles precisavam passar nas
disciplinas, para se formarem no curso, para aí terem um diploma e um
emprego; e nenhuma tentativa minha de argumentar em termos de
princípios, ou de regras, ou de qualidade de ensino, ou de tentar
pensar junto com eles nas conseqüências do que eles faziam, parecia
fazer sentido pra eles... eu fiquei tão incomodado com isso que
comecei a gastar muito tempo tentando encontrar um modo de analisar a
situação que tornasse o diálogo com essas pessoas possível (obs: não
acredito que _só_ aplicar as regras cada vez mais duramente seja uma
solução aceitável - essas pessoas vão sempre encontrar brechas nas
regras e modos de trapacear que não violem as regras).

O material que eu comecei a produzir sobre isso - há algumas notas
online, em
  http://angg.twu.net/2009-cola.html
ainda não tem uma existência "oficial", reconhecida pela UFF - e
portanto ainda não pode constar do RAD -, mas está a caminho de se
oficializar: tenho discutido sobre isto informalmente com muitas
pessoas, principalmente do RIR, e a diretora do RIR, Cristina Brittes,
me disse que já conseguiram criar uma comissão interdisciplinar para
discutir sobre "Honestidade Acadêmica", e que puseram o meu nome nela.

Ainda não sei muitos detalhes da comissão, e ainda não há nenhuma
reunião da comissão marcada - mas achei que deveria mencionar tudo
isto.

- - - - - - - - - - - - - - - - -

Sobre o preenchimento do Relatório do Estágio Probatório: nas colunas
de "auto-avaliação" eu não consegui colocar notas, então pus dados
mais objetivos... e a minha auto-avaliação sobre as disciplinas que eu
dei seria:

  "ruim"     para as três de 2009.1,
  "razoável" para as três de 2009.2.

Eu ainda vejo muito o que melhorar, mas acho que agora em 2010.1 as
disciplinas que eu estou dando - Cálculo 2 e Matemática Discreta -
estão indo bastante bem.

Por favor fiquem à vontade para pedir correções de qualquer tipo,
detalhes, confirmações, etc... e peço desculpas pelos atrasos, pelo
formato errado (sem RAD), e pelo trabalho extra que isto pode
ocasionar, etc, etc, e agradeço pelo prazo extra, etc & tal.

  [[]],
    Eduardo Ochs
    eduardoochs@gmail.com
    http://angg.twu.net/






  Fico à disposição etc etc, tomara que isto 



os meus
cursos estão bastante bons.








Comissões






#####
#
# Projeto Pedagógico
# 2010jan20
#
#####

# «projeto-pedagogico»  (to ".projeto-pedagogico")
;; http://www.proac.uff.br/apoio-curricular/projeto-pedagogico-institucional-da-uff-ppiuff
;; http://www.proac.uff.br/files/Projeto%20Pedag%C3%B3gico%20Institucional%20da%20UFF%20%28PPI_UFF%29.pdf
(code-xpdf      "projetopedagogicouff" "$S/http/www.proac.uff.br/files/Projeto%20Pedag%C3%B3gico%20Institucional%20da%20UFF%20%28PPI_UFF%29.pdf")
(code-pdftotext "projetopedagogicouff" "$S/http/www.proac.uff.br/files/Projeto%20Pedag%C3%B3gico%20Institucional%20da%20UFF%20%28PPI_UFF%29.pdf")
;; (find-projetopedagogicouffpage      1  "Contents")
;; (find-projetopedagogicouffpage (+ 1 1) "Index")
;; (find-projetopedagogicoufftext "")

# «regulamento-cursos-grad»  (to ".regulamento-cursos-grad")
;; http://www.proac.uff.br/normas/regulamento-dos-cursos-de-graduacao-112008
;; http://www.proac.uff.br/files/RegulamentoAprovadoCEP.pdf
;; http://www.proac.uff.br/files/Sum%C3%A1rio%20do%20Regulamento.pdf
(code-xpdf      "reggrad" "$S/http/www.proac.uff.br/files/RegulamentoAprovadoCEP.pdf")
(code-pdftotext "reggrad" "$S/http/www.proac.uff.br/files/RegulamentoAprovadoCEP.pdf")
;; (find-reggradpage 40 "III - DO APROVEITAMENTO ESCOLAR")
;; (find-reggradtext    "III - DO APROVEITAMENTO ESCOLAR")
;; (find-reggradpage 47 "o objetivo final do Regime Excepcional")
;; (find-reggradtext    "o objetivo final do Regime Excepcional")
;; (find-reggradtext "")
(code-xpdf      "reggradsum" "$S/http/www.proac.uff.br/files/Sum%C3%A1rio%20do%20Regulamento.pdf")
(code-pdftotext "reggradsum" "$S/http/www.proac.uff.br/files/Sum%C3%A1rio%20do%20Regulamento.pdf")
;; (find-reggradsumpage      1  "Contents")
;; (find-reggradsumtext "")




#####
#
# Calendários
# 2014dec23
#
#####

# «calendarios» (to ".calendarios")
# http://www.prograd.uff.br/novo/calendarios
# http://www.prograd.uff.br/novo/sites/default/files/escolar.pdf
# Aulas em 2015.1: 2015mar09 a 2015jul18
# Aulas em 2015.2: 2015ago10 a 2015dez19

# http://www.uni-log.org/enter-istanbul
# http://www.uni-log.org/tutorials5.html
# http://www.uni-log.org/t5-cat.html
# Unilog: 2015jun20-2015jun30




#####
#
# Calendário 2014
# 2013dec22
#
#####

# «calendario-2014» (to ".calendario-2014")
# http://www.prograd.uff.br/novo/sites/default/files/escolar2014_0.pdf




#####
#
# Calendário 2010
# 2010jan20
#
#####

# «calendario-2010»  (to ".calendario-2010")
# http://www.proac.uff.br/calendarios/calendario-escolar-2009
# http://www.proac.uff.br/calen/calendario-escolar-2010

5.1. PERÍODO LETIVO REGULAR   08/03 a 17/07/2010   09/08 a 18/12/2010
(100 dias de atividades
acadêmicas, incluindo
Reposição e Aplicação de
Verificação Suplementar)
	
# «calendario-2010-BCC»  (to ".calendario-2010-BCC")
Reuniões do BCC:
3ª  16/3, 10:00hs  <- eu não posso!
5ª   8/4, 10:00hs?
5ª  13/5, 10:00hs?
5ª  10/6, 10:00hs?
5ª   1/7, 10:00hs?
5ª  12/8, 10:00hs?
5ª   9/9, 10:00hs?
5ª 14/10, 10:00hs?
5ª 11/11, 10:00hs?
5ª  2/12, 10:00hs?



#####
#
# Bancas de monitoria
# 2010mar03
#
#####

# «monitoria-2010»  (to ".monitoria-2010")
# http://www.puro.uff.br/monitoria
# http://www.puro.uff.br/sites/default/files/edital_calc2.pdf
# http://www.puro.uff.br/sites/default/files/edital_MatDis2.pdf
# (find-angg "LATEX/2010-edital-monit-MD.tex")

# (find-LATEX "2010-edital-monit-MD.tex" "ementa")
# (find-LATEX "2010-edital-monit-MD.tex" "prova")
# (find-LATEX "2010-edital-monit-MD.tex" "gabarito")
# (find-LATEX "2010-edital-monit-MD.tex" "prova-oral")

Bancas de monitoria:
  md: eduardo fnaufel marcio_magini
  c2: antonio eduardo marcio_magini
  CONFERIR!!!

Oi Chefia/Camila,

aqui vão os resultados da seleção de monitor para Matemática
Discreta... Acabamos aprovando os três candidatos que fizeram as
provas, mas a vaga pra monitor é uma só.

                                          Prova    Prova
  Matrícula  Nome                         escrita  oral  Média
  20960042  DANIEL AVELINO MANHAES           6.0   8.4   7.2   2º
  10960027  FREDERICO CASTELOES NERY DE SA   5.4   9.2   7.3   1º
  10960035  VINICIUS DE LIMA COSTA           7.0   7.0   7.0   3º
  10960022  WELTON LUIZ DE OLIVEIRA BARBOSA   -     -       reprovado





#####
#
# Edital 092
# 2010apr06
#
#####

# «edital-092»  (to ".edital-092")
# http://www.uff.br/copemag/editais/editais.php
# http://www.uff.br/copemag/inscricao.php
# http://www.uff.br/copemag/inscricao01.php
# http://www.uff.br/copemag/editais/2010/092/edital-092-2010.pdf
# http://www.uff.br/copemag/editais/2010/092/anexo_i_edital-092-2010.pdf
# http://www.uff.br/copemag/editais/2010/092/anexo_ii_edital-092-2010.pdf
# http://www.uff.br/copemag/editais/2010/092/anexo_iii_edital-092-2010.pdf
# http://www.uff.br/copemag/editais/2010/092/ementa_matematica_adjunto_de_gan.pdf
# http://www.uff.br/copemag/editais/2010/092/ementa_matematica-aplicada.pdf
# http://www.uff.br/enderecos-e-telefones.htm
# Departamento de Matemática Aplicada (GMA)
# e-mail:gma@vm.uff.br
# Telefone:(21) 2629-2086

Inscrições:

Observação 1 (em 25/3/2010) - Para a área de Matemática do
Departamento de Matemática Aplicada (GMA), em Niterói: inscrições
prorrogadas até 7 de maio de 2010.

Secretaria do Departamento de Análise - Rua Mario Santos Braga, s/n,
Instituto de Matemática, 4° andar - Centro - Campus do Valonguinho -
Niterói/RJ. 10-16h

Rua Mario Santos Braga s/n - Departamento de Matemática Aplicada -
Instituto de Matemática, 5º andar - Centro - Campus do Valonguinho -
Niterói/RJ. 10-13h, 14-19h

           Vagas        Realização             Departamento
Matemática   3   03/05/2010 a 07/05/2010  Análise (GAN) 
Matemática   3   24/05/2010 a 26/05/2010  Matemática Aplicada (GMA)

GAN: 03/maio e 07/maio (2ª a 6ª)
GMA: 24/maio a 26/maio (2ª a 4ª)

Ementa:

Grupo I - Funções de várias variáveis reais; os teoremas da função
inversa e da função implícita; os teoremas de Green, Gauss, Stokes.
Funções analíticas: teorema de Cauchy e aplicações; propriedades
locais de funções analíticas; o teorema dos resíduos e aplicações.

Grupo II - Grupos: grupos solúveis; teorema de Jordan - Hölder; os
teoremas de Sylow; grupos abelianos finitamente gerados. Teoria de
Galois: extensões de corpos finitas, algébricas, normais e separáveis;
corpos finitos; extensões galoisianas; o teorema fundamental da teoria
de Galois; aplicações à solubilidade de equações algébricas.

Grupo III - Equações diferenciais ordinárias; Teoremas de existência e
unicidade; estabilidade de Lyapunov; teorema de Poincaré-Bendixson e
aplicações.

http://en.wikipedia.org/wiki/Jordan-Holder_Theorem

A inscrição far-se-á no período de 24/03/2010 a 16/04/2010, nos locais
e horários especificados no anexo II. Na hipótese de não haver
candidatos inscritos ou aprovados, poder-se-á reabrir o período de
inscrições, com eventual mudança da classe de ingresso para nível
imediatamente inferior, bem como os respectivos pré-requisitos
acadêmicos.


Após registro junto ao protocolo, enviar cópia eletrônica dos
formulários 2 e 3 e Ata indicando o "número do processo", como anexos
para <cppd-copemag1@vm.uff.br>.







#####
#
# Imposto de Renda 2010
# 2010apr30
#
#####

# «imposto-de-renda-2010»  (to ".imposto-de-renda-2010")
# http://www.receita.fazenda.gov.br/PessoaFisica/IRPF/2010/declaracao/instrucoes-irpf.htm
# http://www.receita.fazenda.gov.br/PessoaFisica/IRPF/2010/declaracao/download-programas.htm
# http://www.receita.fazenda.gov.br/PessoaFisica/IRPF/2010/declaracao/prazo-entrega.htm
# http://www.receita.fazenda.gov.br/publico/programas/IRPF/2010/PGDIrpf2010/Java/linux/IRPF2010linux-x86v1.0.bin
# http://www.receita.fazenda.gov.br/Publico/programas/receitanet/Java/ReceitanetJava2010.02a_setup_linux.bin

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cp -v $S/http/www.receita.fazenda.gov.br/publico/programas/IRPF/2010/PGDIrpf2010/Java/linux/IRPF2010linux-x86v1.0.bin /tmp/
cp -v $S/http/www.receita.fazenda.gov.br/Publico/programas/receitanet/Java/ReceitanetJava2010.02a_setup_linux.bin /tmp/
chmod 755 /tmp/IRPF2010linux-x86v1.0.bin
chmod 755 /tmp/ReceitanetJava2010.02a_setup_linux.bin

/tmp/IRPF2010linux-x86v1.0.bin
# (find-fline "~/Desktop/irpf2010-desktop.desktop")
# (find-fline "~/ProgramasRFB/irpf2010/")

/tmp/ReceitanetJava2010.02a_setup_linux.bin
# (find-fline "~/ProgramasRFB/Receitanet Java/")
# (find-fline "~/Desktop/rfb-receitanet201002.desktop")

/usr/lib/jvm/java-6-sun/bin/java -jar /home/edrx/ProgramasRFB/irpf2010/irpf.jar

# (find-fline "~/IMPOSTO_DE_RENDA/")
# (find-twufile "IMPOSTO_DE_RENDA/")
# (find-fline "~/tmp/IR/")




#####
#
# Almoxarifado
# 2010may20
#
#####

# «almoxarifado»  (to ".almoxarifado")

Senhores Professores,
A partir de agora, as solicitações de material e/ou assistência do
setor de informática serão feitas pelo Sistema de Solicitações PURO.
Link para o sistema: http://ss.puro.uff/
Será enviado login e senha para o e-mail pessoal de cada um.
A senha é temporária, favor alterar.

Título: Solicitação de Materiais
Setor:  Almoxarifado
Descrição: em anexo.

eochs M0

# (find-fline    "~/PURO/almoxarifado/")
# (find-xpdfpage "~/PURO/almoxarifado/procedimento_almoxarifado.pdf")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cp -v ~/PURO/almoxarifado/requisicao_de_materiais.xls /tmp/
oocalc /tmp/requisicao_de_materiais.xls





#####
#
# Provas e listas de exercícios (2010.1)
# 2010jul07
#
#####

# «provas-2010.1»  (to ".provas-2010.1")
# (find-angg "LATEX/2010-1-C2-exercs-P2.tex")
# (find-angg "LATEX/2010-1-C2-exercs-P3.tex")
# (find-angg "LATEX/2010-1-C2-prova-1.tex")
# (find-angg "LATEX/2010-1-C2-prova-mini-1.tex")
# (find-angg "LATEX/2010-1-C2-prova-2.tex")
# (find-angg "LATEX/2010-1-C2-prova-3.tex")
# (find-angg "LATEX/2010-1-C2-prova-VR.tex")
# (find-angg "LATEX/2010-1-C2-prova-VS.tex")
# (find-angg "LATEX/2010-1-C2-exercs-P4.tex")
# (find-angg "LATEX/2010-1-C2-prova-VS2a.tex")
# (find-angg "LATEX/2010-1-C2-prova-VS2b.tex")

# http://angg.twu.net/MD/MD_exercicios_2010mar29.pdf
# http://angg.twu.net/MD/MD_exercicios_2010mar29_gabarito.djvu
# http://angg.twu.net/MD/MD_exercicios_2010mar29_gabarito.pdf
# (find-angg "LATEX/2010-1-MD-prova-1-body.tex")
# (find-angg "LATEX/2010-1-MD-prova-1.tex")
# (find-angg "LATEX/2010-1-MD-prova-2.tex")
# (find-dvipage "~/LATEX/2010-1-MD-prova-2.dvi")
# (find-angg "LATEX/2010-1-MD-prova-3.tex")
# (find-angg "LATEX/2010-1-MD-prova-VS.tex")
# (find-angg      "LATEX/2010-1-MD-exercs-P4.tex")
# (find-dvipage "~/LATEX/2010-1-MD-exercs-P4.dvi")
# (find-angg      "LATEX/2010-1-MD-prova-VS2.tex")
# (find-dvipage "~/LATEX/2010-1-MD-prova-VS2.dvi")






De acordo com notícia veiculada no site da UFF
(http://www.noticias.uff.br/noticias/2009/11/lancamento-notas-2009.php)
agora o lançamento das notas pelos professores será feito no IdUFF:
id.uff.br Portanto, é preciso que todos os professores entrem no site
do IdUFF e se cadastrem para receber a senha de acesso à plataforma de
lançamento de notas. O lançamento das notas terá início no dia 08/12 e
terminará no dia 23/12.

;; http://www.proac.uff.br/files/LancamentoDeNotas.pdf
(code-xpdf      "iduffmanual" "$S/http/www.proac.uff.br/files/LancamentoDeNotas.pdf")
(code-pdftotext "iduffmanual" "$S/http/www.proac.uff.br/files/LancamentoDeNotas.pdf")
;; (find-iduffmanualpage      1  "Contents")
;; (find-iduffmanualpage (+ 1 1) "Index")
;; (find-iduffmanualtext "")

Preenchimento das notas de VS 
Para os casos em que a nota final informada estiver situada entre 4,0
(quatro) e 5,9 (cinco vírgula nove), para os casos em que o aluno não
compareceu à VS, o docente ou departamento terão a responsabilidade de
lançar a nota da VS igual a ZERO, conforme consta no artigo 80 do
regulamento de graduação em seus parágrafos 6º, 7º, 8º e 9º.



Manoel (Joaquim Murtinho, sub402):
  2222-1445
  8793-4780

Eu: 22 2777-5911
Dora: 2240-9335 2240-5732 sala626



Acanthopanax Radicis "Siberian Ginseng"
  Tônico geral
  1 cápsula 2× dia

Bu Zhong Yi Qi Tang "Ginseng & Astragalus Combination"
  Pro baço (-> diarréia, pulmão e deficiência de Qi)
  (tônico geral + baço)
  1 cápsula 3x dia

Huo Xiang Zheng Qi San "Agastache Formula")
  Diarréia - umidade no Jiao médio
  1 dose por dia como preventivo;
  regular de acordo com a necessidade

Suan Zao Ren Tang "Zizyphus Combination"
  Coração (sono, ansiedade)
  Tônico do shen/mente - relaxante
  usar quando precisar

Xiao Chai Hu Tang "Minor Bupleurum Combination"
  Pré-gripe; patógenos residuais; libações
  usar quando precisar




Imposto de renda:
http://www.receita.fazenda.gov.br/PessoaFisica/IRPF/2010/declaracao/instrucoes-irpf.htm
http://www.receita.fazenda.gov.br/PessoaFisica/IRPF/2010/declaracao/prazo-entrega.htm
# (find-fline "~/tmp/IR/")

Manoel (Joaquim Murtinho, sub402):
  2222-1445
  8793-4780

Eu: 22 2777-5911
Dora: 2240-9335 2240-5732 sala626
caminhao pipa: seu cabral 9277-5065 (ponto imoveis)
  quinta de manhã - conferir

Maha Vidya Yoga: R. Flamengo 668, (22)9814-0631
  2ª-5ª, 7:00, 8:00, 16:0, 18:00, 19:00, 20:00 (eu: 3ªs 19:00)
  6ª 19:00 para reposição   Gestantes: 5ªs 9:00 e 17:00
  Tânia e ?

Solange Dacach: 8898-2220, 2224-0927
Beth Freitas   esfreitas@terra.com.br

Disjuntores em RO:
  20 bomba
  20 ar cond do quarto da frente
  40
  25 geladeira
  25
  25 sala, luzes dos quartos e do banheiro



Tirar a água do débito automático
Checar o que eu preciso levar pra audiência




 + SITE DO LLaRC: atualizem o site do LLaRC com informações sobre
   suas publicações, projetos, etc. O site é um dos resultados do
   projeto. É importante que ele esteja atualizado na época de
   prestação de contas (dezembro).


 + CADASTRO DO LLaRC NO CNPq: até fim de novembro, preciso atualizar
   o cadastro do LLaRC na base de grupos de pesquisa no CNPq. Entre
   as exigências do CNPq, está a de que os CV Lattes dos
   participantes estejam atualizados. Peço que vcs atualizem os seus.



Pythias 2539-1266 2286-0380
Cláudia 9987-1570 2/set (5ª) 10:00
Cláudia (Lage): quinta 16/set 10:00hs
Olivier: entre 4/set e 26/set

Entregar os diários de classe
Mandar os e-mails sobre plagio
Reunião do GT sobre plágio: dia 1/9, às 12h (?)

enfepro: 18 e 19/agosto
audiência do processo: quarta 24/nov/10 às 10:35h

Próximas reuniões do BCC: 14/10, 11/11 e 2/12 (acho).
Unidade de Ciência e Tecnologia: sou suplente

venho confirmar a reunião da Coordenação de Matemática
para dia 7 de outubro, quinta-feira, das 16 h as 1'8 h
na sala 6B.
Sugetão de pauta:
relato sobre as turmas do segundo semestre;
organização do Departamento de Física e Matemática;
participação na Semana de Ciência e Tecnologia;
participação na Semana de Monitoria;
participação na Semana Acadêmica.

***** lattes

Férias 2011:
  30 dias começando em 3/jan/2011
  15 dias começando em 18/07/2011

http://www.proac.uff.br/files/u1/Calend__rio_Escolar_2010.pdf

discurso do Reitor
provas e notas
folha sobre somatorio, scans
urw bookman

*** Mandar o pedido de inclusão do projeto com o Ramiro na ata

entrega da tok&stok: 3a 8/fev, de manhã





#####
#
# Viagem
# 2011jan16
#
#####

# «viagem-2011»  (to ".viagem-2011")

Rio GIG       19JAN 18:20  (ult apr 17:20)
  -> AF 0443, class Q, seat 26B
Paris CDG     20JAN 08:00
Paris CDG     20JAN 10:05  (ult apr 09:35)
  -> AF 5040, class L, assento não marcado
Florence      20JAN 12:10

Florence      26JAN 13:05  (ult apr 12:35)
  -> AF 5041, class L, assento não marcado
Paris CDG     26JAN 15:00

Paris CDG     03FEB 23:20  (ult apr 22:20)
  -> AF 0442, class Q, seat 23B
Rio GIG       04FEB 07:35




#####
#
# idUFF
# 2011jun19
#
#####

# «iduff»  (to ".iduff")
# https://sistemas.uff.br/portal/





#####
#
# Agenda Acadêmica 2011
# 2011aug03
#
#####

# «agenda-academica-2011»  (to ".agenda-academica-2011")
# http://www.proppi.uff.br/node/1920

PROPPi - Pró-Reitoria de Pesquisa, Pós-Graduação e Inovação da UFF -
Pró-Reitoria de Pesquisa, Pós-Graduação e Inovação
 
Substituição das aulas no período da Agenda Acadêmica e VIII SNCTi
Posted: 02 Aug 2011 08:25 AM PDT

As aulas da UFF serão substituídas por atividades vinculadas à
programação da VIII SNCTi e da Agenda Acadêmica da UFF, que ocorrerão
no período de 17 a 23 de outubro, atendendo a Resolução do Conselho de
Ensino e Pesquisa ( CEP- 189/2005). Mais informações www.snct.uff.br.






#####
#
# Códigos das turmas
# 2016apr24
#
#####

# «turmas-VCREK» (to ".turmas-VCREK")

turmas V - são para os calouros e tem 35 vagas reservadas para
           esses alunos. Dessa forma sobram 5 vagas para os demais
           alunos.
turmas C - São exclusivas para não calouros da computação.
turmas R - São turmas mistas para alunos da Engenharia e da Computação.
turmas E ou K - são exclusivas da Engenharia e tipicamente não
                deveriam aparecer para vocês.

Quem reprovou nas disciplinas do primeiro período deve,
preferencialmente, se inscrever nas turmas R1 de Calc 1, GA e Prog 1,
turmas V1 de FAC e ICC e turma C1 de MD.

É possível que um aluno do 2º período consiga vaga nas
turmas V1? Sim é possível, porém é improvável. O
desempate para as vagas na turma ocorre pela carga horária cursada
então é bem provável que alunos de períodos mais
avançados tenham preferência nessa disputa.







CALENDÁRIO DAS REUNIÕES DO CONPURO - 2013
As reuniões do Conselho do Puro serão sempre no auditório, às 10h, nas seguintes datas:
JANEIRO - Dia 25 (sexta-feira)
FEVEREIRO - Dia 22 (sexta-feira)
MARÇO - Dia 22 (sexta-feira)
ABRIL - Dia 26 (sexta-feira)
MAIO - Dia 31 (sexta-feira)
JUNHO - Dia 28 (sexta-feira)
JULHO - Dia 26 (sexta-feira)
AGOSTO A DEZEMBRO - As datas ainda serão definidas



#####
#
# RCN: reuniões 2017
# 2017mar27
#
#####

# «reunioes-rcn-2017» (to ".reunioes-rcn-2017")
# https://mail.google.com/mail/ca/u/0/#search/rcn/15ad898d9c48392c

REUNIÕES ORDINÁRIAS DO RCN - 2017

 1 12/jan
 2 23/mar
 3 20/abr (era 13/abril mas mudou)
 4 11/mai
 5  8/jun
 6 13/jul
 7 10/ago
 8 14/set
 9 19/out
10  9/nov
11 14/dez





Férias 2012: ainda não sei pra quando foram marcadas
Lilia vai estar la' (em Londres) entre o dia 3 e o dia 19 de janeiro!!!!!!!


http://objetoseducacionais2.mec.gov.br/handle/mec/4120/browse?type=title

http://www.proac.uff.br/logotipos/




#  Local Variables:
#  coding:               raw-text-unix
#  ee-delimiter-hash:    "\n#*\n"
#  ee-delimiter-percent: "\n%*\n"
#  ee-anchor-format:     "«%s»"
#  End: