[Logica-l] Fwd: [Sbc-l] CONCURSO PUBLICO - UTFPR

2010-01-21 Por tôpico Adolfo Neto
Favor divulgar. - CONCURSO PÚBLICO para Professor Adjunto (DE): 2 vagas! UTFPR - Universidade Tecnológica Federal do Paraná/ Campus Curitiba DAMAT - Departamento de Matemática 1 vaga: Análise Matemática. 1 vaga: Probabilidade e Estatística/Álgebra Linear. Edital: www.damat.ct.utfpr

[Logica-l] "Por que a maioria das pessoas acha a matemática tão difícil?" vídeo da Glob onews

2010-01-21 Por tôpico Adolfo Neto
p://bit.ly/4UAfGh No início e principalmente no final aborda-se a lógica na linguagem usando exemplo do filme Shrek Terceiro ====== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 331

Re: [Logica-l] Fwd: "Por que a maioria das pessoas acha a matemática tão difícil?" vídeo da Globonews

2010-01-25 Por tôpico Adolfo Neto
a partir >>>> de: >>>> http://www.maa.org/devlin/devlin_03_08.html. >>>> >>>> (Eu nao concordo com tudo o que ele diz sobre educacao matematica, mas a >>>> parte em que ele descreve experiencia matematica, eu acho otima!) >>>&

[Logica-l] Artur tem um problema - Revista Piauí

2010-01-27 Por tôpico Adolfo Neto
nado meses antes, quando Lyubich, a convite de Melo, viera ao Rio participar de uma conferência no Instituto Nacional de Matemática Pura e Aplicada, o Impa. Leia mais em http://bit.ly/9a6oVN ====== Adolfo Neto Departamento Acadêmico de Informática Universidade T

[Logica-l] Explicação do significado da implic ação clássica

2010-01-28 Por tôpico Adolfo Neto
o "se p então q" pode ser feita supondo-se que p é verdade e provando que, a partir daí, q também o é. Normalmente, o predicado p é chamado hipótese (que é o que se supõe ser verdadeiro) e o predicado q é chamado tese (que é o que se quer provar que é verdadeiro). ====

[Logica-l] Charadas lógicas

2010-02-02 Por tôpico Adolfo Neto
- Charada lógica: Cavaleiros e Patifes I : http://bit.ly/dnyGtU []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

[Logica-l] Fwd: [Sbc-l] [Fwd: Postdocs]

2010-02-10 Por tôpico Adolfo Neto
runtime monitors. Guided runtime verification: combine testing and runtime verification. Synthesize and monitor runtime checks in generated code from specifications. Mais informações no link no corpo da mensagem. == Adolfo Neto Departamento Acadêmico de

Re: [Logica-l] rindo numa hora dessas?

2010-02-19 Por tôpico Adolfo Neto
Principle of Explosion: http://xkcd.org/704/ == 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

[Logica-l] bOOleO - Boolean Logic Card Game

2010-02-28 Por tôpico Adolfo Neto
d Dimensions:* 2.5" x 3.5" Mais informação e imagens em http://bit.ly/bymREr == 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.

[Logica-l] Is Life Computable?

2010-03-15 Por tôpico Adolfo Neto
http://twitter.com/srlm/status/10498709915 Chemero + Turvey: Is Life Computable? Rosen´s models of living systems are TURING computable. http://bit.ly/cwHesN #HFC<http://twitter.com/search?q=%23HFC> ====== Adolfo Neto Departamento Acadêmico de Informática Un

[Logica-l] Tabela relacionando lógica-expressivi dade-computabilidade

2010-03-31 Por tôpico Adolfo Neto
c&hl=pt_BR<http://spreadsheets.google.com/ccc?key=0Ah21LTU3quDQdEpqVU4xYTdDZUN0OUp5ZWV4MjVUS3c&hl=pt_BR> incluindo as lógicas mais usadas (em computação, matemática e filosofia)? []s Adolfo ====== Adolfo Neto Departamento Acadêmico de Informática

[Logica-l] Fwd: [Ceia-l] Livro publicado - Advances in Modeling Adaptive and Cognitive Systems

2010-04-28 Por tôpico Adolfo Neto
Acho que pode interessar a alguns desta lista. Obs.: livro disponível gratuitamente na internet. Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http

Re: [Logica-l] Fundamentos da física: uma observa ção radical

2010-05-30 Por tôpico Adolfo Neto
Talvez interesse a alguém da lista (não li): http://twitter.com/srlm/status/15016493608 Quantum theory, presumably the most successful theory in the history of physics, is Possibly Wrong http://bit.ly/cHIvmv Adolfo Neto Web: http

Re: [Logica-l] RES: P ≠ NP?

2010-08-09 Por tôpico Adolfo Neto
1. P Does Not Equal NP: Understanding Vinay Deolalikar's Proof (matéria do AOL): http://bit.ly/akN3tT P != NP (o documento original, em PDF, no site da HP): http://ow.ly/2n1PT Adolfo Neto Web: http://www.dainf.ct.utfpr.e

Re: [Logica-l] Automated Theorem Provers para Lógica s Paraconsistentes

2010-08-12 Por tôpico Adolfo Neto
gos relacionados. Ninguém tinha usado em aplicações concretas. []s Adolfo ==== Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca

Re: [Logica-l] Provador automático de teoremas - ver são web

2010-10-19 Por tôpico Adolfo Neto
vaWebStart/index.jnlp http://www.irit.fr/Lotrec/ http://www.irit.fr/Lotrec/JWS/launch.jnlp Att. Adolfo ======== Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Apli

[Logica-l] Congresso de Matemática e Suas Aplica ções

2010-11-04 Por tôpico Adolfo Neto
w.cwb2010.ufpr.br/Portugues/resumo_palestras/Amy%20Wu.pdf> * * * ==== Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br =

[Logica-l] Ferramentas para o Ensino de Lógica

2010-11-09 Por tôpico Adolfo Neto
Olá, Alguém aqui usa alguma ferramenta para o ensino de lógica? Quais? []s Adolfo Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http

Re: [Logica-l] Ferramentas para o Ensino de Lógica

2010-11-14 Por tôpico Adolfo Neto
Caros, Agradeço a todos que responderam. []s Adolfo Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br

Re: [Logica-l] Filme ou Documentário - Lógica

2010-11-18 Por tôpico Adolfo Neto
ue eles acertam o diagnóstico Não é tão fácil relacionar com a lógica que eu ensino no 1o. semestre. Talvez para alunos mais avançados... []s Adolfo ==== Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/ado

[Logica-l] Mestrado em Computação Aplicada ( PPGCA - UTFPR) - Chamada Final

2010-12-02 Por tôpico Adolfo Neto
-4644* * Fax: (41) 3310-4646* Adolfo Neto Web: http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.

Re: [Logica-l] Fwd: FINAL CFP tools for teaching logic

2010-12-07 Por tôpico Adolfo Neto
> Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.

[Logica-l] Livros sobre a História da Lógica

2011-01-22 Por tôpico Adolfo Neto
Olá, Que livro (ou páginas confiáveis) vocês recomendam sobre a história da lógica? Grato, Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo

Re: [Logica-l] Livros sobre a História da Lógica

2011-02-01 Por tôpico Adolfo Neto
.@gmail.com > www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause> > > *Doctor Bell says we’re connected,* > *He called me on the phone,* > *But if we’re really together baby,* > *How can I feel so all

Re: [Logica-l] RES: Novo Livro: Brazilian Studies....

2011-02-07 Por tôpico Adolfo Neto
t; ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- == Adolfo Neto Assistant Professor - Federal Universit

Re: [Logica-l] Livros sobre a História da Lógica

2011-02-16 Por tôpico Adolfo Neto
gt; moderna". > > Uma linha de discussões nesta direção acabou de ser inaugurada na > lista f.o.m., com algumas respostas interessantes: > http://www.cs.nyu.edu/pipermail/fom/2011-February/015285.html > > Saudações lógicas, > Joao Marcos > > 2011/1/22 Adolfo Ne

[Logica-l] How good is your maths?

2011-02-24 Por tôpico Adolfo Neto
t just to themselves. "Some of [our work on this] has very broad applications in other sciences," says Grötschel. "It's very important that mathematicians are at the forefront of this issue." -- == Adolfo Ne

[Logica-l] [OFF] Fwd: [Sbc-l] Nicolelis e a comissão

2011-03-04 Por tôpico Adolfo Neto
ra - SP. Tel. 16 - 3301 6987 - FAX. 16- 3301 6980 ___ Sbc-l mailing list sb...@sbc.org.br https://grupos.ufrgs.br/mailman/listinfo/sbc-l -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http:

Re: [Logica-l] [OFF] Fwd: [Sbc-l] Nicolelis e a comissão

2011-03-05 Por tôpico Adolfo Neto
o em http://manifestopesq.heroku.com Nosso manifesto deverá ser apresentado ao Ministro de C&T ainda este ano. []s Adolfo 2011/3/5 Francisco Antonio Doria > Esse movimento continua pedindo bolsa pra quem não produz? > > 2011/3/4 Adolfo Neto > >> -- Forwarded message --

Re: [Logica-l] Carnaval dos Logicos no Brasil

2011-03-11 Por tôpico Adolfo Neto
> 54 Benedikt Lowe > 54 Neil Tennant > 53 Diderik Batens > 51 Michael J. Dunn > 50 Raymond Smullyan > 47 Carlos Di Prisco > 47 Kit Fine > 46 Dag Prawitz > 46 Valentin Goranko > 45 Donald A. (Tony) Martin > 40 Per Martin-Lof > 38 Patrick Blackburn > 36 Xavier

Re: [Logica-l] Dois livros

2011-03-19 Por tôpico Adolfo Neto
t; Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.ed

[Logica-l] A "Rigorous" Parser for Classical Propositional Logic

2011-03-28 Por tôpico Adolfo Neto
is não define o conjunto das fórmulas atômicas P... Abraços, Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestr

Re: [Logica-l] cinco velinhas

2011-03-28 Por tôpico Adolfo Neto
p.ufrn.br/~regivan > e-mail: regivan AT DOMAIN=dimap,ufrn,br. > > ** > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > --

[Logica-l] Fwd: [Sbc-l] Life as evolving software - Gregory Chatin no PPGC - INF UFRGS

2011-04-29 Por tôpico Adolfo Neto
us do Vale - Bloco IV Bairro Agronomia Porto Alegre - RS Tel: (51) 3308 7019 ___ Sbc-l mailing list sb...@sbc.org.br https://grupos.ufrgs.br/mailman/listinfo/sbc-l -- ====== Adolfo Neto

[Logica-l] Communications of the ACM de maio

2011-05-02 Por tôpico Adolfo Neto
Library [image: External Link]<http://portal.acm.org/citation.cfm?id=1941487.1941509&coll=portal&dl=ACM> -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr

[Logica-l] CS timeline voting: the results are in!

2011-05-02 Por tôpico Adolfo Neto
S in P: 82 votes 10. Cook-Levin Theorem: 80 votes -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Comp

[Logica-l] [OFF] Fim do ranking de periódicos... Na Austrália

2011-06-07 Por tôpico Adolfo Neto
http://www.theaustralian.com.au/higher-education/end-of-an-era-journal-rankings-dropped/story-e6frgcjx-1226065864847 -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http

[Logica-l] Fwd: [Sbc-l] Lançamento de livro de IA

2011-07-06 Por tôpico Adolfo Neto
//grupos.ufrgs.br/mailman/listinfo/sbc-l -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Ap

Re: [Logica-l] Fwd: Lançamento de livro de IA

2011-07-06 Por tôpico Adolfo Neto
leitura paralela > 9.3.10. Processamento de sentenças > 9.3.11. O futuro > 9.4. Algoritmos conexionistas > 9.4.1. Redes backpropagation > 9.4.2. Redes Recorrentes > 9.5. Redes neurais baseadas em conhecimento > 9.6. Outras redes > 9.6.1. Rede de

Re: [Logica-l] Tese sobre produti vidade x ética

2011-07-29 Por tôpico Adolfo Neto
.br/Detalhe.jsp?id=78553 > > > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > ___ > Logica-l maili

[Logica-l] Periódicos relacionados à Lógica e Computação

2011-08-16 Por tôpico Adolfo Neto
imagojr.com/journalrank.php?category=2609 http://www.scimagojr.com/journalrank.php?category=1702 -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter:

[Logica-l] LSFA 2008 na TCS (Qualis A1)

2011-08-24 Por tôpico Adolfo Neto
Parabéns aos autores e editores! == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http

[Logica-l] JSTOR Makes Early Journal Content Free

2011-09-09 Por tôpico Adolfo Neto
es to systematically download these works as this may be disruptive to our systems." -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://t

[Logica-l] POLYNOMIAL HIERARCHY COLLAPSES, Thousands Feared Tractable by Scott Aaronson

2011-09-13 Por tôpico Adolfo Neto
http://www.scottaaronson.com/writings/phcollapse.pdf == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em

[Logica-l] Open Journals

2011-09-13 Por tôpico Adolfo Neto
Olá, Existe alguma boa revista aberta na área de Lógica? Existe alguma movimentação para criar uma? Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br

Re: [Logica-l] Cisne negro no quadrado - Beirut 2012

2011-09-24 Por tôpico Adolfo Neto
/ ?? == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br

[Logica-l] Tools for Teaching Logic

2011-09-30 Por tôpico Adolfo Neto
cm.es/profesor/rdelvado/TICTTL2011/ não roda... O ASA CALCPRO http://www.asacalcpro.com.br/ também não funciona mais (tentei no WIndows 7 e no Ubuntu 11.04). Alguém conhece alguma ferramenta relativamente amigável que use tablôs marcados para lógica proposcional clássica? []s Adolfo ==

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-06 Por tôpico Adolfo Neto
etária, etc.) mas, como dito acima, isso exige violar os direitos fundamentais de todo mundo (e não apenas dos seus fregueses). As *obras* musicais são economicamente viáveis e atraentes ao público, mais do que nunca. O "problema" é como obrigar as pessoas a continuar pagando para as

Re: [Logica-l] Tools for Teaching Logic

2011-10-08 Por tôpico Adolfo Neto
== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br

[Logica-l] Donald Knuth no SAT 2012

2011-11-02 Por tôpico Adolfo Neto
werp, the Swiss Federal Institute of Technology in Zurich, the University of Bordeaux, the University of Glasgow, and nineteen colleges and universities in America. ====== Adolfo Neto Assistant Professor - Federal University of Techno

Re: [Logica-l] Como lógica pode ajudar a ganhar dinheiro (para quem?)

2011-11-02 Por tôpico Adolfo Neto
. == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br

Re: [Logica-l] The disappearing virtual library (from http://www.aljazeera.com/indepth/opinion/2012/02/2012227143813304790.html), by Christopher M. Kelty

2012-03-02 Por tôpico Adolfo Neto
ing > shot into some publisher's black hole where it will never escape. That is, > until library.nu and its successors make it available. **** > > What these sites represent most clearly is a viable route towards > education and learning for vast numbers of people around the wor

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-16 Por tôpico Adolfo Neto
ications (LoLITA) > Department of Informatics and Applied Mathematics (DIMAp) > UFRN > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mai

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-18 Por tôpico Adolfo Neto
> tal você escrever uma mensagem para eles, Adolfo, pedindo que > confirmem se isto é realmente "o procedimento"? (veja o endereço > eletrônico deles nas mensagens anteriores) É um favor que você faz à > comunidade! > > Abraços, > Joao Marcos > > -- > http://se

Re: [Logica-l] boicote da Elsevier, de novo..

2012-04-24 Por tôpico Adolfo Neto
www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/a

[Logica-l] Indicados ao Comitê Assessor

2012-05-03 Por tôpico Adolfo Neto
Silva - Augusto Cezar Alves Sampaio - Flávio Keidi Miyazawa - Henrique Pacca Loureiro Luna Muito cordialmente, Gerson Cavalheiro -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http

Re: [Logica-l] Artigo

2012-05-12 Por tôpico Adolfo Neto
br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolf

Re: [Logica-l] Artigo

2012-05-12 Por tôpico Adolfo Neto
Tem o artigo também, no Jstor: http://www.jstor.org/discover/10.2307/27757357?uid=1116704&uid=3737664&uid=2129&uid=5909624&uid=2&uid=70&uid=3&uid=20563&uid=67&uid=62&sid=56165613033 http://www.jstor.org/stable/27757357 On Sat, May 12, 2012 at 1:21 PM, A

[Logica-l] Logitext

2012-05-23 Por tôpico Adolfo Neto
://github.com/ezyang/logitext Tem até um tutorial de Cálculo de Sequentes: http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http

[Logica-l] Relação de Consequência Tarskiana

2012-06-12 Por tôpico Adolfo Neto
e.com.br/books/about/Introduction_to_Logic_and_to_the_Methodo.html?hl=pt-BR&id=XoWTzdbZgeYC Adolfo -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrad

Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-12 Por tôpico Adolfo Neto
isas. > > Uma curiosidade interessante é que Tarski era bastante preconceituoso > com a própria ideia de "lógicas não-clássicas" (usualmente baseadas em > relações de consequência "tarskianas"). > > Abraços, > Joao Marcos > > > 2012/6/12 Adolfo Neto :

Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-18 Por tôpico Adolfo Neto
; autor, para que fossem providenciadas correções para a segunda edição. > :-b (Não sei se isto aconteceu.) > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > -- ====== Adolfo Neto Assistant Professor -

Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-19 Por tôpico Adolfo Neto
mantido um > site com errata. > > Abraccos, JM > > On 6/18/12, Adolfo Neto wrote: > > Joao, > > > > Se for o livro que estou pensando, houve segunda edição e continuou > cheio > > de erros. > > > > Quanto ao outro livro do Flavio, Marcel

[Logica-l] Fator de impacto 2011 dos periódicos com Logic no nome

2012-06-30 Por tôpico Adolfo Neto
(CIn-UFPE), que é um dos editores. Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação

Re: [Logica-l] Fator de impacto 2011 dos periódicos com Logic no nome

2012-07-02 Por tôpico Adolfo Neto
gt;> enquanto o do JSL eh 0,562 e o MLQ apenas 0,496. > >>> > >>> Sou membro do Editoral Board do IGP na área de "Algorithms in > >>> Nonclassical, Modal, Temporal and Substructural Logics", mas atuo em > >>> outra areas e fui res

[Logica-l] Fatores de impacto

2012-07-03 Por tôpico Adolfo Neto
/xP6RLD6F/cutf%2D8>Limited. All rights reserved. | Elsevier Website Privacy Policy<http://mail.elsevier-alerts.com/go.asp?/bESJ001/mBDLBD6F/q31DWP4F/uQGOU5OB/xP6RLD6F/cutf%2D8> -- == Adolfo Neto Assistant Professor - Feder

Re: [Logica-l] Fatores de impacto

2012-07-03 Por tôpico Adolfo Neto
aralysis 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.

Re: [Logica-l] Fwd: SBL Divulga: Philosophy and Mathematics of Uncertainty and Vagueness

2012-07-24 Por tôpico Adolfo Neto
___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http:/

Re: [Logica-l] [L&C] H-Index de Conferências

2012-07-26 Por tôpico Adolfo Neto
; > > > Abraços, > > > > Adenilso da Silva Simao > > > > Coordenador do Curso de Bacharelado em Sistemas de Informação > > Departamento de Sistemas de Computacao > > Instituto de Ciencias Matematicas e de Computacao > > Universidade de Sao Paulo > &

Re: [Logica-l] [L&C] H-Index de Conferências

2012-07-30 Por tôpico Adolfo Neto
ar http://maude.sip.ucm.es/lsfa06/ Adolfo 2012/7/29 Joao Marcos > Seria muito bom que alguém fizesse isso, e entrasse em seguida em > contato com os responsáveis pelo SHINE, para que o LSFA não morra (tão > jovem!) como conferência da área de Computação. > > JM > > &g

Re: [Logica-l] Fwd: categories: CTCS available online

2012-08-03 Por tôpico Adolfo Neto
rior moral justification > >> > for selfishness. --J.K. Galbraith > >> > > >> > > >> > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] > >> > > >> > > >> > > >> > -- > >> > Valeria de Paiv

Re: [Logica-l] RES: Fwd: Walter Carnielli: indicação para medalha de ouro

2012-08-03 Por tôpico Adolfo Neto
> > Logica-l@dimap.ufrn.br > > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn

Re: [Logica-l] [L&C] H-Index de Conferências

2012-08-21 Por tôpico Adolfo Neto
ufmg.br/**LSFA2011/LSFA2011/Program.html<http://www.mat.ufmg.br/LSFA2011/LSFA2011/Program.html> >>>>> >>>>> LSFA 2009 está fora do ar: >>>>> http://lsfa09.cic.unb.br/ >>>>> >>>>> LSFA 2008 (o melhor, com PD

[Logica-l] LSFA no SHINE

2012-08-21 Por tôpico Adolfo Neto
O LSFA já apareceu no Shine: http://shine.icomp.ufam.edu.br/results.php?conference=LSFA +-+Workshop+on+Logical+and+Semantic+Frameworks%2C+with+Applications&year1=2001&year2=2012 -- ====== Adolfo Neto Assistant Professor -

Re: [Logica-l] 50o aniversário de E. Hermann Haeusler

2012-09-26 Por tôpico Adolfo Neto
___ > >>>>> Logica-l mailing list > >>>>> Logica-l@dimap.ufrn.br > >>>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >>>>> > >>>> __

Re: [Logica-l] Carnaval de citacoes Googel Scholar

2013-02-15 Por tôpico Adolfo Neto
_ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- == Adolfo Neto Assistant Professor - Federa

Re: [Logica-l] Manifestação do Conselho Superior da Capes sobre a Lei 12772/2012

2013-04-13 Por tôpico Adolfo Neto
aprovada está >>> portanto em sentido contrário aos importantes passos dados na Lei de >>> Inovação. >>> >>> Apelamos para o Ministro Aloizio Mercadante que envide esforços no >>> sentido de reverter essa séria ameaça ao desenvolvimento científico e >>> tecnológico

Re: [Logica-l] Cor e/ou Raca no Lattes

2013-04-13 Por tôpico Adolfo Neto
>>>>>>>> >>>>>>>>>> dados (raciais e de renda familiar) no ato da matrícula que os >>>>>> >>>>>> alunos >>>>>>>>>> >>>>>>>>>> devem fazer todo semestre. O pró-reitor aceitou a solicitação

[Logica-l] Morreu Kenneth Appel

2013-05-01 Por tôpico Adolfo Neto
_r=0 -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.ed

Re: [Logica-l] Logic PhDs = volumes em previsao

2013-07-11 Por tôpico Adolfo Neto
Ótima iniciativa. Vão ser lançados em versão digital? Em caso afirmativo, em formatos mais amigáveis do que o velho PDF? Adolfo Neto Em 11/07/2013 16:02, "jean-yves beziau" escreveu: > Grato Valeria e Joa Marcos pelo apoio > > Gostaria de acrescentar que alem dos 7 volume

Re: [Logica-l] "Profissao" de cientista?

2013-07-30 Por tôpico Adolfo Neto
; > imap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > Links: > -- > [1] > mailto:botoc...@gmail.com > [2] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > [3] > mailto:Logica-l@dimap.ufrn.br > [4] > http://www.dimap.ufrn.br/cgi-bin

Re: [Logica-l] "Profissao" de cientista?

2013-07-31 Por tôpico Adolfo Neto
gt;>>>> ___ >>>>>> Logica-l mailing list >>>>>> Logica-l@dimap.ufrn.br >>>>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>>>> ___

Re: [Logica-l] Regulamentar a “ profissão de cientista”, um paralelo à regulamentação das empregadas domesticas?

2013-07-31 Por tôpico Adolfo Neto
Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli

Re: [Logica-l] "Profissao" de cientista?

2013-08-01 Por tôpico Adolfo Neto
latão? Se ele estiver matando cachorrinhos, cadeia! :) Obviamente a questão é irrelevante para o projeto em questão. 5) E se ele fizer uma descoberta científica de grande importância? será considerada inválida? Também irrelevante. Adolfo Neto Em 01/08/2013 01:45, "Décio Krause&quo

Re: [Logica-l] "Profissao" de cientista?

2013-08-05 Por tôpico Adolfo Neto
gt; > JM > > > > -- > > http://sequiturquodlibet.googlepages.com/ > > > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > ___ &g

Re: [Logica-l] "Profissao" de cientista?

2013-08-05 Por tôpico Adolfo Neto
er feita por pessoas sem diploma. Nada muda quanto a isso. Só não poderá ser contratada com "cientista". Assim como hoje nenhuma pessoa sem diploma pode receber bolsa de MSc/PhD. >> A impressão que tenho é que a Suzana quer se dedicar unica e exclusivamente à pesquisa, e desligar-se

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Adolfo Neto
Se me pagarem a viagem, e um adicional bom, eu vou no lugar dela :) Adolfo Neto Em 05/08/2013 19:24, "Francisco Antonio Doria" escreveu: > Piti de estrela... > > > 2013/8/5 Walter Carnielli > >> Colegas, >> >> muito estranha a reação dessa profes

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Adolfo Neto
uot;vou terminar de fazer minha parte indo ao Congresso semana que vem > alertar os deputados > > e senadores sobre a bomba-relógio que eles têm em mãos, caso os "alunos" > > resolvam fazer uma denúncia no ministério público, ..." > > > > É esse tipo de at

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Adolfo Neto
ot;vou terminar de fazer minha parte indo ao Congresso semana que vem > alertar > > os deputados > > > > e senadores sobre a bomba-relógio que eles têm em mãos, caso os "alunos" > > > > resolvam fazer uma denúncia no ministério público, ..." > &

[Logica-l] (OFF) Pós-doc

2013-08-12 Por tôpico Adolfo Neto
t;? Digo, quase tudo o que leio em inglês associa postdoc a um doutor recém-formado. []s Adolfo -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-13 Por tôpico Adolfo Neto
no vestibular > registrado no Ministério do Trabalho? > > O ponto é esse: profissional é quem consegue uma posição! É como > poeta: não precisa de "deproma", precisa de reconhecimento que não > se adquire através da Consolidaçao das Leis do Trabalho. > > Mas sei que

Re: [Logica-l] Classificacao bolsistas de produtividade do CNPq

2013-08-14 Por tôpico Adolfo Neto
Por mim, a bolsa do jeito que é hoje deveria acabar. Ou, ao menos, medir produtividade (relativamente aos recursos disponíveis) e impacto (citações) e não apenas produção. Adolfo Neto Em 14/08/2013 12:10, "Francisco Miraglia" escreveu: > Caro Jean-Yves, > > Penso que

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-14 Por tôpico Adolfo Neto
Profa. Suzana esteve hoje em Brasília. Não só ela. http://www.suzanaherculanohouzel.com/ Adolfo Neto Em 12/08/2013 15:22, "Adolfo Neto" escreveu: > Olá, > > Só pra concluir, os comentários de vocês me convenceram que existem muitas > facetas deste projeto e algumas (talve

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-19 Por tôpico Adolfo Neto
Ouviu a parte com a Auditora, Décio? Talvez a ilegalidade esteja somente nos bolsistas que trabalham em laboratórios. Adolfo Neto Em 14/08/2013 21:35, "Décio Krause" escreveu: > Puxa, Adolfo, será que você consegue me mostrar o que essa moça pensa > sobre o universo? > De

Re: [Logica-l] Fwd: Terceiro desafio da promoção Sherlock Holmes do Blog IF e da Coquetel

2013-08-21 Por tôpico Adolfo Neto
; sempre foi. Apesar disso, todos os seus amigos o usam, enquanto você mesmo > raramente tem essa chance. Do que estou falando?" > > > Envie sua resposta para ifilosof...@gmail.com. > > > Outras publicações da Coquetel: http://coquetel.uol.com.br/ > > E seu facebook: https://www.facebook.co

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-26 Por tôpico Adolfo Neto
Obrigado. Gostei do texto. É uma boa opção. Adolfo Neto Em 26/08/2013 11:43, "Marcelo Siqueira" escreveu: > Um outro ponto de vista: > > http://www.jornaldaciencia.org.br/Detalhe.jsp?id=88876 > > Marcelo José Siqueira > ==

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-26 Por tôpico Adolfo Neto
Obrigado. Gostei do texto. É uma boa opção. Adolfo Neto Em 26/08/2013 11:43, "Marcelo Siqueira" escreveu: > Um outro ponto de vista: > > http://www.jornaldaciencia.org.br/Detalhe.jsp?id=88876 > > Marcelo José Siqueira > ==

[Logica-l] Fwd: 2 Courses with Full Portuguese Translations!

2013-09-03 Por tôpico Adolfo Neto
ble in Portuguese as well! Happy Learning, *Coursera Team* -- ====== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrad

[Logica-l] Adonai Sant'Anna: O que é um Pesquisador do CNPq?

2013-09-16 Por tôpico Adolfo Neto
http://adonaisantanna.blogspot.com.br/2013/09/o-que-e-um-pesquisador-do-cnpq.html Adolfo Neto ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Adonai Sant'Anna: O que é um Pesquisador do CNPq?

2013-09-17 Por tôpico Adolfo Neto
ema seja ultrapassado, inútil e ridículo. Eu vou me odiar o resto da >> vida. E este não é o caminho que eu quero seguir. >> >> O que fazer então? Eu não sei. Sinceramente, trabalhar em empresas é >> frustrante, na universidade é frustrante... A vida me deixa sem >> escolha

  1   2   3   4   >