Perguntas com a marcação «uncountability»


2
Existe algum trabalho para criar uma Estrutura de Teoria de Número Real / Probabilidade no COQ?
O COQ é um provador de teoremas interativo que usa o cálculo de construções indutivas, ou seja, depende muito de tipos indutivos. Usando isso, estruturas discretas como números naturais, números racionais, gráficos, gramáticas, semânticas etc. são representadas de forma muito concisa. No entanto, como passei a gostar do assistente de …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.