Quarta-feira, 18 de maio, às 13 horas na sala 3-012
Seminário de Pós Graduação em Matemática: "O anel de cohomologia do espaço de órbitas de Zp-ações livres sobre produtos de esferas"
Palestrante: Henry José Gullo (ICMC)
Resumo: O estudo do espaço de órbitas de um espaço topológico X tornou-se ativo depois da prova da conjetura de Conner (Robert Oliver em 1971), que sob certas condições estabelece uma relação entre a homologia e cohomologia do espaço das órbitas X/G com a homologia e a cohomologia do espaço X. Outro resultado importante que relaciona X e X/G foi o dado por D. Quillen, que provou que a dimensão cohomológica do espaço X/G não pode exceder a dimensão cohomológica de X. Neste seminário mostraremos o resultado obtido por Ronald M. Dotzel, Tej B. Singh e Satya P. Tripathi em 2000, onde calculam o anel de cohomologia do espaço das órbitas X/G de G=Zp-ações livres sobre espaços topológicos X com anel de cohomologia módulo p isomorfo ao anel de cohomologia do produto de duas esferas s^mXs^n, m<=n, isto é, H*(X;Zp)~=H*(s^mXs^n ;Zp).
----------
Quarta-feira, 18 de maio, às 15 horas na sala 5-001
Seminários de Engenharia de Software: "ProgTest: An Environment for the Submission and Evaluation of Programming Assignments based on Testing Activitie"
Palestrante: Draylson Micael de Souza (ICMC)
Resumo: Programming foundations is not an easy subject to be taught many students have difficulties understanding the abstract concepts of programming and have a wrong view about the programming activity. In order to address these problems, experiences have suggested the integrated teaching of programming concepts and software testing in introductory CS courses. Shortly, the idea is that testing can contribute to enhance the students' capabilities of understanding and analysis. However, such perspective requires tools to provide an adequate feedback to evaluate the students' performance concerning programming and testing activities. In this paper we describe ProgTest a web-based tool for the submission and automatic evaluation of practical programming assignments based on testing activities. Results from a preliminary validation of ProgTest are also presented. Such results provide evidences on the practical use of ProgTest as a supporting mechanism for the integrated teaching of programming foundations and software testing
----------
Quinta-feira, 19 de maio, às 13h13min na sala 4-003
Seminário de Coisas Legais: "Um resultado folclórico de Álgebra Linear"
Palestrante: Eduardo Tengan (ICMC)
Resumo: Diz a crença popular que, dadas duas matrizes quadradas A e B, os polinômios característicos de AB e BA são iguais. Há várias demonstrações deste fato, neste seminário apresentarei a prova mais legal, que utiliza a chamada topologia de Zariski em Geometria Algébrica!
----------
Informações:
Seção de Eventos do ICMC
Tel (16) 3373-9146
