Estou precisando da biografia do Tarski feita por Feferman, alguém tem? Dídimo Matos ________________________ A filosofia é isso, esse jeito de reciclar a lata de lixo dos problemas ... http://didimomatos.zip.net/
From: Adolfo Neto Sent: Tuesday, May 19, 2009 11:45 AM To: Alvaro Augusto (L) Cc: [email protected] Subject: Re: [Logica-l] WolframAlpha Olá, Muito bom! Colocando (A && B) IMPLIES C ele devolve: * a tabela verdade * formas normais * o circuito lógico * diagrama de Venn * a densidade de verdade (não conhecia esse termo) e mais algo relacionado a autômotas celulares que não conheço. []s Adolfo ========================================== 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 ========================================== 2009/5/19 Alvaro Augusto (L) <[email protected]> O projeto WolframAlpha (http://www91.wolframalpha.com), idealizado por Stephen Wolfram, entrou no ar no último fim de semana. O objetivo do projeto é pra lá de ambicioso: computar tudo o que puder ser computado! [ ]s Alvaro Augusto _______________________________________________ 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
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
