Preguntas ciencias prueba-asistentes

Puntuación Visitas Fecha
Imagen de perfil de Ronny Vindenes

20

4Resp
1470Vistas

¿La formalización de las matemáticas requiere búsqueda y creatividad, o es casi mecánica?

Abierta
Preguntado el 15 de Mayo, 2014 por Ronny Vindenes
Etiquetas :
Imagen de perfil de Shay Levy

20

1Resp
755Vistas

Prueba de asistente, Cura te ipsum

Resuelta
Preguntado el 24 de Enero, 2018 por Shay Levy
Etiquetas :
Imagen de perfil de Randy Proctor

33

1Resp
552Vistas

¿Asistente de prueba para trabajar en fundaciones más débiles?

Resuelta
Preguntado el 7 de Marzo, 2018 por Randy Proctor
Etiquetas :
Foto de perfil de Mojo

42

5Resp
4390Vistas

Formalizaciones de la teoría de categorías en asistentes de pruebas.

Abierta
Preguntado el 21 de Diciembre, 2013 por Mojo
Etiquetas :
Imagen de perfil de Bob Somers

54

2Resp
1438Vistas

Resolución automática de problemas de geometría de olimpiada

Resuelta
Preguntado el 3 de Agosto, 2019 por Bob Somers
Etiquetas :
Imagen de perfil de user38475

38

3Resp
1996Vistas

¿Existe investigación sobre la demostración del teorema orientado al ser humano?

Abierta
Preguntado el 4 de Noviembre, 2017 por user38475
Etiquetas :
Imagen de perfil de val0x00ff

45

1Resp
2747Vistas

Sobre la verificación de pruebas con Coq

Abierta
Preguntado el 11 de Noviembre, 2018 por val0x00ff
Etiquetas :
Foto de perfil de Xavier Nodet

58

5Resp
8539Vistas

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

Resuelta
Preguntado el 25 de Marzo, 2011 por Xavier Nodet
Etiquetas :
Imagen de perfil de traveler

58

5Resp
6612Vistas

¿Cómo verifican un verificador de pruebas formalizadas?

Resuelta
Preguntado el 16 de Marzo, 2010 por traveler
Etiquetas :
Foto de perfil de David Gardiner

81

3Resp
5374Vistas

Se busca: un "Coq para el matemático que trabaja"

Abierta
Preguntado el 28 de Enero, 2014 por David Gardiner
Etiquetas :
Imagen de perfil de dburke

5

3Resp
781Vistas

Formalización de prueba

Resuelta
Preguntado el 25 de Febrero, 2010 por dburke
Etiquetas :
Foto de perfil de Francesco Turco

10

5Resp
2897Vistas

¿Existe algún asistente de pruebas basado en la lógica de primer orden?

Abierta
Preguntado el 18 de Febrero, 2010 por Francesco Turco
Etiquetas :
Imagen de perfil de quux

40

5Resp
2997Vistas

Prueba de asistentes para las matemáticas

Resuelta
Preguntado el 8 de Diciembre, 2009 por quux
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