domingo, 29 de junho de 2008

Levantamento de Implementações de Máquinas de Post na Internet

Em pode ser encontrado um levantamento de implementações de Máquinas de Post disponíveis na Internet . As máquinas de Post são um dispositivo computacional abstrato que possui o mesmo poder computacional das Máquinas de Turing ( Este levantamento foi realizado no primeiro semestre de 2008 como trabalho final da disciplina "Teoria da Computação" (TEC) do curso de Ciência da Computação da Universidade do Estado de Santa Catarina (UDESC), campus Joinville.

Os autores do levantamento são os alunos Deividi Rodrigo Santiago da Silva, Guilherme de Sá Gevaerd, Luis Fernando de Mattos Schwindlem e Northonn Tibério, sob a orientação do professor Adolfo Gustavo Serra Seca Neto.

sexta-feira, 27 de junho de 2008

Contributions of Theoretical Computer Science

The success of theoretical computer science is measured both by its impact on practice and by its contribution to the understanding of computation and the limits thereof.

Theoretical computer science has made contributions to many areas. In the 1930's Church, Godel, Kleene, Turing and others developed fundamental models of computation that continue to be relevant. In the 1940's Shannon, von Neumann and Weiner and advanced computer science through the study of circuits and other models of computation. The 1950's and 60's saw development of formal languages as well as models of computation such as the finite-state machine and the pushdown automaton. This work continues to be used in programming and the design and translation of languages today.

Algorithms and data structures is an area that has seen an enormous amount of effort by theoreticians whose impact on practice has been immense. Activity began in this area as early as the 1950's and has grown in importance to the present time. Among its notable achievements are fast and efficient algorithms for sorting, searching and data retrieval, computations on strings and graphs, computational geometry, scientific computation, and constraint and optimization problems.

During the 1960's the foundations of computational complexity were developed. Hierarchies of problems were identified and speed-up and gap theorems established. This area flourished in the 1970's and beyond, in particular, through the identification of the NP-complete, P-complete and PSPACE-complete languages. In the 1970's connections were established between Turing and circuit complexity, thereby spawning a new examination of this topic. Space-time tradeoff studies were also initiated. Research in all of these areas continues today.

The late 1970's saw the emergence of the VLSI model as well as methods of analysis for it. This led to a burst of activity on the part of theoreticians in the 1980's in this area and to the rebirth of computer architecture under the label of VLSI.

The early 1980's saw the introduction of the first models for memory hierarchies and to the development of I/O complexity as an important area of research. Several different models capturing various aspects of memory hierarchies emerged and research in this area is now leading to a redesign of I/O systems.

Public key cryptography emerged in the mid to late 1970's and has spawned a flood of interesting ideas having to do with secure communication and interactive and zero-knowledge proof systems. Today systems based on some of these ideas are used to provide security for purchases over the Internet.

Beginning in the late 1970's, theoretical research on parallelism has resulted in new parallel computer architectures and new paradigms for programming parallel machines that have been offered in products. We have learned that even the ``simple'' PRAM parallel machine model is very difficult to program efficiently. New algorithms have had to be invented for old problems because old ones could not exploit parallelism. Through theoretical studies we have come to better understand why some problems are much more difficult to program in parallel than others. Since computers will become increasingly parallel as we approach the limits of performance of serial VLSI-based computers, the impact of research in this area will continue to grow.

The formal study of the semantics of programming languages, an area that became active in the 1960's, has led to a much better understanding of programming constructs, thereby guiding the design of successors to pioneering languages, such as LISP, Prolog, and Simula, that were invented to simplify the design and maintenance of complex applications. The study of programming language semantics also provides a fundamental tool for the development of static analysis and program transformations, two key steps in compiler optimization.

The formal study program verification techniques also began in the late 1960's. It has also had an important impact on programming language design. Recent results in model checking show high promise for a significant industrial impact.

Relational database theory emerged in the early 1970's and, together with many advances in data structures, optimization methods and other contributions, has had a major impact on practice. Today relational database are commonplace commercial products that are widely used throughout the world.

The often subtle behavior of concurrent and distributed systems, which became and active area of research on the late 1960's and early 1970's, has benefited immensely from formal modeling and analysis. Models of concurrent systems have been introduced and tools to understand concurrency applied. Transactions processing, which involves issues of serializability, locking, logging, timestamping, replication and orphan handling, have also been subjected to modeling and analysis, thereby insuring correct handling of these issues. The same is true of I/O which depends on the correct and efficient implementation of data structures used in this context. All of this work has a direct impact on practice.

Learning theory, which saw a burst of activity on the part of theoretical computer scientists in the 1980's, has led to new and deeper understanding of the problems for which active and passive learning is possible, thereby serving as a guide for the intelligent use of computers.

Computational biology and the human genome project have benefited from the algorithm design and complexity analysis that theoretical computer scientists have brought to them. This work will continue to be important in the future.

Approximation algorithms for hard computational problems have long been sought. The development of a theory of polynomially checkable proofs provides a major improvement in our understanding of the degree to which NP-complete problems are approximable. This knowledge will serve as an important guide in the search for good approximation algorithms.


quinta-feira, 26 de junho de 2008

Implementação de Tablôs Analíticos em Prolog (versão SWI 5.6.55)

% Autor: Adolfo Neto % Data: 24/6/2008 % Implementação de Tablôs Analíticos prova_e_mostra_resultado(Suposicoes,Objetivo,Resultado):- geraFormulasAssinaladas(Suposicoes, Objetivo, Tablo), tenta_provar_inicio(Tablo,Resultado), ! . %Definição dos operadores :-op(510, fx, [~]). :-op(520,xfy, [/\]). :-op(530,xfy, [\/]). :-op(540,xfy, [->]). :-op(550,xfy, [?]). % se o tablô estiver fechado, encerra aqui esta_fechado(Tablo):- fechado(Tablo),!. esta_fechado(_):- fail,!. tenta_provar_inicio(Tablo,Resultado):- aplicaAlphasRemovendoDuplicatas(Tablo,Tablo2), tenta_provar(Tablo2,Resultado),!. tenta_provar(Tablo,'FECHADO'):- esta_fechado(Tablo),!. tenta_provar(Tablo,Resultado):- aplicaBeta(Tablo,Tablo_B1,Tablo_B2,'SIM'), tenta_provar_inicio(Tablo_B1, 'FECHADO'), tenta_provar_inicio(Tablo_B2, Resultado), ! . tenta_provar(_,'ABERTO'):-!. aplicaAlphasRemovendoDuplicatas(Tablo,Tablo2):- aplicaTodasAsAlphas(Tablo,Tablo2B), list_to_set(Tablo2B,Tablo2). fechado(Tablo):-member(t(X),Tablo),member(f(X),Tablo). geraFormulasAssinaladas([],O,[f(O)]). geraFormulasAssinaladas([C|R],O,[t(C)|X]):- geraFormulasAssinaladas(R,O,X). aplicaAlphas([],[]). aplicaAlphas([C|R],X):- aplicaRegraAlpha(C,X1), aplicaAlphas(R,X2), append(X1,X2,X). aplicaTodasAsAlphas(Tablo1,Tablo2):- aplicaAlphas(Tablo1,X), (not(listas_iguais(X,Tablo1)) -> aplicaTodasAsAlphas(X,Tablo2) ; Tablo2 = X ) . listas_iguais(X,Y):-subset(X,Y),subset(Y,X). aplicaRegraAlpha(t(A/\B), [t(A),t(B)]). aplicaRegraAlpha(f(A\/B), [f(A),f(B)]). aplicaRegraAlpha(f(A->B), [t(A),f(B)]). aplicaRegraAlpha( f(~A), [t(A)] ). aplicaRegraAlpha( t(~A), [f(A)] ). aplicaRegraAlpha(X, [X]). aplicaBeta([],[],[],'NAO'):-fail. aplicaBeta([C|R],X,Y,'SIM'):- aplicaRegraBeta(C,B1,B2) -> append([B1],R,X), append([B2],R,Y) . aplicaBeta([C|R],X,Y,Z):- aplicaBeta(R,X1,Y1,Z) -> append([C],X1,X), append([C],Y1,Y) . aplicaRegraBeta(f(A/\B), f(A), f(B)). aplicaRegraBeta(t(A\/B), t(A), t(B)). aplicaRegraBeta(t(A->B), f(A), t(B)). % Exemplos básicos - Resultado esperado %prova_e_mostra_resultado([a,a->b],b,X). % FECHADO %prova_e_mostra_resultado([a,a->b],a,X). % FECHADO % Exemplos retirados do livro de Da Silva et al %prova_e_mostra_resultado([],(p/\(~p)),X). % ABERTO %prova_e_mostra_resultado([],(p\/(~p)),X). %p.52 []?(p\/(~p)). - FECHADO %prova_e_mostra_resultado([p->q,q->r],(p->r),X). %p.52 [p->q,q->r]?(p->r). - FECHADO %prova_e_mostra_resultado([p,(p/\q)->r],r,X).%p.53 [p,(p/\q)->r]?r. - ABERTO %prova_e_mostra_resultado([p\/q,p->r,q->(r\/s)],r,X).%pp.53-54 [p\/q,p->r,q->(r\/s)]?r. - ABERTO %prova_e_mostra_resultado([p\/q,p->r,q->r],r,X).%p.55 FECHADO %prova_e_mostra_resultado([(~q)->(~p)],p->q,X). %p.55 2.10 (a) FECHADO % Exemplo mais difícil: PHP_3 (FECHADO) %prova_e_mostra_resultado([],(((p00\/p01\/p02)/\(p10\/p11\/p12)/\(p20\/p21\/p22)/\(p30\/p31\/p32))->((p00/\p10)\/(p00/\p20)\/(p00/\p30)\/(p10/\p20)\/(p10/\p30)\/(p20/\p30)\/(p01/\p11)\/(p01/\p21)\/(p01/\p31)\/(p11/\p21)\/(p11/\p31)\/(p21/\p31)\/(p02/\p12)\/(p02/\p22)\/(p02/\p32)\/(p12/\p22)\/(p12/\p32)\/(p22/\p32))),X).

Coca na Mídia

Um trabalho orientado por um dos professores (Claudio Sá) do Grupo Coca da UDESC ( ) foi notícia num jornal de Joinville nesta semana...

terça-feira, 24 de junho de 2008



  • Problemas decidíveis - o que é? dê exemplos de linguagens/problemas decidíveis.
  • Problemas indecidíveis - o que é? dê exemplos de linguagens/problemas indecidíveis.
  • Método da diagonalização - o que é? como funciona?
  • O qué a cardinalidade de conjuntos? O que são conjuntos contáveis? O que são conjuntos incontáveis? Dê exemplos.
  • Problema da parada - é indecidível? como se prova? qual a importância deste resultado?O que é (ou como se define) linguagem "co-Turing-reconhecível"?

Complexidade de Algoritmos:

  • O que significa "análise do pior caso"?
  • O que significa "análise do caso médio"?
  • O que é considerado o "tempo de execução" (ou "complexidade de tempo") de um algoritmo/MT?
  • O que é a classe P?
  • Porque a classe P é relevante de um ponto de vista prático?
  • O que é verificabilidade polinomial?
  • Quando se pode afirmar que uma linguagem está em NP?

segunda-feira, 23 de junho de 2008

Lançamento do livro digital "Um Modelo de Processo de Seleção de Componentes de Software"

---------- Forwarded message ----------
From: Antonio Maria <tonio em>
Date: 2008/6/20
Subject: [Sbc-l] Lançamento de livro

Prezados amigos,

"É com grande satisfação que levamos ao conhecimento de todos o lançamento
do Livro Digital "Um Modelo de Processo de Seleção de Componentes de
Software" de autoria dos profs(a). Ana Rubélia Mendes de Lima Resende, Adilson
Marques da Cunha e Antonio Maria Pereira de Resende.

Este  livro é fruto da parceria entre o Instituto Tecnológico de
Aeronáutica - ITA e a Universidade Federal de Lavras - UFLA e sua distribuição é gratuita,
bastando acessar o link: 

escolha no menu -> livros digitais

ou pelo site 
escolha no menu -> publicações  -> livros

Este livro compõe o primeiro Volume da "Série Didática de Engenharia de
Software" e estamos enveredando esforços para que muitos outros sejam
lançados, propiciando retornos ainda maiores destas instituições à

Solicitamos ajuda dos coordenadores de cursos de graduação e pós-graduação
na divulgação do livro em suas instituições, podendo realizar gravação
de CD para disponibilizá-lo na biblioteca de suas respectivas instituições.

Profa. Ana Rubélia Mendes de Lima
Prof. Adilson Marques da Cunha
Prof. Antônio  Maria Pereira de Resende

sexta-feira, 20 de junho de 2008

Quem é Newton da Costa?

Pesquisa FAPESP - Edição 148 - Junho 2008 Entrevista > Paixão e contradição Matemático Newton da Costa, criador da lógica paraconsistente, tem três livros reeditados Neldson Marcolin

O matemático e lógico Newton da Costa compartilha com outros pesquisadores a mesma paixão pelo que fazem. Com freqüência, se emociona ao falar de assuntos que parecem estranhos àqueles alheios a sua paixão. Alguns geólogos sentem ternura por pedras que contam histórias de outras eras e entomólogos têm grande carinho por insetos repugnantes. Costa vê beleza em cálculos intrincados, problemas sem solução e teorias que, de tão abstratas, só são entendidas por um número pequeno de pessoas. Newton Carneiro Affonso da Costa, paranaense nascido em Curitiba há 78 anos, casado, pai de uma filha e dois filhos e avô de duas netas, talvez tenha mais motivos que os demais pesquisadores para se entusiasmar ao falar do próprio trabalho. Ele é reconhecido no Brasil e exterior – provavelmente mais no exterior – como autor de uma teoria original criada a partir de 1958, mas muito citada e aplicada de 1976 para frente, quando finalmente ganhou o nome pelo qual ficou conhecida, a lógica paraconsistente. Trata-se de uma teoria que permite trabalhar com situações e opiniões contraditórias. Não à toa, é chamado pelos discípulos e colaboradores de “pensador da contradição”. Costa formou-se engenheiro na Universidade Federal do Paraná (UFPR) em 1952 e chegou a trabalhar por 1 ano no ramo, na empreiteira do pai de sua mulher. Mas parou de resistir à própria vocação e cursou matemática, fez licenciatura na mesma área e virou professor e pesquisador em tempo integral na UFPR, ganhando menos da metade do que ganhava na empreiteira. Lá fez seu doutorado e virou catedrático. Nos anos 1960 migrou para o Instituto de Matemática e Estatística da Universidade de São Paulo (IME/USP) e ficou 2 anos na Universidade Estadual de Campinas (Unicamp). Nos dois lugares foi professor titular. Passou por instituições da Austrália, França, Estados Unidos, Polônia, Itália, Argentina, México e Peru como professor visitante ou pesquisador. Tem mais de 200 trabalhos publicados entre artigos, capítulos e livros. Entre outros prêmios, ganhou o Moinho Santista e o Jabuti em Ciências Exatas. Na segunda quinzena deste mês, a editora Hucitec vai relançar três de seus livros esgotados há muitos anos. São eles: Introdução aos fundamentos da matemática, de 1961, Ensaio sobre os fundamentos da lógica, de 1979, e Lógica indutiva e probabilidade, de 1990. Quando se aposentou do IME/USP, Newton da Costa tornou-se professor titular da Faculdade de Filosofia, Ciências Humanas e Letras da USP e passou a estudar e ensinar filosofia da ciência. Há 4 anos decidiu morar perto dos dois filhos em Florianópolis e lecionar filosofia na Universidade Federal de Santa Catarina (UFSC). Sua paixão pela pesquisa e ensino continua intacta. Quando fui entrevistá-lo em seu apartamento no centro de Florianópolis, ele entregou um artigo sobre lógica, escrito especialmente para a revista. No final desta entrevista, o leitor poderá ler o artigo. Newton da Costa prefere escrever à mão e admite ter grande aversão em lidar com computadores. O que torna ainda mais curioso um dos seus últimos trabalhos, ainda não publicado. O título é How to build a hypercomputer (Como construir um supercomputador) e trata de uma investigação sobre os limites da teoria da computação. Abaixo, os principais trechos da entrevista. O senhor se formou em engenharia, fez carreira na matemática e terminou na filosofia. Como foi isso? Quando eu tinha uns 15 anos, mais ou menos, dois acontecimentos foram fundamentais para mim. Primeiro, ler o Discurso do método, de Descartes, que se tornou minha bíblia. Em segundo lugar, a convivência com meu tio Milton Carneiro, professor da Universidade Federal do Paraná. Nós discutíamos muito sobre filosofia e ciência. Ele me deu dois livros que nunca mais saíram da minha cabeça, O sentido da nova lógica, de W.O. Quine, de 1944, publicado naquela época no Brasil, e Logique, de L. Liard, um livro de lógica absolutamente clássico, embora tenha uma parte sobre metodologia científica. Pode-se dizer então que seu maior trabalho, sobre a lógica paraconsistente, começou a brotar naqueles momentos? Acho que custou um pouco ainda. As conversas com o meu tio e ler Descartes obviamente ajudaram. Meu problema central sempre foi pensar sistematicamente o que é o conhecimento. Especialmente o que é o conhecimento científico. Até hoje penso nisso. Então percebi perfeitamente que teria que estudar lógica, matemática e alguma ciência, como física. Pouco tempo depois comecei a ler Bertrand Russell por sugestão da minha mãe. Russell motiva qualquer um a estudar questões desse tipo. Foi quando notei que precisava conhecer também as aplicações da matemática, não só matemática. Por isso, estudar engenharia seria interessante. Mas precisava, especialmente, conhecer matemática melhor. E cursei matemática. Finalmente percebi que tudo isso, no fundo, tem a ver com filosofia – que, aliás, é o que eu mais gostava mesmo. Mais do que a matemática? Ah, muito mais. A matemática e a lógica são para mim instrumentos para entender o que é o conhecimento científico. O que vai levar, depois, ao que é o conhecimento em geral e se há conhecimento metafísico. Daí a necessidade de me embrenhar na filosofia. Ainda não cheguei à metafísica porque preciso compreender direito o conhecimento científico. Eu gostaria de entrar na lógica paraconsistente. Como o senhor a explicaria para alguém que não entende nem de lógica nem de matemática? Em 1874, um matemático russo chamado Georg Cantor criou a teoria dos conjuntos. Em pouco tempo se viu que toda a matemática padrão poderia ser construída sobre a teoria dos conjuntos e ela se tornou essencialmente a base da matemática. Convém observar, no entanto, que a noção de conjunto é algo extremamente abstrato e não se confunde com o sistema de objetos ou totalidades da vida cotidiana. Mas cerca de 30 anos depois começaram a surgir paradoxos nessa teoria. O paradoxo de Russell, o paradoxo de Burali-Forti e vários outros, que não convém explicar aqui porque levaria muito tempo. Essas questões se tornaram um problema filosoficamente incrível: como eram possíveis paradoxos na matemática e na lógica tradicionais, até então o exemplo mais perfeito de conhecimento? Aquilo era aterrador, completamente estranho, ninguém conseguia explicar, causou um rebuliço. Essa foi considerada a terceira grande crise da história da matemática. A primeira foi com os pitagóricos, quando descobriram os números irracionais. A segunda foi com o cálculo diferencial e integral, que era uma área completamente sem fundamento lógico, mas também foi superada. E, finalmente, a terceira grande crise foi a cantoriana, quando se descobriu que a teoria dos conjuntos era inconsistente e contraditória, não se sustentava. Tentou-se então resolver a questão mantendo a lógica clássica e imaginando quais as modificações que poderíamos fazer na teoria dos conjuntos para superar os paradoxos. A lógica clássica é essencialmente a lógica que nasceu com Aristóteles e teve sua formulação atual por Gottlob Frege e Russell por volta de 1870 e 1914, respectivamente. O problema da contradição é absolutamente fundamental para a lógica clássica, que não a admite.

A idéia era corrigir a teoria dos conjuntos sem destruí-la ou abandoná-la? Era isso. Em meio a esses estudos e análises surgiu algo interessantíssimo. Ficou claro que havia caminhos alternativos para superar essas dificuldades, que não eram equivalentes entre si. Ou seja, havia várias teorias de conjuntos possíveis baseadas na lógica clássica. A idéia básica quando se começou a estudar essas questões era manter a lógica clássica nas soluções usuais desses paradoxos e mudar os princípios da teoria ingênua dos conjuntos. Baseado numa frase do próprio Cantor – “A essência da matemática radica na sua completa liberdade” –, pensei, “Por que não fazer o contrário?”. Eu quero manter o máximo possível dos princípios da teoria dos conjuntos, mas mudar a lógica subjacente clássica. O que isso quer dizer? Significa que essa lógica tem de suportar contradição. Na lógica clássica, a razão básica de ela não aceitar a contradição, do ponto de vista técnico, é que a mais simples contradição numa teoria a destrói, porque tudo vira teorema. Era preciso mudar e eu comecei a construir várias lógicas. Demonstrei que existem infinitas lógicas que satisfazem essas condições e que existem infinitas teorias dos conjuntos correspondentes. Comecei a desenvolver e aplicar a lógica em outras coisas. Mas, na verdade, a saída, o pontapé inicial, foi um ponto puramente matemático relativo aos fundamentos da teoria dos conjuntos da obra cantoriana. Não o acusaram de destruir a lógica clássica? Todo mundo já disse isso, especialmente no começo, quando apresentava minha teoria por aqui. É uma das coisas que mais me deixam amolado. Por quê? Eu seria um idiota se achasse que a lógica clássica está errada. O que acredito é que ela tem um domínio de aplicações, mas, em certas circunstâncias, não se aplica. Vou dar só um exemplo: a teoria geral da relatividade e a mecânica quântica são duas das teorias mais assombrosas que apareceram na história da cultura até hoje – pelas aplicações, pela precisão das medidas, por tudo enfim. É uma loucura o que elas explicam. Por exemplo, mecânica quântica explica o laser, o maser, a estrutura química... No entanto, essas duas teorias, se você olhar bem de perto, são logicamente incompatíveis. Só tem uma maneira de juntar as duas e os físicos fazem isso com freqüência, embora não saibam como isso se faz, do ponto de vista lógico. Quer dizer, eles juntam as duas teorias naturalmente para resolver problemas que surgem, sem saber que estão usando uma lógica diferente? Exatamente. Essa lógica é a lógica paraconsistente. No momento estou trabalhando nisso, esclarecendo que a lógica da física tem de ser uma lógica paraconsistente. Ela é localmente clássica, mas globalmente paraconsistente. A física atual, que trabalha com uma combinação de teorias incompatíveis, só é possível porque existe a lógica paraconsistente. Por exemplo, a teoria do plasma tem muitas aplicações e envolve três outras teorias: a mecânica clássica, o eletromagnetismo e a quantização. Duas a duas, elas são contraditórias. No entanto, são usadas. Todo o estudo que faço no momento utiliza a teoria quântica de campo, a mecânica quântica, a relatividade e outras, para sistematizar a ciência. Essa é uma das tarefas do filósofo da ciência, sistematizar diversas ciências e compará-las. Não há solução se não fizermos isso com uma lógica diferente da lógica tradicional. Não nos dias de hoje. E quanto às aplicações da lógica paraconsistente? Durante uns 30 anos desenvolvi a lógica paraconsistente do ponto de vista puramente abstrato. Interessado apenas na beleza matemática que ela implica. Qual não foi minha surpresa quando comecei a receber do exterior, principalmente dos Estados Unidos, informações sobre aplicações em economia, na computação, em robótica, nos sistemas especialistas... No Brasil, o grupo de Jair Abe, da Universidade Paulista (Unip), tem obtido resultados muito interes­san­tes em inteligência artificial. Recente­mente um amigo japonês, Kazumi Na­ka­matsu, esteve comigo e mostrou as aplicações de certo tipo de lógica paraconsistente para o controle de tráfego de trens, no Japão. Nada mais prático do que isso. Já se sabe que se pode usar a lógica paraconsistente no controle do tráfego aéreo também. Quando se tem muitos aviões que não podem aterrissar, por exemplo, por mau tempo, o controlador de vôo recebe e manda informações. Elas nunca são exatas porque não se sabe exatamente a qual altura o avião está. A altura sempre tem um pequeno erro. Logo, deve ser corretamente interpretada pelo computador do controlador para evitar acidentes. A lógica paraconsistente é uma das maneiras pensadas para resolver o problema. A lógica paraconsistente é, então, uma teoria que aceita e acomoda situações contraditórias? Situações e opiniões contraditórias. Hoje há centenas de pessoas que se dedicam à lógica paraconsistente no mundo inteiro. Alguns são fundamentalistas. Acham que é a única lógica verdadeira e a lógica clássica não passa de besteira. Um dos meus melhores amigos, que foi professor na Universidade Nacional da Austrália e esteve várias vezes no Brasil, professor Richard Routley, todos os dias pela manhã quando me encontrava lá em Canberra ou mesmo em São Paulo, me saudava dizendo, “A lógica clássica está acabada”. Eu dizia sempre que não, as duas têm seu campo. A lógica clássica é a mãe da lógica paraconsistente.

Poderia ser usada também em outros campos, como na psicanálise? Segundo vários psicanalistas, especialmente os lacanianos, ela tem uma aplicação enorme nessa área. Já existe uma literatura grande na psicanálise sobre isso. A repercussão da lógica paraconsis­tente parece não ter arrefecido após tantos anos. Isso é algo inacreditável para mim até hoje. Pensava nisso quando era muito jovem, em 1949, 1950, meus primeiros trabalhos começaram em 1958, mas só comecei a publicar na França em 1963. Até que, lá por meados dos anos 1970, escrevi uma carta para um grande amigo, o filósofo da ciência Francisco Miró Quesada, ex-ministro da Educação no Peru. Pedi a ele, “Preciso de um nome para essa minha lógica”. Quesada foi um dos primeiros a defender a teoria pelo mundo afora, quando era embaixador. Ele me sugeriu “paraconsistente”, “ultraconsistente” ou “metaconsistente”. Escolhi paraconsistente. Depois que comecei a escrever com esse nome, não se passou 1 ano e todo o mundo da lógica começou a falar de lógica paraconsistente. Da França à ex-União Soviética, dos Estados Unidos ao Japão surgiram artigos citando de alguma forma a lógica paraconsistente. Essa é uma daquelas coisas muito difíceis de acontecer outra vez. Quesada passou a brincar dizendo, “Newton, na verdade o criador da lógica paraconsistente fui eu, porque uma coisa só existe depois que tem nome. Está na Bíblia, ‘No começo foi o verbo...’”. O que o atraiu exatamente na palavra paraconsistente? “Para” quer dizer “ao lado”. Eu nunca quis destruir a lógica clássica. É “ao lado de”, “complemento de”. Assim como a relatividade geral não destruiu a mecânica newtoniana. Nem a mecânica quântica acabou com a mecânica newtoniana. E elas não existem sem a mecânica newtoniana. Qual era o nome da lógica antes de ser batizada pelo Quesada? Teoria dos sistemas formais inconsistentes. Comprido demais. As muitas aplicações de sua teoria fez o senhor ganhar algum dinheiro com ela? Viajei muito, conheci o mundo inteiro e nunca despendi um tostão. Agora ganhar dinheiro mesmo não. Teoria não tem patente. Mas quando chegava à ex-União Soviética, por exemplo, eu tinha um automóvel com motorista à disposição, um intérprete, um quebra-galho para tudo. Aos 78 anos o senhor parece seguir mantendo suas atividades de pesquisa com vigor. Fazer o que faço é um prazer tão grande que sou capaz de pagar para continuar fazendo. O dia em que não puder estudar o que gosto, dar minhas aulas, é melhor morrer mesmo. Aliás, contam que para Einstein parecia que a diferença entre estar vivo e estar morto era que enquanto ele estava vivo tinha certeza de que podia fazer física. Depois de morto não sabia se dava para fazer. Por que saiu da UFPR? Jamais quis sair do Paraná. Minha família toda é de lá e eu estava bem na UFPR. Mas gostaria de montar um grupo de lógica e fundamentos da ciência. Aos poucos, porém, cheguei à conclusão de que isso era inexeqüível lá, nos anos 1950 e 1960, por mais que eu me esforçasse. Qual a razão? Acho que, com exceção da USP, nenhuma outra universidade dava condições para se fazer um trabalho de nível internacional em lógica e matemática no Brasil. Convidar professores estrangeiros, passar temporadas no exterior, mandar jovens para estudar em outros países. Eu me tornei catedrático na UFPR, mas, por mais boa vontade que tivessem comigo, eu me sentia patinando, sem sair do lugar. Foi para a USP, mas passou primeiro pela Unicamp, não é? Rapidamente. Tenho uma relação muito grande com a Unicamp. Quando fui professor do IME era permitido acumular por 2 anos tempo integral na USP e tempo parcial na Unicamp, desde que fosse bem justificado. Fiquei nos dois lugares e, surpreendentemente, consegui formar um grupo muito maior de pesquisa na Unicamp. Posteriormente doei minha biblioteca e arquivos para o Centro de Lógica, Epistemologia e História da Ciência da Unicamp. O senhor é um daqueles cientistas que consideram matemática e física mais difíceis de entender do que as demais ciências? Não sei se são mais difíceis. Sei que para alguns trabalhos nessas duas áreas é preciso ter um grande senso de abstração, principalmente em física-matemática e física teórica. É preciso dizer que há um sentido de beleza nessas teorias. Edgar Allan Poe dizia, “A beleza é aquilo que resiste à familiaridade”. Quanto mais voltamos a ela, mais somos atraídos a voltar. E sempre que voltamos percebemos coisas novas. A música de Bach é eterna porque se pode ouvir milhões de vezes sem cansar. Sempre veremos um aspecto novo nela. Se ouvirmos uma música comum qualquer ela não desperta novas idéias, basta repetir três ou quatro vezes e ela não oferece nada a mais. Já Bach, Beethoven, Brahms jamais cansam. Um artigo de matemática trivial você lê e não se interessa mais. Agora, a um bom artigo podemos voltar dezenas, centenas de vezes. Sempre tem mais uma coisinha, mais uma idéia, mais um aspecto que não percebemos antes. Sempre digo aos meus alunos que a matemática tem uma suprema beleza exatamente por isso. Mesmo em obras como a de Isaac Newton, em que ninguém mais vai estudar mecânica, nem astronomia pelos princípios já muito conhecidos e, algumas vezes, superados, isso ocorre. Mas se voltarmos lá e entrarmos nos detalhes da obra vai ver que lá não tem fim. É uma sinfonia à la Bach. E, veja, não importa o tamanho da obra. O doutorado do matemático americano John Nash, Prêmio Nobel de Economia, tinha cinco páginas. É genial. Eu andava com cópias na minha pasta para distribuir aos alunos e mostrar que tamanho não significa nada. Se Nash tivesse escrito essa tese na USP, não teria sido aprovado porque hoje parece que exigem pelo menos cem páginas.

Como vê o baixo nível do ensino e aprendizagem de matemática no Brasil? É uma barbaridade. Convivi com o ensino secundário dos Estados Unidos, na escola pública de Berkeley. Lá existe o que eles chamam de honour courses, cursos de honra. Os alunos que querem fazer cursos técnicos, como mecânica de automóveis, têm um mínimo de aulas de inglês, história etc. Depois, se quiserem, podem completar os créditos com os outros cursos. Mas os honour courses só fazem aqueles que querem ir para a universidade. São turmas pequenas, de 10, 12 alunos, com professores em tempo integral. O ensino envolve cálculo diferencial, cálculo integral, computação, geometria analítica... A pessoa entra de livre e espontânea vontade e se compromete a não ter nota baixa. Se não acompanhar, sai. Depois que acaba o curso, bastam duas cartas de recomendação dos professores para entrar na universidade. Se o aluno for bom nesses cursos, já está na universidade. Por várias vezes sugeri fazer algo semelhante aqui, mas sempre me dizem que não é democrático, que é elitista... O senhor é contra essa espécie de cobrança social que há no Brasil para todos cursarem universidade, mesmo os que não têm nenhuma vontade ou vocação? Nivelar todos é impossível. Não dá. Os honour courses e os demais cursos disponíveis são um jeito de contemplar todos os interessados. Faz quem quer. Vi lá, também em Berkeley, um ótimo curso de mecânica de automóveis. Os alunos pegavam um automóvel e o desmontavam inteiro, parafuso por parafuso, para depois reconstruí-lo sem deixar nenhuma peça sobrando. O estudante sai entendendo de carro, vira um excelente mecânico e pode ser tão feliz no trabalho quanto alguém que passa a vida estudando algo muito teórico e abstrato. Havia um encanador no campus da Universidade da Califórnia, quando trabalhei lá, tão competente e eficiente que ganhava mais do que um dos meus colegas mais brilhantes, o professor polonês Alfred Tarski, um grande lógico e o melhor salário do departamento. Gostaria que falasse sobre filosofia da ciência. Como é o conceito quase verdade ou verdade parcial? Acho que a ciência hoje não é algo que procura retratar o real. Quando uma proposição quer refletir o real como ele é, isso se chama teoria da correspondência da verdade. Quer dizer, o pensamento corresponde à verdade. Eu acho que a ciência não é assim, ela reflete apenas em parte o real. Ela é uma quase verdade. A mecânica quântica funciona por quê? Porque ela diz que, em certas circunstâncias, se eu apertar um parafuso, obtenho certo resultado. As grandes proposições, as grandes teorias, tudo se passa no Universo como se isso fosse verdade. Formalizei essa noção de verdade – é uma generalização da noção clássica de verdade. Ela é uma generalização da definição clássica de verdade de Tarski. Esse lógico deu uma definição notável para se poder tratar da noção de verdade em matemática, que é onde funciona. Quando se trata de física, é preciso de algo mais elástico. Propus para isso o conceito de quase verdade ou verdade parcial. Mas acho que minha concepção de verdade, rigorosamente, que é matemática, reflete mais ou menos as idéias de Charles Sanders Peirce [1839-1914], um dos maiores filósofos de todos os tempos. E acho que as grandes teorias, como a teoria quântica de campo, a mecânica quântica, a mecânica clássica de Newton, todas elas são quase verdadeiras, por exemplo. É comum dizerem que a relatividade desbancou a mecânica newtoniana. Isso é falso. Um avião ou uma ponte, por exemplo, são calculados pela mecânica newtoniana. E a mecânica quântica e a relatividade precisam da mecânica newtoniana. Senão, não funcionam. Como algo falso é usado em ciência? Exatamente porque, embora seja falso, é quase verdadeiro entre certos limites. Porque ela funciona para algumas coisas em algumas situações. Exatamente, tudo se passa em certas circunstâncias como se ela fosse verdadeira. É o “como se”. E isso é expresso matematicamente. Matematicamente. Sistematizei a teoria da ciência atual na quase verdade. Todas as grandes teorias físicas não são verdadeiras ipsis litteris, são quase verdadeiras. Se compararmos exatamente a relatividade com a realidade, há divergências. E, mesmo que ela refletisse exatamente a realidade, como é que saberíamos que ela reflete? Não dá para comparar teoria com realidade, estritamente falando. De quando é essa sua teoria? Da década de 1980, já faz algum tem­­­po. E, note o seguinte, para a mesma teo­ria quase verdadeira há infinitas outras teorias quase verdadeiras, posso provar isso. E essas infinitas teorias quase verdadeiras são incompatíveis entre si. Então, a lógica da quase verdade é uma lógica paraconsistente. Para terminar, o que é o conhecimento científico? Penso que conhecimento científico é uma crença quase verdadeira e justificada. Essa é minha versão da concepção clássica de conhecimento que remonta a Platão. Nesta, o conhecimento deveria ser verdade estritamente falando; o que fiz foi substituir verdade por quase verdade. Sobre a lógica paraconsistente

A lógica clássica, bem como várias outras lógicas, não é apropriada para a manipulação de sistemas de premissas ou de teorias que encerram contradições (nas quais sem a proposição e sua negação são ambas teoremas da teoria ou conseqüências dos sistemas de premissas). Porém, nas ciências figuram contradições que são difíceis ou impossíveis de ser eliminadas (o que ocorre, por exemplo, em física, onde a teoria da relatividade geral e a mecânica quântica são logicamente incompatíveis, em direito, onde os códices jurídicos sempre apresentam inconsistências etc.). Por isso, tornou-se imperativo que se criassem lógicas que pudessem “suportar” contradições: tal é essa essência da paraconsistência. Em geral, uma lógica paraconsistente não implica que a clássica está errada, mas a generaliza. A lógica paraconsistente engloba a lógica fuzzy e tem encontrado as mais variadas aplicações, tanto teórica como prática. Em especial, ela inspirou uma nova filosofia da ciência e estendeu o campo da razão.


Por Newton da Costa

A lógica, segundo a tradição, nasceu com Aristóteles (384-322 a.C). Pouco evoluiu no curso da história até os séculos XIX e XX, quando sofreu uma transformação extraordinária, dando origem, por assim dizer, a uma nova ciência.

A lógica era a disciplina das inferências válidas, das deduções. Porém, hoje, ela é uma ciência matemática, absolutamente não trivial, como tinha sido até o século XIX. O estudo das inferências válidas constitui, apenas, uma das possíveis aplicações da lógica. Ela encerra atualmente temas tais como lógica algébrica, teoria de modelos, teoria da recursão, lógicas probabilísticas, forcing, fundamentos da teoria de conjuntos e de categorias, forking, lógicas não clássicas, máquinas de Turing e teoria das valorações. Ela está intimamente correlacionada com a matemática e tem contribuído para a solução de problemas abertos em matemática.

Por outro lado, sua influência na cultura em geral é extraordinária. Os teoremas de incompletude de Gödel, por exemplo, contribuíram para a melhor compreensão do poder da matemática e da própria razão, evidenciando que um tema técnico e difícil de lógica pode ter conseqüências filosóficas de relevo. Os trabalhos de computação teórica, ramo muito rico da teoria lógica da recursão, devidos ao lógico Turing, governam toda a informática atual, com enorme influência em ciência, tanto pura como aplicada, e em filosofia da matemática e da ciência em geral.

A lógica encontrou aplicações as mais variadas: em filosofia, ciência e tecnologia. Deixando-se de lado as aplicações à filosofia (definição de verdade de Tarski, axiomatigação de aspectos da ética, fundamentação de sistemas metafísicos, etc.), à ciência (reformulação da lógica da inferência indutiva, lógica quântica, etc.), mencionaremos algumas tecnologias de uma lógica não-clássica, a lógica paraconsistente: em controle de tráfico de trens, em controle de tráfego aéreo, em finanças e economia, em inteligência artificial e em teoria da decisão.

Sobre a lógica paraconsistente

A lógica clássica, bem como várias outras lógicas, não é apropriada para a manipulação de sistemas de premissas ou de teorias que encerram contradições (nas quais uma proposição e sua negação são ambas teoremas da teoria ou conseqüências dos sistemas de premissas). Porém, nas ciências figuram contradições que são difíceis ou impossíveis de serem eliminadas (o que ocorre, por exemplo, em física, onde a teoria da relatividade geral e a mecânica quântica são logicamente incompatíveis, em direito, onde os códices jurídicos sempre apresentam inconsistências, etc.). Por isso, tornou-se imperativo que se criassem lógicas que pudessem “suportar” contradições: tal é essa essência da paraconsistência. Em geral, uma lógica paraconsistente não implica que a clássica está errada, mas a generaliza. A lógica paraconsistente engloba a lógica fuzzy e tem encontrado as mais variadas aplicações, tanto teórica como práticas. Em especial, ela inspirou uma nova filosofia da ciência e estendeu o campo da razão.


quarta-feira, 18 de junho de 2008

Quer aprender Prolog?

Prolog e Programação em Lógica

Material sobre Prolog na Página do COCA

Apostila Prolog UFCG
Livro de Prolog - Prof. Eloi Favero
Lógica para Computação, Celso Kaestner
Programação em Lógica - Lucilia Figueiredo
Aula sobre Prolog
Programação Declarativa
Lógica - Implementando algoritmos lógicos PROLOG(swi Prolog) - v.0.1
Prolog Aplicações Avançadas
Prolog Tutorials
Prolog Guide - Prolog in Examples
Prolog Guide - Prolog in Examples
Guide to Prolog Programming

Sobre Testes de Unidades em Prolog (Prolog Unit Tests)

Como instalar o SWI-Prolog 5.6.55com Unit Tests no Ubuntu 8.04
    Executar os comandos abaixo:
sudo apt-get install alien
        sudo alien -d pl-5.6.55-322.i586.rpm
        sudo apt-get install swi-prolog
        sudo apt-get remove swi-prolog
        sudo dpkg -i pl_5.6.55-322_i386.deb

Atualização em 27/06/2015:
Links quebrados:

Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - Prof. Claudio Sá - EM HTML
Tutorial de Prolog ``Programming in Logic'' (Programando em Lógica)
Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - - Prof. Claudio Sá - EM PDF

Como baixar o SWI Prolog

Entre neste site:

Vá até esta página:

Para Windows XP, pode clicar direto neste link aqui:

terça-feira, 17 de junho de 2008

Modelagem Ágil e DDD - Curitiba

Um curso que parece ser interessante:

Aprenda a modelar software de forma orientada ao negócio e utilizando técnicas de modelagem ágil, neste workshop focado em práticas e dinâmicas. Saia Planejando, Modelando e Desenvolvendo Softwares com Produtividade.

Alguns dos tópicos abordados:

  • O que é Domain Driven Design
  • Criando uma Ubiquitous Language
  • Documentação e o DDD
  • Introdução ao Model Driven Design
  • Arquitetura em Camadas (Layered Architecture)
  • Domain Objects
  • Supple Design
  • Refactoring segundo DDD
  • Design Estratégico (Strategic Design)
  • Engenharia de requisitos com Scrum, XP e FDD
  • O que é Modelagem Ágil
  • Como e quando usar as técnicas de MA
  • Documentação Ágil
  • Explorando a visão arquitetural
  • M3-Modelagem Baseada em Mapas Mentais
  • UML em Cores
  • Uso de prototipação
  • Agile Draw
Para mais informações: acesse o site do curso.

segunda-feira, 16 de junho de 2008

Palestra "Resolvendo o Cubo de Rubik"

Resolvendo o Cubo de Rubik (Cubo Mágico)
      por Ilton Ancelmo Pereira Junior

          Data: 20/06 (6a. feira)
             Hora: 10:00 hrs.
               Sala: F-212

Promoção: Grupo de Computação Cognitiva Aplicada


 Claudio Cesar de Sá
 Phone: +55 0XX(47) 431 7287
 Fax: +55 0XX(47) 473 0034
 E-mail: claudio at   Skype: claudio_cesar_sa
 Grupo de Computação Cognitiva Aplicada - COCA
 Página do livro de Haskell:
 Grupo Colméia - Linux

Esta mensagem foi verificada pelo sistema de antivírus e
acredita-se estar livre de perigo.

Prof. Adolfo Neto
Departamento de Ciência da Computação
Universidade do Estado de Santa Catarina
Joinville - SC - Brazil
Grupo de Computação Cognitiva Aplicada -COCA

quinta-feira, 12 de junho de 2008

Inscrições abertas para a I Ultra Maratona How To de Software Livre!

A I Ultra Maratona How To de Software Livre nasceu das iniciativas da
TecnoHall informática, gestora desde 2001 do Centro de Treinamento
Uniriotec, e da Clavis Segurança da Informação, empresa especializada
em soluções e treinamento de segurança da informação.

Serão ministrados 20 tutoriais, com carga horária de 4 horas cada,
durante os dois dias de evento. Ministrado por membros atuantes da
comunidade de software livre, os tutoriais da I Ultra Maratona How To
de Software Livre terão enfoque técnico e objetivo, visando o
aprimoramento do conhecimento dos inscritos e o fortalecimento do
software livre na Cidade e no Estado do Rio de Janeiro.

O evento acontecerá nos dias 19 e 20 de julho de 2008 (sábado e
domingo) na Universidade Federal do Estado do Rio de janeiro (Unirio).
A I Ultra Maratona How To de Software Livre visa agregar conhecimento
técnico aos profissionais das áreas de segurança computacional, redes
de computadores, desenvolvimento de softwares, banco de dados, suporte
à servidores e sistemas computacionais, designer gráfico, além de
interessados nas áreas de computação e software livre em geral.

Os tutoriais serão ministrados no Centro de Treinamento UNIRIOTEC,
localizado na Universidade Federal do Estado do Rio de Janeiro
(UNIRIO) - Av. Pasteur, 458 - térreo - Prédio da Escola de Informática
Aplicada - URCA.

Informações sobre ementa, instrutores, preços,  inscrições e outros
favor acessar

Para quaisquer esclarecimentos envie email para:  ou no tel: (21) 3209-1412

quarta-feira, 11 de junho de 2008

10 profissões em que se inicia a carreira ganhando mais de 50 mil dólares...

Matéria no site do Yahoo: "10 profissões em que se inicia a carreira ganhando mais de 50 mil dólares..."

As profissões 3 e 8 são relacionadas à computação. Traduzo abaixo a descrição da profissão 8.

8. Engenheiro de Software. Engenheiros de software projetam, escrevem e testam programas para computadores. Redes de computadores e tecnologia da informação são áreas "quentes" que vieram para ficar.
Salário inicial típico: 56.795 dólares.

Abaixo vai o original.


10 Hot Jobs That Start at $50K+
by Cherie Berkley,

You may be the new kid on the job block, but that doesn't mean your salary has to start low on the totem pole. The Salary Survey identified an array of exciting jobs that pay a total compensation close to or above an impressive $50,000 per year right from the start.

Here is a list of 10 hot professions that show you the money.

1. Investment Banking Analyst. If you are good with numbers and solving real-world problems, this job pays handsomely in the early years and has strong long-term earning potential.
Typical Starting Salary: $59,084

2. Business Analyst, Computer Software. Data mining is a new and hot field with strong career potential. Normally used by financial institutions such as banks, data miners sort through vast amounts of information that help companies make the best use of the information in their data warehouses. Master's degrees in computer science, physics, or statistics are usually required.
Typical Starting Salary: $50,727

3. Forensic Computer Analyst. Computer forensics is the analysis of information contained within and created with computer systems and computing devices. These analysts investigate causes of computer meltdowns, who has misused a computer system, or how someone committed a crime. These professionals are quite popular in white-collar criminal investigations.
Typical Starting Salary: $51,852

4. Junior Associate Attorney. The financial scales of justice certainly tip toward the side of the average attorney. And just after five years experience the average salary jumps to $89,210. Depending on the field of specialty, the long-term earning potential is almost limitless. Big-shot lawyers like former Sen. John Edwards (malpractice) and celebrity criminal defense attorney Mark Gerago have cleaned up millions in their careers.
Typical Starting Salary: $52,678

5. Physical Therapist. If anatomy is your thing, physical therapy may be your path to greener pastures. PTs can even specialize in areas such as hand or back therapy to boost their marketability -- and salary potential.
Typical Starting Salary: $52,573

6. Nurse Practitioner (ARNP). Nursing opportunities never seem to go out of style, and neither does demand in this area. If a doctor cannot squeeze you in for an appointment, chances are there is a nurse practitioner standing by in his place. While nurse practitioners don't command the big bucks that physicians do, their services certainly don't come cheap.
Typical Starting Salary: $67,166

7. Electrical Engineer. It is easy to do the math on how marketable engineers are. Companies dig deep to lure young electrical engineers and other subspecialties across the board. Electrical engineers focus on using electricity to transmit energy. shows that experienced electrical engineers earn an average of $81,078.
Typical Starting Salary: $54,401

8. Software Engineer. Software engineers design, write, and test computer programs. Computer networking and information technology are hot fields that are here to stay.
Typical Starting Salary: $56,795

9. Pharmaceutical Sales Representative. You don't have to be a physician or even science major to make big bucks in medicine. Just about anyone with a college degree and a killer personality can be trained in pharmaceutical sales. These professionals make sales calls to doctors' offices hoping to convince the doctors to prescribe the latest drugs made by the pharmaceutical company they represent. Seasoned pros can make six-figure salaries in this field.
Typical Starting Salary: $51,104

10. Veterinarian. Do you love animals? Veterinarians can combine a passion for their warm, furry friends with great earning power. With growing animal research and interest in pet care, veterinarian medicine is bound to be a popular profession for years to come.
Typical Starting Salary: $59,084

No matter what your skill, passion, or personality, the job market offers numerous professions that also have above-average starting salaries. Just keep your eyes open and reach for the green.

sexta-feira, 6 de junho de 2008

Curso de Oratória com Lena Souza

Olá pessoal, Esta aviso é meio em cima da hora pois fiquei sabendo hoje... Vai ter um curso de oratória na Univille, ministrado pela Lena Souza. Começa amanhã (7 de junho) e vai até 12 de julho (na verdade são apenas 4 sábados, das 8 às 12h). Eu não conheço pessoalmente a Lena Souza (fiz curso de oratória em Maceió com o Carlos Conce) mas pelo que li no site ela é muito boa. Maiores informações na Univille, pelos telefones (47) 3461-9042 e 3461-9139. E também pelo email

Abelhas na UDESC/Univille

Tem bastante abelha aqui na UDESC. Motivado por este fato, um dos grupos de pesquisa daqui do DCC-UDESC se chama Colméia. Tem dias em que há várias abelhas no RU da UDESC (o RU, na verdade, é uma lanchonete que serve almoço - a um preço bem convidativo: R$ 3,50 - buffet livre). Certa vez eu estava lá tomando um refrigerante diet (Acquarius Fresh) e uma abelha entrou na garrafa PET do refrigerante. Fui almoçar hoje no restaurante da Univille (Mr. Abass). Apesar de ser um local mais fechado, também tem abelhas. As abelhas ficavam bebendo gotas do suco Post Mix no bico do dispensador...

Oportunidade para graduados, mestres e doutores (Java)

---------- Forwarded message ----------
From: Renato Bulcão <renato.bulcao at>
Date: 2008/6/6
Subject: [Sbc-l] Oportunidade para graduados, mestres e doutores

*            Favor divulgar amplamente          *
* Desculpem-nos pelos emails duplicados *

A Innolution Sistemas de Informática Ltda. é uma empresa de pesquisa e desenvolvimento (P&D) de software sediada na SUPERA (Incubadora de Empresas de Base Tecnológica) de Ribeirão Preto/SP.

A Innolution está oferecendo vagas para graduados e pesquisadores mestres e doutores para participarem de projetos de P&D com foco em Informática Biomédica.

A empresa está selecionando candidatos com os seguintes perfis:
* Perfil 1 *
- Mestre/Doutor com especialidade em Multimídia
- Experiência comprovada em captura, armazenamento, sincronização, recuperação e/ou apresentação de áudio e vídeo
* Perfil 2 *
- Mestre/Doutor com especialidade em Interação Usuário-Computador
- Experiência comprovada em projeto de interfaces para ambientes desktop, Web e/ou móvel
* Perfil 3 *
- Mestre com especialidade em Segurança Computacional
- Experiência comprovada em autenticação, auditoria e/ou certificação digital
* Perfil 4 *
- Mestre com especialidade em Processamento de Imagens
- Experiência comprovada em recuperação de imagens por conteúdo
* Perfil 5 *
- Graduado em Ciência da Computação ou áreas afins (inclusive Informática Biomédica)
- Experiência comprovada em projeto e desenvolvimento de sistemas orientados a objetos
* Perfil 6 *
- Graduado em Ciência da Computação ou áreas afins
- Experiência comprovada em gerenciamento de projetos de software

Para todos os perfis acima, o candidato deverá ter experiência comprovada em desenvolvimento na linguagem Java e disponibilidade para trabalhar 40 horas semanais.

* Local de trabalho *
Av. Tenente Catão Roxo, 2501 - Hemocentro/SUPERA - Bairro Monte Alegre, CEP 14051-140 - Ribeirão Preto/SP

Renato de Freitas Bulcão Neto, Dr.
Innolution Sistemas de Informática
Ribeirão Preto-SP - (16) 2101-9306

quinta-feira, 5 de junho de 2008

O Banco do Google

São Paulo, 03

de junho de 2008


Conheça hoje o banco que está ajudando os blogueiros brasileiros a ganhar mais dinheiro do AdSense do Google.

Manoel Fernandes


quarta-feira, 4 de junho de 2008

30 Bolsas CNPq para Residencia em Software

CIn e C.E.S.A.R abrem inscrições para turma de Residência em Software*

/Os interessados devem enviar currículo e histórico escolar até dia 11
de junho/

O Centro de Informática (CIn)-UFPE e o C.E.S.A.R. (Centro de Estudos e
Sistemas Avançados do Recife), em parceria com a Motorola, abrem as
inscrições para a turma de Residência em Software. O programa, que foi
aprovado recentemente pelo CNPq, oferece capacitação na área de
Engenharia de Software, com especialização em testes.

Alunos concluintes (último ano de curso) ou graduados nos cursos de
Ciência da Computação, Engenharia da Computação, Engenharia Elétrica ou
Engenharia Eletrônica das Universidades de todo Brasil podem participar
do processo seletivo. No âmbito da UFPE, os alunos receberão um
certificado na modalidade de Curso Seqüencial de Formação Complementar.

Os interessados devem enviar currículo e histórico escolar para <> (opcionalmente o
histórico poderá ser enviado por fax para o número 81 3134-5901), até o
dia 11 de junho de 2008. O resultado será divulgado no dia 20 de junho
de 2008. Serão selecionados 30 alunos, com bolsas de estudos do CNPq no
valor de R$ 1.045,89 mensais, e o curso ocorrerá durante o período de 1º
de julho de 2008 a 31 de março de 2009.

Este curso faz parte do Programa de Imersão Tecnológica, e tem como
objetivo principal incentivar a formação de recursos humanos com alto
grau de especialização em testes de software embarcado e aplicações em
computação móvel. O foco de atuação desta turma será o planejamento,
projeto, execução e automação de vários tipos de testes, realizados em
aplicações para celulares. Para isto, o curso oferece várias disciplinas
que cobrem conceitos básicos e avançados de Engenharia de Software (com
ênfase em testes). O conhecimento adquirido será vivenciado,
paralelamente, em laboratório, através de atividades de estágio.

Para maiores informações sobre o curso, acessar o site do CIn
( <>).

Notas da Primeira Prova de TEC - 2008.1 - UDESC

Receba as postagens deste blog por email