Respuestas del usuario 36004

Puntuación Visitas Fecha
Avatar de Sekhat

10 votos

¿Estaba Bourbaki comprometido con el reduccionismo teórico de conjuntos?

Respondido el 10 de Enero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

22 votos

Experiencias comunitarias de redacción de pruebas estructuradas de Lamport

Respondido el 16 de Agosto, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

2 votos

¿Los objetos no asociativos tienen una noción natural de representación?

Respondido el 13 de Abril, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

3 votos

¿De qué manera la intuición física sobre los objetos matemáticos no es rigurosa?

Respondido el 12 de Junio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

7 votos

¿Existen buenos "metateoremas existenciales" no constructivos?

Respondido el 20 de Noviembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

39 votos

Aritmética Presburger

Aceptada
Respondido el 29 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

7 votos

Teorema del valor intermedio de los reales computables

Respondido el 15 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

7 votos

cálculo, álgebra, lógica

Aceptada
Respondido el 16 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

18 votos

¿Podemos rechazar la elección finita?

Respondido el 8 de Noviembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

11 votos

¿Son realmente los anillos objetos más fundamentales que los semianillos?

Respondido el 7 de Abril, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

22 votos

¿Cómo funcionan los verificadores de pruebas?

Aceptada
Respondido el 23 de Julio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

4 votos

Definición de variable, símbolo, indeterminado y parámetro

Aceptada
Respondido el 24 de Junio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

21 votos

[resuelto] cálculo secuencial como lenguaje de programación

Respondido el 26 de Junio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

4 votos

¿Cuándo podemos demostrar constructivamente que un anillo con unidad tiene un ideal maximal?

Respondido el 29 de Noviembre, 2009 por Sekhat
q2astack::content.general.tags :

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