Olá, Adolfo: No nosso curso (http://labdist.dimap.ufrn.br/atutor/bounce.php?course=27) aqui na UFRN temos usado diversas ferramentas nos últimos anos (http://labdist.dimap.ufrn.br/atutor/content.php?cid=133), dentre as quais:
(1) J∀P∃ http://labdist.dimap.ufrn.br/atutor/content.php?cid=145 (2) ProofWeb http://www.lolita.dimap.ufrn.br/proofweb/ http://www.lolita.dimap.ufrn.br/proofweb/tutorial-video.htm (3) Mundo de Tarski http://labdist.dimap.ufrn.br/atutor/content.php?cid=146 Ambas as ferramentas (1) e (2) foram personalizadas para o uso ótimo dos nossos alunos, de acordo com os exercícios e o material sobre dedução natural disponíveis a partir de: http://labdist.dimap.ufrn.br/atutor/content.php?cid=136 http://labdist.dimap.ufrn.br/atutor/content.php?cid=140 Temos trabalhado agora no desenvolvimento do Ambiente Virtual de Aprendizagem *Logicamente*: http://www.lolita.dimap.ufrn.br/logicamente/ Abraços, Joao Marcos 2010/11/9 Adolfo Neto <[email protected]>: > 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://www.ppgca.ct.utfpr.edu.br > ============================================================ > > > 2010/11/6 rodrigo cid <[email protected]> > >> Apresentação >> >> O Seminário dos Alunos do PPGLM foi criado em 2007 e terá, neste ano, sua >> quarta edição. >> >> O objetivo de nosso seminário é proporcionar um espaço onde estudantes de >> pós-graduação em filosofia possam divulgar e discutir detalhadamente suas >> pesquisas. Visando a isso, e tendo em mente que debates são um aspecto >> fundamental da atividade filosófica, oferecemos um tempo razoável de >> apresentação para os participantes e dedicamos igual parcela de tempo para >> a >> discussão de seus trabalhos. Desse modo, cada apresentação dura até 30 >> minutos, seguidos de 30 minutos de discussão. >> >> Além disso, sempre solicitamos aos participantes que enviem textos >> integrais >> relativos a suas comunicações no ato da inscrição, para que todos os >> interessados possam ter acesso aos textos antes das apresentações. Com >> isso, >> esperamos fomentar ainda mais os debates que se seguem a cada apresentação, >> tornando possível que todos formulem objeções, comentários e sugestões a >> partir nao só da comunicação oral, como da leitura prévia do texto. >> >> _________________________________________________ >> >> *Convocatória* >> >> * >> * >> >> *IV Seminário dos alunos do Programa de Pós-graduação em Lógica e >> Metafísica >> da UFRJ* >> >> ** >> >> Os alunos do PPGLM/UFRJ convidam os estudantes de pós-graduação a >> participar >> de seu quarto seminário. Os interessados deverão enviar resumo e texto >> integral relativo à apresentação para o seguinte e-mail: >> [email protected]< >> http://br.f606.mail.yahoo.com/ym/[email protected]> >> até >> o dia 15 de outubro. O texto deve ter, no máximo, 10 páginas e obedecer à >> seguinte formatação: fonte Times New Roman, corpo 12, espaço entre linhas >> 1,5 e margens 2,5 cm; o respectivo resumo deve conter até 300 palavras. Os >> trabalhos enviados serão submetidos à avaliação do corpo docente do >> programa. >> >> O evento será realizado na segunda semana de novembro, entre os dias 10 e >> 12. >> >> Cordialmente, >> >> Alunos do PPGLM >> >> ___________ >> Novembro/2010 >> >> *Quarta-feira ( 10/11 ) >> * >> >> *9h*: Conferência de Abertura: Atribuições de crenças nocionalmente >> sensíveis – Ernesto Perini-Santos (UFMG) >> >> *10h*: Observações introdutórias sobre os paradoxos de sorites e o fenômeno >> da vagueza na linguagem natural – Eduardo Dayrell (UFMG) >> >> *11h*: Sentidos e Proposições como Propriedades – Martin Motloch (PUC –RJ) >> >> *14h*: Nominalismo das classes – Rodrigo Figueiredo (PPGLM – UFRJ)** >> >> *15h*: A legitimidade do recurso à luz natural nas Meditações, de Descartes >> – Márcio Zaboti (UFPR) >> >> *16h*: O conhecimento dedutivo em Descartes – Monique Guedes (USP) >> >> *17h*: Falsidade material e realidade objetiva – Otávio Kajevski (UFPR) >> >> *Quinta-feira ( 11/11 ) >> * >> >> *9h*: Algumas considerações sobre Gyges da Lídia – Luiz Maurício Menezes >> (PPGLM – UFRJ) >> >> *10h*: A crítica ontológica às artes miméticas no livro X da República de >> Platão – Guilherme Cecílio (PPGLM – UFRJ) >> >> *11h*: A educação do desejo segundo Aristóteles – Juliana Aggio (USP) >> >> *14h*: Conferência: A distinção da tomada de decisão jurídica – Noel >> Struchiner (PUC – RJ) >> >> *15h*: Sobre um critério de identidade de sentidos em Frege – Eduardo Pitt >> (UFMG) >> >> *16h*: A extensão filosófica do conceito dualista de acaso – Ana Maria >> Moreira da Silva (PUC – RJ) >> >> *17h*: Formalizando as intuições sobre o sentido da vida – Rodrigo Cid >> (PPGLM – UFRJ) >> >> *Sexta-feira ( 12/11 ) >> * >> >> *9h*: Montaigne – cético ou fideísta? – Edgard Zanette (UNIOESTE) >> >> *10h*: O problema do conceito de liberdade na Etica de Spinoza – Débora >> Gomes (UFRGS) >> >> *11h*: Erro e verdade na quarta meditação de Descartes – Renata Ramos (PUC >> – >> RJ) >> >> *14h*: Apontamentos para um estudo da teoria tomista da intencionalidade – >> Markos Klemz (UERJ) >> >> *15h*: Espécie inteligível e identidade formal em Tomás de Aquino – Mário >> Carvalho (PPGLM – UFRJ) >> >> *16h*: Entendimento e sensibilidade no §26 da Dedução B de Kant – Danillo >> Leite (PPGLM – UFRJ)______________________________________ >> >> *Local do Evento:* >> >> * >> * >> >> Instituto de Filosofia e Ciências Sociais (IFCS) >> >> Largo São Francisco de Paulo, nº 1, sala 320-B. >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
