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
