Preguntas de automatizado-teorema-probando

Puntuación Visitas Fecha
Imagen de perfil de user76556

8

3Resp
384Vistas

asistente de pruebas en lenguaje natural

Abierta
Preguntado el 26 de Mayo, 2013 por user76556
Etiquetas :
Imagen de perfil de kubi

18

5Resp
969Vistas

¿Cuáles son los teoremas de las matemáticas demostrado por un equipo hasta ahora?

Abierta
Preguntado el 31 de Agosto, 2012 por kubi
Etiquetas :
Imagen de perfil de user105919

7

1Resp
165Vistas

Distancia entre teoremas

Abierta
Preguntado el 10 de Mayo, 2015 por user105919
Etiquetas :
Imagen de perfil de dezakin

4

2Resp
171Vistas

Cuando se de-Skolemizing declaraciones apropiadas?

Resuelta
Preguntado el 17 de Octubre, 2014 por dezakin
Etiquetas :
Imagen de perfil de Jeff

21

1Resp
493Vistas

Son comutativos anillos con $a^5=a$

Resuelta
Preguntado el 22 de Septiembre, 2014 por Jeff
Etiquetas :
Imagen de perfil de user162208

5

2Resp
179Vistas

Algoritmo para encontrar una prueba de cada teorema demostrable.

Abierta
Preguntado el 14 de Noviembre, 2014 por user162208
Etiquetas :
Imagen de perfil de zooby

35

5Resp
2007Vistas

¿Por qué no hay una respuesta similar?

Resuelta
Preguntado el 21 de Abril, 2018 por zooby
Etiquetas :
Foto de perfil de Majjo

15

2Resp
836Vistas

Podría equipos que algún día descubrir teoremas o encontrar manifestaciones?

Resuelta
Preguntado el 24 de Diciembre, 2012 por Majjo
Etiquetas :
Imagen de perfil de abruti

9

4Resp
546Vistas

¿Por qué no matemáticas resuelto completamente por los sistemas expertos?

Cerrada
Preguntado el 1 de Junio, 2014 por abruti
Etiquetas :
Imagen de perfil de bentsai

18

2Resp
606Vistas

Es allí una manera automatizada a resultar muy aburrido primaria número teórico de los resultados?

Resuelta
Preguntado el 10 de Marzo, 2011 por bentsai
Etiquetas :
Imagen de perfil de Mauli

6

1Resp
141Vistas

Si un número finito de identidades algebraicas no implican algunos de identidad, hay siempre un número finito de contraejemplo?

Resuelta
Preguntado el 12 de Mayo, 2016 por Mauli
Etiquetas :
Foto de perfil de bentsai

7

3Resp
411Vistas

En un monoide, ¿ $x \cdot y=e$ implica $y \cdot x=e$ ?

Resuelta
Preguntado el 18 de Octubre, 2012 por bentsai
Etiquetas :
Foto de perfil de Programmer2134

5

2Resp
199Vistas

¿Curry-Howard para un lenguaje de programación imperativo?

Abierta
Preguntado el 25 de Julio, 2018 por Programmer2134
Etiquetas :
Imagen de perfil de Programmer2134

5

2Resp
118Vistas

¿Diferencia entre$\lambda$ -$\mu$ - cálculo y teoría de tipo intuicionista + LEM para pruebas clásicas?

Abierta
Preguntado el 24 de Abril, 2019 por Programmer2134
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X