Respuestas del usuario 77036

Puntuación Visitas Fecha
Avatar de Njax3SmmM2x2a0Zf7Hpd

9 votos

Creación de MDE a partir de datos LiDAR geoTIFF o asciiGRID

Respondido el 1 de Noviembre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Algunas preguntas sobre la presentación de la lógica de primer orden en un libro de Raymond Smullyan

Aceptada
Respondido el 8 de Enero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Significado de la fórmula $\exists x\exists x P(x)$

Aceptada
Respondido el 27 de Junio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Un par de pruebas de deducción natural.

Respondido el 28 de Febrero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

¿Cuánta teoría de conjuntos es necesaria para una lógica seria?

Respondido el 27 de Agosto, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

¿Cómo sabemos que cada Máquina Turing que se detiene puede expresarse como una función recursiva?

Respondido el 19 de Junio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Definición de nuevos símbolos (abreviaturas) en lógica de primer orden

Aceptada
Respondido el 11 de Febrero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

19 votos

Modus Ponens: implicación frente a vinculación

Aceptada
Respondido el 26 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Cómo podemos obtener la inversa de extensionality de Gödel de 1931 sistema?

Aceptada
Respondido el 2 de Febrero, 2018 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

¿Hay alguna naturales de las medidas que se pueden poner en el espacio de modelos?

Respondido el 24 de Agosto, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

Paradojas en la lógica

Respondido el 13 de Enero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

Bolígrafo inteligente para escritura matemática

Respondido el 20 de Septiembre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Naturalidad de la bijección dada por Yoneda Lemma.

Respondido el 17 de Agosto, 2015 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Describir un sonido y completo sistema a prueba de

Respondido el 1 de Octubre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

La equivalencia de distintas consistencia frases

Respondido el 10 de Diciembre, 2017 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

5 votos

Material de iniciación a la lógica matemática

Aceptada
Respondido el 27 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

12 votos

¿Se pueden duplicar elementos en un conjunto?

Respondido el 29 de Octubre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

La prueba de la irracionalidad de la $\sqrt{3}$ - la lógica de la pregunta

Respondido el 11 de Noviembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Por favor ayuda. Gran confusión acerca de los "dos niveles de discurso'' en lógica matemática.

Respondido el 23 de Septiembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Cómo se determinan los píxeles de trama si están dentro o fuera de una zona?

Aceptada
Respondido el 3 de Octubre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Algunas preguntas generales sobre la lógica de primer orden.

Respondido el 4 de Enero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

6 votos

No Gödel de la integridad y de los teoremas de incompletitud se contradicen unas a otras?

Respondido el 4 de Julio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Axiomas de Peano para la aritmética

Aceptada
Respondido el 25 de Marzo, 2017 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

6 votos

¿Ejemplos de funciones parciales fuera de la teoría de funciones recursivas?

Respondido el 14 de Septiembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Ayuda con la prueba ∀x:X(P⇒Q)⊣⊢∃x:X.(P∨Q)

Aceptada
Respondido el 4 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

8 votos

Que número natural predicados pueden ser definidos en la aritmética de Robinson?

Respondido el 12 de Julio, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Una pregunta sobre la lógica proposicional.

Aceptada
Respondido el 27 de Junio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

Aplicaciones de la lógica

Respondido el 21 de Julio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Lógica Matemática Pregunta: n es un número entero positivo, $X_n$ = ${(x_1,.,x_n) : x_i ∈ {T,F}}$ es el conjunto de n- tuplas de {T,F}.

Respondido el 25 de Abril, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Una prueba en la teoría ingenua de conjuntos.

Respondido el 14 de Mayo, 2014 por Njax3SmmM2x2a0Zf7Hpd
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