Em 2010 o CIn inicia a primeira turma do Bacharelado em Sistemas de Informação.
O curso estimula no aluno o desenvolvimento de conhecimentos nas áreas de Computação, Matemática e Administração. O objetivo dessa graduação é criar pessoas capazes de incorporar novas Tecnologias de Informação e Comunicação (TIC) na solução de problemas organizacionais.
Mais informações acesse o endereço http://cin.ufpe.br/~si/
Fonte: http://cin.ufpe.br/
terça-feira, 22 de setembro de 2009
segunda-feira, 21 de setembro de 2009
XIV Escola Regional de Informática - Paraná
No período de 20/10 a 23/10 acontecerá na PUCPR a XIV Escola Regional de Informática - Paraná (ERI-PR 2009), um evento promovido pela SBC e realizado pelos cursos de Computação da PUCPR. O evento é composto de palestras e minicursos voltados a estudantes de graduação e pós-graduação, professores e profissionais de informática, sobre temas como XML, Programação em Lua, desenvolvimento de sistemas sensíveis ao contexto, engenharia de software para sistemas embarcados, computação quântica, entre outros.
Para conhecer a programação do evento, os palestrantes e realizar sua inscrição, visite www.ppgia.pucpr.br/eri2009.
As inscrições estão abertas e possuem preços promocionais até o dia 23/09, quarta-feira. Estudantes associados à SBC pagam R$ 20,00 e não associados, R$ 30,00. Profissionais associados à SBC pagam R$ 40,00 e não associados, R$ 50,00.
Cordialmente,
Vidal Martins.
--
=======================================
Prof. Dr. Vidal Martins
Diretor do Curso de Ciência da Computação
Pontifícia Universidade Católica do Paraná - PUCPR
Centro de Ciências Exatas e de Tecnologia - CCET
Rua Imaculada Conceição, 1155 - Prado Velho
CEP: 80215-901 - Curitiba - PR - Brasil
Fones: +55 (41) 3271-2277, +55 (41) 3271-1746
Fax: +55 (41) 3271-1414
domingo, 20 de setembro de 2009
O nosso maior pensador vivo
Matéria do jornal Gazeta do Povo, o de maior circulação em Curitiba-PR.
Fonte: http://portal.rpc.com.br/gazetadopovo/cadernog/conteudo.phtml?tl=1&id=925881&tit=O-nosso-maior-pensador-vivo
Entrevista com Newton Carneiro Affonso da Costa, matemático e filósofo
Pouca gente sabe, mas Curitiba pariu um dos intelectuais brasileiros mais reconhecidos mundialmente. Newton Carneiro Affonso da Costa, hoje com 80 anos, morador de Florianópolis, revolucionou o campo da lógica ao desenvolver a Teoria Paraconsistente, segundo a qual uma sentença e sua negação podem ser ambas verdadeiras (leia mais ao lado).
Filosofia
Nascido na capital paranaense às vésperas da maior crise econômica de todos os tempos, em 1929, Newton formou-se na Universidade Federal do Paraná em Engenharia e Filosofia. Tornou-se catedrático de Matemática e mais tarde transferiu-se para São Paulo, onde lecionou na Unicamp e na USP. Nesta entrevista, ele fala sobre suas teorias, o ambiente intelectual brasileiro, religião e felicidade.
Como foi a sua formação?
Fui muito influenciado por um tio, Milton Carneiro, também professor da UFPR, que discutia muito filosofia e lia muitos livros comigo. Por outro lado, na minha família, todos se interessavam por política, assuntos atuais, e eu fui tomando conhecimento dessas áreas, inclusive autodidaticamente, e acabei me interessando enormemente pela ciência. Minha mãe achava que, sempre que possível, a gente não devia falar na primeira pessoa. Mas tratar de idéias, de coisas gerais. Por exemplo, discutir política, aspectos filosóficos da vida, e não se preocupar tanto com os acidentes terrenos nossos.
Por que deixou Curitiba?
Não tenho queixa nenhuma da UFPR. Mas a universidade na época não me oferecia as coisas que eu queria. Era difícil trazer professores para a universidade ou obter bolsas para o exterior. A biblioteca era meio limitada e não havia verbas para pesquisas. Então achei mais interessante ir para a USP ou a Unicamp, onde havia condições mais interessantes para trabalhos científicos.
O que acha do ambiente intelectual brasileiro?
Está melhorando, mas ainda está muito atrasado. A USP e Unicamp, na classificação geral das universidades, estão bem longe da primeira, que no momento é Harvard.
Para melhorar, o que é mais urgente?
Para começar, uma reforma completa no ensino secundário. O ensino secundário no Brasil é lamentável. Não há boa universidade sem base. Não é possível. Sem uma formação boa, de amor à ciência, de interesses outros além de futebol, não vão para frente a tecnologia e a ciência brasileira. É claro que na base de tudo isso está a família. O interesse fundamental por certos valores do espírito, na minha opinião, tem que nascer.
O senhor acha que é devidamente reconhecido pela academia brasileira?
De um modo geral, no Brasil, a pessoa que produz em ciência e filosofia é pouco conhecida. Seria desejável que as coisas mudassem. Pouco conhecido não só do "povão", isso é razoável, mas também não se conhece os nossos colegas estão fazendo. Ninguém sabe o que está sendo feito em outras áreas. Quase tudo que é feito de bom é publicado em inglês. Publicar em português, em áreas como matemática, física, química, é perda de tempo. Ninguém lê. Cientificamente, português é uma língua praticamente morta. Nem os espanhóis entendem direito português.
Como o senhor explica a lógica paraconsistente?
A lógica paraconsistente, para ser explicada de uma maneira simples e fácil, é muito difícil. Mas dá para dar uma idéia geral. A lógica padrão, que normalmente se utiliza, não consegue dar conta, de uma maneira sensata, quando há informações contraditórias. Então você precisa de uma lógica especial. Vou dar um exemplo típico do que ocorre. Um sistema especialista, por exemplo, em medicina, é um sistema computacional que recebe milhares de informações de médicos. Os especialistas são entrevistados pelo que a gente chama de engenheiros do conhecimento. Depois essas informações são jogadas no computador, no sistema especialista. É óbvio que essas várias afirmações e suposições dos vários médicos divergem entre si. Um médico quer aplicar num tratamento cardíaco uma determinada técnica. Outro quer outra. No computador, se a gente não usar uma lógica adequada, o sistema colapsa. Uma das alternativas é a lógica paraconsistente. Por outro lado, ela tem também um grande valor filosófico. Ela foi aplicada a diversas áreas, como economia, filosofia e computação
E a Teoria da Quase-verdade, também desenvolvida pelo senhor?
Foi outro caminho que eu procurei abrir. Na física, por exemplo, sistematicamente o físico lança mão de teorias que são incompatíveis entre si. Na base das grandes teorias físicas, por diversas razões, em vez de falar de teorias verdadeiras, prefiro falar de teorias quase-verdadeiras.
O senhor diz que verdade é restrita a certas circunstâncias.
Em parte é. Quando você vai fazer relatividade geral, você deixa de lado forças elétricas, magnéticas, uma série de coisas. Você supõe uma série de restrições, e trata de um caso de certa forma idealizado. Isso é exatamente o que se faz na quase-verdade. É a formulação ri- gorosa do que os filósofos chamam de "salvar as aparências".
Teoria aceita contradições
Ao contrário da lógica clássica, o grande "salto" da Teoria Paraconsistente foi aceitar as contradições. Um dos princípios fundamentais da teoria de Aristóteles, o pai da lógica clássica, é a chamada Lei da Não-contradição: uma afirmação não pode ser verdadeira e falsa ao mesmo tempo. Baseada em complexa fundamentação matemática, a teoria criada por Newton da Costa revolucionou o campo da lógica ao não eliminar a opção entre duas alternativas.
O termo paraconsistente, que literalmente significa "ao lado da consistência", foi uma sugestão dado por um amigo de da Costa, o filósofo peruano Francisco Miró Quesada, em 1976. Hoje, a lógica paraconsistente possui enorme aplicabilidade nas mais diversas áreas, mas principalmente na ciência da computação. No Japão, o sistema que monitora as linhas de trem e metrô é comandado a partir da lógica paraconsistente. Ela também é usada em controle de tráfego aéreo e na tomada de decisões no mercado financeiro.
Outra grande contribuição de da Costa foi a Teoria da Quase-verdade. De acordo com ela, a verdade muitas vezes está restrita a certas circunstâncias. A razão não pode provar a verdade absoluta, afirma o matemático. Um artigo escrito por Adonai Sant´Anna, Décio Krause e Francisco Antônio Doria, publicado na revista Scientific American Brasil, em junho de 2003, explica o que ela quer dizer: "Por exemplo, se observamos astros com pequenos binóculos e fazemos alguns cálculos simples, tudo se passa como se estivéssemos parados e os astros andassem à nossa volta, ou seja, como se a teoria de Ptolomeu (que sustentava ser a Terra o centro do universo) fosse verdadeira. Os resultados assim obtidos podem não 'corresponder à realidade' (...) mas 'salvam as aparências'." (BB)
==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================
Fonte: http://portal.rpc.com.br/gazetadopovo/cadernog/conteudo.phtml?tl=1&id=925881&tit=O-nosso-maior-pensador-vivo
Entrevista com Newton Carneiro Affonso da Costa, matemático e filósofo
Pouca gente sabe, mas Curitiba pariu um dos intelectuais brasileiros mais reconhecidos mundialmente. Newton Carneiro Affonso da Costa, hoje com 80 anos, morador de Florianópolis, revolucionou o campo da lógica ao desenvolver a Teoria Paraconsistente, segundo a qual uma sentença e sua negação podem ser ambas verdadeiras (leia mais ao lado).
Filosofia
Nascido na capital paranaense às vésperas da maior crise econômica de todos os tempos, em 1929, Newton formou-se na Universidade Federal do Paraná em Engenharia e Filosofia. Tornou-se catedrático de Matemática e mais tarde transferiu-se para São Paulo, onde lecionou na Unicamp e na USP. Nesta entrevista, ele fala sobre suas teorias, o ambiente intelectual brasileiro, religião e felicidade.
Como foi a sua formação?
Fui muito influenciado por um tio, Milton Carneiro, também professor da UFPR, que discutia muito filosofia e lia muitos livros comigo. Por outro lado, na minha família, todos se interessavam por política, assuntos atuais, e eu fui tomando conhecimento dessas áreas, inclusive autodidaticamente, e acabei me interessando enormemente pela ciência. Minha mãe achava que, sempre que possível, a gente não devia falar na primeira pessoa. Mas tratar de idéias, de coisas gerais. Por exemplo, discutir política, aspectos filosóficos da vida, e não se preocupar tanto com os acidentes terrenos nossos.
Por que deixou Curitiba?
Não tenho queixa nenhuma da UFPR. Mas a universidade na época não me oferecia as coisas que eu queria. Era difícil trazer professores para a universidade ou obter bolsas para o exterior. A biblioteca era meio limitada e não havia verbas para pesquisas. Então achei mais interessante ir para a USP ou a Unicamp, onde havia condições mais interessantes para trabalhos científicos.
O que acha do ambiente intelectual brasileiro?
Está melhorando, mas ainda está muito atrasado. A USP e Unicamp, na classificação geral das universidades, estão bem longe da primeira, que no momento é Harvard.
Para melhorar, o que é mais urgente?
Para começar, uma reforma completa no ensino secundário. O ensino secundário no Brasil é lamentável. Não há boa universidade sem base. Não é possível. Sem uma formação boa, de amor à ciência, de interesses outros além de futebol, não vão para frente a tecnologia e a ciência brasileira. É claro que na base de tudo isso está a família. O interesse fundamental por certos valores do espírito, na minha opinião, tem que nascer.
O senhor acha que é devidamente reconhecido pela academia brasileira?
De um modo geral, no Brasil, a pessoa que produz em ciência e filosofia é pouco conhecida. Seria desejável que as coisas mudassem. Pouco conhecido não só do "povão", isso é razoável, mas também não se conhece os nossos colegas estão fazendo. Ninguém sabe o que está sendo feito em outras áreas. Quase tudo que é feito de bom é publicado em inglês. Publicar em português, em áreas como matemática, física, química, é perda de tempo. Ninguém lê. Cientificamente, português é uma língua praticamente morta. Nem os espanhóis entendem direito português.
Como o senhor explica a lógica paraconsistente?
A lógica paraconsistente, para ser explicada de uma maneira simples e fácil, é muito difícil. Mas dá para dar uma idéia geral. A lógica padrão, que normalmente se utiliza, não consegue dar conta, de uma maneira sensata, quando há informações contraditórias. Então você precisa de uma lógica especial. Vou dar um exemplo típico do que ocorre. Um sistema especialista, por exemplo, em medicina, é um sistema computacional que recebe milhares de informações de médicos. Os especialistas são entrevistados pelo que a gente chama de engenheiros do conhecimento. Depois essas informações são jogadas no computador, no sistema especialista. É óbvio que essas várias afirmações e suposições dos vários médicos divergem entre si. Um médico quer aplicar num tratamento cardíaco uma determinada técnica. Outro quer outra. No computador, se a gente não usar uma lógica adequada, o sistema colapsa. Uma das alternativas é a lógica paraconsistente. Por outro lado, ela tem também um grande valor filosófico. Ela foi aplicada a diversas áreas, como economia, filosofia e computação
E a Teoria da Quase-verdade, também desenvolvida pelo senhor?
Foi outro caminho que eu procurei abrir. Na física, por exemplo, sistematicamente o físico lança mão de teorias que são incompatíveis entre si. Na base das grandes teorias físicas, por diversas razões, em vez de falar de teorias verdadeiras, prefiro falar de teorias quase-verdadeiras.
O senhor diz que verdade é restrita a certas circunstâncias.
Em parte é. Quando você vai fazer relatividade geral, você deixa de lado forças elétricas, magnéticas, uma série de coisas. Você supõe uma série de restrições, e trata de um caso de certa forma idealizado. Isso é exatamente o que se faz na quase-verdade. É a formulação ri- gorosa do que os filósofos chamam de "salvar as aparências".
Teoria aceita contradições
Ao contrário da lógica clássica, o grande "salto" da Teoria Paraconsistente foi aceitar as contradições. Um dos princípios fundamentais da teoria de Aristóteles, o pai da lógica clássica, é a chamada Lei da Não-contradição: uma afirmação não pode ser verdadeira e falsa ao mesmo tempo. Baseada em complexa fundamentação matemática, a teoria criada por Newton da Costa revolucionou o campo da lógica ao não eliminar a opção entre duas alternativas.
O termo paraconsistente, que literalmente significa "ao lado da consistência", foi uma sugestão dado por um amigo de da Costa, o filósofo peruano Francisco Miró Quesada, em 1976. Hoje, a lógica paraconsistente possui enorme aplicabilidade nas mais diversas áreas, mas principalmente na ciência da computação. No Japão, o sistema que monitora as linhas de trem e metrô é comandado a partir da lógica paraconsistente. Ela também é usada em controle de tráfego aéreo e na tomada de decisões no mercado financeiro.
Outra grande contribuição de da Costa foi a Teoria da Quase-verdade. De acordo com ela, a verdade muitas vezes está restrita a certas circunstâncias. A razão não pode provar a verdade absoluta, afirma o matemático. Um artigo escrito por Adonai Sant´Anna, Décio Krause e Francisco Antônio Doria, publicado na revista Scientific American Brasil, em junho de 2003, explica o que ela quer dizer: "Por exemplo, se observamos astros com pequenos binóculos e fazemos alguns cálculos simples, tudo se passa como se estivéssemos parados e os astros andassem à nossa volta, ou seja, como se a teoria de Ptolomeu (que sustentava ser a Terra o centro do universo) fosse verdadeira. Os resultados assim obtidos podem não 'corresponder à realidade' (...) mas 'salvam as aparências'." (BB)
==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================
quarta-feira, 16 de setembro de 2009
Mostra de Extensão da UTFPR - Campus Curitiba
A Mostra de Extensão da UTFPR é planejada sob o foco da extensão como promotora da educação e cultura na sociedade, por meio de ações, programas e projetos. Tem como objetivo evidenciar as ações de extensão realizadas pelos 11 campi da Universidade, para oportunizar troca de experiências entre representantes de diferentes campi e promover discussão sobre as diretrizes para os projetos de extensão da UTFPR.
Para maiores informações leia o convite para o evento.
Fonte: http://www.gerec.ct.utfpr.edu.br/
Para maiores informações leia o convite para o evento.
Fonte: http://www.gerec.ct.utfpr.edu.
segunda-feira, 14 de setembro de 2009
Cursos Técnicos Gratuitos à Distância na UTFPR
http://www.utfpr.edu.br/materia.php?id=466&tipo=noticias
UTFPR inicia sua participação no programa e-Tec Brasil A UTFPR deu início a sua atuação na Educação Profissional Técnica de Nível Médio a Distância, por meio do programa Escola Técnica Aberta do Brasil (e-Tec Brasil). No final de agosto, começaram as aulas do curso técnico em Informática, no Parque Tecnológico de Itaipu em Foz do Iguaçu, sob coordenação do Campus Medianeira. No mês que vem, serão iniciadas as aulas em mais 10 municípios, envolvendo outros cinco campi da Universidade Tecnológica. Atualmente, está sendo realizada a seleção para as 440 vagas ofertadas. O resultado será divulgado em 21 de setembro e as matrículas deverão ser feitas entre os dias 23 e 25. O curso técnico em Informática também será oferecido pelos polos Cornélio Procópio, para os municípios de Sarandi, Uraí e Figueira; Pato Branco, para os municípios de São Miguel do Iguaçu e Entre Rios do Oeste; e Ponta Grossa, para Curiúva e Balsa Nova. O curso técnico em Meio Ambiente é ofertado pelos polos Campo Mourão, para o município de Engenheiro Beltrão, e Curitiba, para Contenda e Curiúva. A Universidade Tecnológica atua no e-Tec Brasil em parceria com a Secretaria de Estado da Educação (Seed). Os alunos matriculados assistem às aulas em laboratórios de informática em colégios estaduais nos municípios em que moram e o conteúdo é veiculado pelos campi da UTFPR responsáveis pelos cursos. O programa e-Tec Brasil propõe articular instituições públicas federais, estaduais e municipais que oferecem ensino técnico de nível médio interessadas em ofertar seus cursos na modalidade a distância e os governos estaduais e municipais que desejam montar os polos regionais em escolas de ensino fundamental e médio para sediar os cursos de educação técnica e profissional. Mais informações no site do e-Tec Brasil.
    |
Assinar:
Postagens (Atom)
Receba as postagens deste blog por email
