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
