Message: 2
Date: Tue, 9 Nov 2010 16:52:01 -0200
From: Adolfo Neto <[email protected]>
Subject: [Logica-l] Ferramentas para o Ensino de Lógica
To: Lista acadêmica brasileira dos profissionais e estudantes da área
       de LOGICA <[email protected]>
Message-ID:
       <[email protected]>
Content-Type: text/plain; charset=windows-1252

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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo>
> Twitter: http://twitter.com/adolfont
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ============================================================

Ainda não o fiz, mas gostaria de utilizar o martelo nos alunos. ; )

William.



Em 10 de novembro de 2010 13:00, <[email protected]> escreveu:

> Enviar submissões para a lista de discussão Logica-l para
>        [email protected]
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>        http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>        [email protected]
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>        [email protected]
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>   1. "Polynomial Ring Calculus for Modal Logics: A New Semantics
>      and Proof Method for Modalities" (Walter Carnielli)
>   2. Ferramentas para o Ensino de Lógica (Adolfo Neto)
>   3. Re: Ferramentas para o Ensino de Lógica
>      (Aracele Garcia de Oliveira)
>   4. Re: IV Seminário dos Alunos do Programa de Pós-Graduação em
>      Lógica e Metafísica da UFRJ (rodrigo cid)
>   5. Consultoria Matemática [solicitando ajuda]
>      (Paulo Henrique Gomes Ferreira)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 9 Nov 2010 15:00:17 -0200
> From: Walter Carnielli <[email protected]>
> Subject: [Logica-l] "Polynomial Ring Calculus for Modal Logics: A New
>        Semantics and Proof Method for Modalities"
> To: [email protected]
> Message-ID:
>        
> <[email protected]<5fm6mto2vkomy%[email protected]>
> >
> Content-Type: text/plain; charset=windows-1252
>
> Caros Colegas:
>
> temos a satisfação de informar que  nosso artigo  que estende  o
> método  de  prova via polinômios para lógicas  modais,
>
> "Polynomial Ring Calculus for Modal Logics: A New Semantics and
> Proof Method for Modalities" (Juan C. Agudelo e  Walter Carnielli)
>
>
> está publicado  online    no site da  Cambridge University Press em:
>
> http://journals.cambridge.org/repo_A788v2t7
>
> A versão impressa  vai aparecer no Review  of Symbolic Logic 4(1),
> de março  de 2011.
>
>
> Abraços,
>
> Walter + Juan Carlos
>
> =============================================
> Polynomial Ring Calculus for Modal Logics: A New Semantics and
> Proof Method for Modalities
>
> Juan C. Agudelo and   Walter Carnielli
>
> Abstract. A new (sound and complete) proof style adequate for
> modal logics is defined from the polynomial ring calculus (PRC).
> The new semantics not only expresses truth conditions of modal
> formulas by means of polynomials, but also permits to perform
> deductions through polynomial handling. This paper also
> investigates relationships among the PRC here defined, the
> algebraic semantics for modal logics, equational logics, the
> Dijkstra?Scholten equational-proof style, and rewriting systems.
> The method proposed is throughly exemplified for S5, and can be
> easily extended to other modal logics.
>
> =============================================
>
> +++++++++++++++++++++++++++++++++++++++++++++++++
> Prof. Dr. Walter Carnielli
> Director
> Centre for 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
> e-mail: [email protected]
> Website: http://www.cle.unicamp.br/prof/carnielli
>
>
> ------------------------------
>
> Message: 2
> Date: Tue, 9 Nov 2010 16:52:01 -0200
> From: Adolfo Neto <[email protected]>
> Subject: [Logica-l] Ferramentas para o Ensino de Lógica
> To: Lista acadêmica brasileira dos profissionais e estudantes da área
>        de LOGICA <[email protected]>
> Message-ID:
>        <[email protected]>
> Content-Type: text/plain; charset=windows-1252
>
> 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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo>
> 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
> >
>
>
> ------------------------------
>
> Message: 3
> Date: Tue, 9 Nov 2010 16:58:28 -0200
> From: Aracele Garcia de Oliveira <[email protected]>
> Subject: Re: [Logica-l] Ferramentas para o Ensino de Lógica
> To: Adolfo Neto <[email protected]>
> Cc: Lista acadêmica brasileira dos profissionais e estudante , s da
>        área de LOGICA <[email protected]>
> Message-ID:
>        <[email protected]>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Oi, Adolfo.
> Por enquanto já utilizei estas: (1º Período - Ciência da Computação -
> Lógica
> Matemática)
>
> *CoTaVeRa 3.1*
> - CoTaVeRa 3.1 - Construtor de Tabelas-Verdade e Ramificações
>  (para Fórmulas e Argumentos da Lógica Clássica Proposicional e de 1ª
> Ordem)
> - Acesso:
>
> http://www.marilia.unesp.br/Home/Instituicao/Docentes/RicardoTassinari/Ramif.htm
>
> Testador de Tautologias
> *
>
> http://comet.lehman.cuny.edu/fitting/tautologytester/tautology/proplogic.html
> *<
> http://comet.lehman.cuny.edu/fitting/tautologytester/tautology/proplogic.html
> >
>
> --
> Att.
>
> Aracele Garcia de Oliveira
>  M.Sc. Computer Science - UFSC
>  Professor at Federal Institute Sul de Minas
>  Muzambinho, MG - Brazil
>  Phone: +55 35 8411-9228
>  Personal Homepage:
> http://www.inf.ufsc.br/~aracele <http://www.inf.ufsc.br/%7Earacele><
> http://www.inf.ufsc.br/%7Earacele>
>  Blog: http://aracele.wordpress.com/
>
>
> Em 9 de novembro de 2010 16:52, Adolfo Neto <[email protected]>
> escreveu:
>
> > 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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo>
> <http://www.dainf.ct.utfpr.edu.br/%7Eadolfo>
> > Twitter: http://twitter.com/adolfont
> > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> > ============================================================
> >
> >
> >
>
>
> ------------------------------
>
> Message: 4
> Date: Tue, 9 Nov 2010 16:13:59 -0200
> From: rodrigo cid <[email protected]>
> Subject: Re: [Logica-l] IV Seminário dos Alunos do Programa de
>        Pós-Graduação em Lógica e Metafísica da UFRJ
> To: Grupo Yahoo PPGLM Grupo Yahoo PPGLM
>        <[email protected]>,   Lista Dadaseyn de Filosofia
>        Lista Dadaseyn de Filosofia     <[email protected]>,  Lista
> de
>        Lógica Lista de Lógica  <[email protected]>
> Message-ID:
>        <[email protected]>
> Content-Type: text/plain; charset=windows-1252
>
> Em 9 de novembro de 2010 16:10, rodrigo cid <[email protected]
> >escreveu:
>
> > 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.
> >
> > ________________________________________
> >
> >
> > 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)
> >
> >
>
>
> ------------------------------
>
> Message: 5
> Date: Wed, 10 Nov 2010 04:37:57 -0800 (PST)
> From: Paulo Henrique Gomes Ferreira <[email protected]>
> Subject: [Logica-l] Consultoria Matemática [solicitando ajuda]
> To: [email protected]
> Message-ID: <[email protected]>
> Content-Type: text/plain; charset=iso-8859-1
>
>
>
>
>
>
> Ola a todos,
> estou precisando ajuda [consultoria matematica], e como sei que muitos de
> voces sao e tem entre seus contatos: matematicos, fisicos, cientistas da
> computacao, pode ser que algum de vossos contatos ou mesmo alunos, de
> graduacao ou pos graduacao se interessem pela oportunidade [].
>
> Preciso desenvolver uma 3a formulinha matematica que ligara a formula de
> geracao de combinacoes por ordem sequencial com a formula de contagem de
> subcombinacoes posicionais na combinacao.
>
> Explicando:
>
> sabendo gerar uma combinacao (usando o numero sequencial combinatorio) sem
> necessidade de gerar nenhuma outra antes ou gerar aleatorio.
> usando o algoritmo descrito no wikipedia:
> http://pt.wikipedia.org/wiki/N%C3%BAmero_sequencial_combinat%C3%B3rio  ou
> outro como o combinadic por exemplo para 10 dezenas,
>
>  n=10;
>  k=5;
>  Index=1;
>  csn=Binomial[n,5]-Index+1;
> c1=If[Binomial[n-1,5]<csn,n-1,
>    If[Binomial[n-2,5]<csn,n-2,
>    If[Binomial[n-3,5]<csn,n-3,
>    If[Binomial[n-4,5]<csn,n-4,
>    If[Binomial[n-5,5]<csn,n-5,
>    4]]]]];
>
> c2=If[Binomial[c1-1,4]<csn-Binomial[c1,5],c1-1,
>    If[Binomial[c1-2,4]<csn-Binomial[c1,5],c1-2,
>    If[Binomial[c1-3,4]<csn-Binomial[c1,5],c1-3,
>    If[Binomial[c1-4,4]<csn-Binomial[c1,5],c1-4,
>    If[Binomial[c1-5,4]<csn-Binomial[c1,5],c1-5,
>    3]]]]];
>
> c3=If[Binomial[c2-1,3]<csn-Binomial[c1,5]-Binomial[c2,4],c2-1,
>    If[Binomial[c2-2,3]<csn-Binomial[c1,5]-Binomial[c2,4],c2-2,
>    If[Binomial[c2-3,3]<csn-Binomial[c1,5]-Binomial[c2,4],c2-3,
>    If[Binomial[c2-4,3]<csn-Binomial[c1,5]-Binomial[c2,4],c2-4,
>    If[Binomial[c2-5,3]<csn-Binomial[c1,5]-Binomial[c2,4],c2-5,
>    2]]]]];
>
>
> c4=If[Binomial[c3-1,2]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3],c3-1,
>
> If[Binomial[c3-2,2]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3],c3-2,
>
> If[Binomial[c3-3,2]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3],c3-3,
>
> If[Binomial[c3-4,2]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3],c3-4,
>
> If[Binomial[c3-5,2]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3],c3-5,
>    1]]]]];
>
> c5=If[Binomial[c4-1,1]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3]-Binomial[c4,2],c4-1,
>
> If[Binomial[c4-2,1]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3]-Binomial[c4,2],c4-2,
>
> If[Binomial[c4-3,1]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3]-Binomial[c4,2],c4-3,
>
> If[Binomial[c4-4,1]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3]-Binomial[c4,2],c4-4,
>
> If[Binomial[c4-5,1]<csn-Binomial[c1,5]-Binomial[c2,4]-Binomial[c3,3]-Binomial[c4,2],c4-5,
>    0]]]]]];
> Index={Index}
> Combinadic={c1,c2,c3,c4,c5}
> Combination={n-c1,n-c2,n-c3,n-c4,n-c5}
>
>
> porem estou tentando amarrar a geracao de acordo com a maior probabilidade
> para subcombinacoes, mas nao gerar aleatoriamente e sim pelo indice, mas
> antes de gerar eh preciso amarrar com a probabilidade posicional.
>
> A formula eh simples e trivial e melhora o tempo de processamento, a ideia
> eh colocar qtd de dezenas nas cartelas de acordo com a distribuicao de
> probabilidade.
>
> supondo preciso saber quantas combinacoes eh possivel construir apartir de
> 60 dezenas em apostas de 6 dezenas (mega-sena) que ocupam as posicoes 1, 3 e
> 6 e usam as dezenas 04-29-56, uma dezena para cada posicao.
>
> seriam combinacoes com este formato:
> 04-xx-29-yy-zz-56
>
> onde xx pode ser qualquer dezena entre 5 e 28, e yy entre 30 e 54 e zz
> entre 29 e 55
>
> usando a formula, o valor calculado dara 7.800 combinações nas 50.063.860
> de combinacoes possiveis.
>
> C=combinacao
> td=total de dezenas = 60
> a=aposta por dezenas = 6
> d3=56
> d2=29
> d1=04
> p3=6
> p2=3
> p1=1
>
> (distribuindo na formula simples e trivial)
>
> Qtd ternos = C(td-d3;a-p3)
> *C(d3-d2-1;p3-p2-1)*C(d2-d1-1;p2-p1-1)*C(d1-1;p1-1)
>                    C(60-56;6-6) *  C(56-29-1;6-3-1) * C(29-04-1;3-1-1) *
> C(04-1;1-1)
>                    C(4;0)          *  C(26;2)             *
> C(24;1)             * C(3;0)
>                      1               *   325             *
> 24           *     1
> Qtd ternos = 7.800
>
>
> as demais formulas para quadras, quinas, senas etc usam a mesma ideia,
>
> Duque= C(td-d2;a-p2)*C(d2-d1-1;p2-p1-1)*C(d1-1;p1-1)
> Terno = C(td-d3;a-p3)*C(d3-d2-1;p3-p2-1)*C(d2-d1-1;p2-p1-1)*C(d1-1;p1-1)
> Quadra =
> C(td-d4;a-p4)*C(d4-d3-1;p4-p3-1)*C(d3-d2-1;p3-p2-1)*C(d2-d1-1;p2-p1-1)*C(d1-1;p1-1)
>
>
>
> calculando isso para cada posicao/subcombinacao pergunto:
>
> Eh possivel construir uma 3a formula matematica usando a probabilidade das
> subcombinacoes dentro da combinacao e amarrar esta nova formula na formula
> de geracao sequencial ??
>
> Bom a consultoria pode ser em varios niveis, desde a resposta como um sim
> ou nao e os fundamentos que se baseiam esta resposta, ou ainda mais
> elaborada como o desenvolvimento desta 3a formula e posterior
> desenvolvimento de software.
>
> Via formula matematica a geracao sai de um aleatorio sequencial e passa a
> gerar amarrando uma nas outras mas e como fica o tempo de geracao das
> cartelas (??).
>
> A ideia que tenho em mente eh gerar combinacoes provaveis vencedoras pois
> coloca cada dezena na posicao de maior probabilidade, especificamente para a
> lotomania, por exemplo qual seria a combinacao de 5 dezenas com maior
> probabilidade nas posicoes
> = 5,9,13,17,19, uma opcao seria usar as dezenas 05-31-57-83-92 que
> contempla 778.688.000.000 (aproximadamente) combinacoes de 100 em 20, ao
> passo que se usar para estas mesmas posicoes as dezenas 5-12-45-78-89 a qtd
> de combinacoes que sao representadas sao em numero de 54.123.520.000 em
> outras palavras, para um cartao de 50 dezenas tomando como base 5 posicoes
> fixas eh possivel organizar as dezenas dentro deste cartao priorizando
> dezenasxposicoes com maiores ocorrencias ??
>
> Sei que muitos dos participantes da lista tem tarefas academicas e
> podem considerar esse questionamento trivial e simples, por isso mesmo peço
> a ajuda especializada dos academico que tiverem um tempinho para olhar este
> pequeno problema.
>
> Quero agradecer antecipadamente todo tipo de ajuda que os participantes da
> lista Logica-I puderem me oferecer,
>
>
> obrigado,
>
> Paulo Henrique
> (estudante 'auto-didata' de analise combinatoria)
> www.sphgf.co.nr
>
>
>
>
>
>
> ------------------------------
>
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
> Fim da Digest Logica-l, volume 57, assunto 7
> ********************************************
>



-- 
Tò ón légetai pollakhôs

Aristóteles
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a