Oi Carlos (com cópia pro FAD e pra 409 outras pessoas),
você pode ajudar o Dória a aprender como usar o iPhone dele melhor?
Talvez seja uma questão de reconfigurar alguma coisa pra que passe a
ser mais fácil ele mandar mensagens em private - ou talvez você
consiga explicar pra ele que ruído em listas de discussão incomoda, e
que e-mails pra listas de discussão são diferentes de SMSs.
Obrigado, e desculpe por te pedir uma tarefa provavelmente espinhosa,
[[]],
Eduardo Ochs
[email protected]
http://angg.twu.net/
2012/6/6 FAD 2 <[email protected]>
> Se quiser te ajudo.
>
> Sent from my iPhone
>
> On 06/06/2012, at 06:14, Carlos Coelho Lechner <[email protected]>
> wrote:
>
> > Prof. João Marcos,
> >
> > Obrigado pelas recomendações. Bom, felizmente já conheço o prof. Luis
> > Menasché Schechter e o prof. Mário Benevides, já fiz algumas disciplinas
> > com os dois e elas estão dentre as que eu mais gostei de ter cursado na
> > faculdade. A possibilidade de se estudar lógica seriamente na UFRJ existe
> > mas se você pergunta lá no instituto de matemática(na pura ou na
> aplicada)
> > sobre alguém que faça algo de lógica ninguém te dá nenhuma direção e
> ainda
> > por cima deixam a entender que lógica é coisa que não se faz por aquelas
> > bandas. Eu descobri sobre lógica na UFRJ esbarrando com ela no meu semi
> > random walk pela ilha do fundão, na internet, etc. Não falta pessoal, o
> que
> > falta, acredito eu, é uma integração maior...isso é algo a ser visto.
> >
> > Bom, mas vamos deixar isso de lado. O objetivo principal do meu
> e-mail
> > anterior era só divulgar que o departamento de matemática aplicada(e/ou
> > pura) pode vir a ser útil no projeto do prof. Dória. É só um recurso a
> mais
> > que ele pode usar.
> >
> > Grato pela atenção,
> >
> > Carlos C. Lechner
> >
> >
> >
> >
> >
> >
> >
> >
> > Em 5 de junho de 2012 22:39, Joao Marcos <[email protected]> escreveu:
> >
> >> Olá, Carlos, no DCC do Instituto de Matemática da UFRJ você pode
> >> procurar o Luis Menasché Schechter, especialista em lógica modal e em
> >> grafos, ex-orientando do Mário Benevides (COPPE). Salvo engano de
> >> minha parte, neste semestre ele está dando aulas sobre "números
> >> inteiros e criptografia" e sobre "linguagens formais".
> >>
> >> Através do "logic-in-rio" certamente você poderá se informar mais
> >> sobre o movimento lógico por estas bandas.
> >> JM
> >>
> >>
> >> 2012/6/5 Carlos Coelho Lechner <[email protected]>:
> >>> Prof. Dória,
> >>>
> >>> Antes de qualquer coisa parabéns pela iniciativa. Segue abaixo um
> >>> feedback da minha parte:
> >>>
> >>> Como aluno da UFRJ eu tenho que reconhecer que temos um problema
> grave
> >>> de interação entre os departamentos. De fato o departamento de
> matemática
> >>> da UFRJ em si ao que me parece não tem ninguém que trabalha com
> >>> lógica(aliás se houver seria proveitoso a todos que essa entidade
> >>> misteriosa se revelasse por lá). Essa área, por algum motivo
> >> provavelmente
> >>> muito burocrático que me é obscuro, se encontra apenas no departamento
> de
> >>> engenharia de produção e na ciência da computação e também não sei se
> >> esses
> >>> dois grupos de lógica comunicam-se bem entre si(pelo que tenho visto
> >>> acredito que não). Os alunos da matemática, por exemplo, não tem a
> menor
> >>> ideia de que tem gente que trabalha com lógica na UFRJ. Eu mesmo não
> >>> saberia se não fosse por este grupo de e-mails! Consequentemente nenhum
> >> dos
> >>> meus colegas (que estão fazendo o curso do prof. Andrey) também.
> >>>
> >>> Tome, por exemplo, essa situação desses alunos da engenharia que
> estão
> >>> interessados em matemática. Seria, na minha humilde opinião, muito
> >>> proveitoso se eles fizessem em paralelo o curso de análise 1 do
> >>> departamento de matemática aplicada. O curso é extremamente didático e
> >> bem
> >>> estruturado(pelo menos quando eu fiz era e que eu saiba o professor
> nunca
> >>> muda). Costuma ser dado no 2º semestre. É um curso muito "mais
> concreto"
> >>> para alunos da engenharia e me parece a porta de entrada mais natural
> >> para
> >>> eles irem se acostumando com matemática mais formal. Acho que um curso
> de
> >>> álgebra 2(grupos, aneis, teoremas do isomorfismo dessas coisas, etc)
> >> seria
> >>> necessário também. Eu digo por experiência própria que esse curso é bem
> >>> dado na UFRJ pela prof.ª Luciane Quoos Conte(e, pelo que eu ouço,
> somente
> >>> por ela). Se os alunos forem estudar coisas relacionadas à lógica
> >>> matemática que, pelas duas referências que você deu(prof. Andrey e
> prof.
> >>> Chaitin), imagino que seja o caso, seria bom que eles tivessem alguma
> >>> destreza com a linguagem algébrica costumeira antes de qualquer coisa.
> >>>
> >>> Qualquer coisa eu estou a disposição. Para saber como o departamento
> >> de
> >>> matemática aplicada pode colaborar pode-se também entrar em contato com
> >> os
> >>> professores Marco Cabral e Felipe Acker pois os dois são pessoas muito
> >>> solícitas. Isso que você está fazendo é bastante importante, é um
> projeto
> >>> que merece dar certo e tem tudo para isso.
> >>>
> >>> Atenciosamente,
> >>>
> >>> Carlos C. Lechner
> >>>
> >>>
> >>>
> >>>
> >>>
> >>> Em 5 de junho de 2012 13:58, Francisco Antonio Doria
> >>> <[email protected]>escreveu:
> >>>
> >>>> Me pediram e estou ajudando.
> >>>>
> >>>> 2012/6/5 Walter Carnielli <[email protected]>
> >>>>
> >>>>> Caros,
> >>>>>
> >>>>> Temos feito coisa parecida no CLE nos ultimos 20 anos, mas em "slow
> >>>>> motion", calma e continuamente, inclusive o Rodrigo Freire ajudou, Em
> >>>>> cursos e seminarios
> >>>>> Abs
> >>>>> Walter
> >>>>>
> >>>>> --
> >>>>> Walter A. Carnielli
> >>>>> Enviado via iPhone
> >>>>>
> >>>>> Em 05/06/2012, às 07:26, Francisco Antonio Doria <
> [email protected]
> >>>
> >>>>> escreveu:
> >>>>>
> >>>>>> Obrigado. Vou postando aqui os resultados, pra ter feedback de vcs.
> >>>>> Grato.
> >>>>>>
> >>>>>> 2012/6/5 Rodrigo Freire <[email protected]>
> >>>>>>
> >>>>>>> Parabéns pela iniciativa, que é importante.
> >>>>>>>
> >>>>>>> Abraço
> >>>>>>> Rodrigo
> >>>>>>>
> >>>>>>>
> >>>>>>>
> >>>>>>>
> >>>>>>>
> >>>>>>> 2012/6/5 Francisco Antonio Doria <[email protected]>
> >>>>>>>
> >>>>>>>> Decio e Rodrigo, obrigado.
> >>>>>>>>
> >>>>>>>> É meio louco, mas, se não fosse, n˜åo topava a parada...
> >>>>>>>>
> >>>>>>>> Rodrigo, vou seguir tua sugestão; tb gosto do Rudin. Mas vou
> >> ensinar
> >>>> a
> >>>>>>>> turminha a ler livros de matemática. Acho que seria o melhor
> >> caminho.
> >>>>>>>>
> >>>>>>>> Vou postando aqui os resultados; de novo, grato pelas dicas.
> >>>>>>>>
> >>>>>>>> 2012/6/5 Décio Krause <[email protected]>
> >>>>>>>>
> >>>>>>>>> Doria
> >>>>>>>>> Sua ideia foi excelente, talvez eu ache isso porque eu aja assim
> >> com
> >>>>>>>>> alguns alunos também (rs). Acho que é por aí.
> >>>>>>>>> Só que no meu caso, tenho que dar aulas reforço sobre coisas que
> >>>> eles
> >>>>>>>>> necessitam e não sabem, às vezes bem básicas (estou na filosofia)
> >>>> como
> >>>>>>>>> derivadas e integrais.
> >>>>>>>>> D
> >>>>>>>>> *
> >>>>>>>>> *
> >>>>>>>>> *------------------------------------------------------*
> >>>>>>>>> *Décio Krause*
> >>>>>>>>> *Departamento de Filosofia*
> >>>>>>>>> *Universidade Federal de Santa Catarina*
> >>>>>>>>> *88040-900 Florianópolis - SC - Brasil*
> >>>>>>>>> *http://www.cfh.ufsc.br/~dkrause*
> >>>>>>>>> *------------------------------------------------------*
> >>>>>>>>
> >>>>>>>>> "We cannot define anything precisely! If we attempt to, we get
> >> into
> >>>>> that
> >>>>>>>>> paralysis of thought that comes to philosophers, who sit opposite
> >>>> each
> >>>>>>>>> other, one saying to the other, 'You don't know what you are
> >> talking
> >>>>>>>>> about!' The second one says 'What do you mean by know? What do
> >> you
> >>>>> mean
> >>>>>>>> by
> >>>>>>>>> talking? What do you mean by you?', and so on." (Richard Feynman)
> >>>>>>>>>
> >>>>>>>>>
> >>>>>>>>> Em 05/06/2012, às 04:40, Francisco Antonio Doria <
> >>>> [email protected]
> >>>>>>
> >>>>>>>>> escreveu:
> >>>>>>>>>
> >>>>>>>>> Há umas semanas o Samuel Jurkiewicz, coordenador do programa de
> >>>>>>>> engenharia
> >>>>>>>>> de produção, me pediu que orientasse, coordenasse, o que quer que
> >>>>> seja,
> >>>>>>>> um
> >>>>>>>>> grupo de alunos de graduação, todos na faixa dos vinte anos e
> >> todos
> >>>>>>>>> estudantes de engenharia de produção, que - palavras deles -
> >>>> ``queriam
> >>>>>>>>> estudar matemática.''
> >>>>>>>>>
> >>>>>>>>> Resolvi primeiro botar pilha neles: ontem Greg Chaitin e Andrey
> >>>>> Bovykin
> >>>>>>>>> fizeram pequenas palestras para eles (com agradecimentos a Greg
> >> e a
> >>>>>>>>> Andrey). E tenho agido da seguinte forma: a cada um dou um
> >> problema,
> >>>>>>>> nível
> >>>>>>>>> tese de mestrado, isto é, problema cuja solução conheço e que sei
> >>>> como
> >>>>>>>>> atingir, mas problema que pode virar paper. E vou acompanhar o
> >>>> estudo
> >>>>>>>> deles
> >>>>>>>>> guiado pelo problema.
> >>>>>>>>>
> >>>>>>>>> Alguem tem sugestão a respeito?
> >>>>>>>>>
> >>>>>>>>> --
> >>>>>>>>> fad
> >>>>>>>>>
> >>>>>>>>> ahhata alati, awienta Wilushati
> >>>>>>>>> _______________________________________________
> >>>>>>>>> Logica-l mailing list
> >>>>>>>>> [email protected]
> >>>>>>>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>>>>>>>>
> >>>>>>>>>
> >>>>>>>>
> >>>>>>>>
> >>>>>>>> --
> >>>>>>>> fad
> >>>>>>>>
> >>>>>>>> ahhata alati, awienta Wilushati
> >>>>>>>> _______________________________________________
> >>>>>>>> Logica-l mailing list
> >>>>>>>> [email protected]
> >>>>>>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>>>>>>>
> >>>>>>>
> >>>>>>>
> >>>>>>
> >>>>>>
> >>>>>> --
> >>>>>> fad
> >>>>>>
> >>>>>> ahhata alati, awienta Wilushati
> >>>>>> _______________________________________________
> >>>>>> Logica-l mailing list
> >>>>>> [email protected]
> >>>>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>>>>
> >>>>
> >>>>
> >>>>
> >>>> --
> >>>> fad
> >>>>
> >>>> ahhata alati, awienta Wilushati
> >>>> _______________________________________________
> >>>> Logica-l mailing list
> >>>> [email protected]
> >>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>>>
> >>> _______________________________________________
> >>> Logica-l mailing list
> >>> [email protected]
> >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>
> >>
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> > _______________________________________________
> > Logica-l mailing list
> > [email protected]
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
