Respuestas del usuario 77036

Puntuación Visitas Fecha
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Tablas lógicas de primer orden con cuantificadores múltiples

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

1 votos

Sustitución del axioma de la extensibilidad por un formalismo lógico

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

2 votos

Creación del orden de los flujos

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

3 votos

Reducción ad absurdum en Chiswell&Hodges

Aceptada
Respondido el 23 de Junio, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Prueba $p \vdash q \Rightarrow p$

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

7 votos

Segmentación de arroyos en ArcGIS

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

0 votos

Prueba $\vdash (p\to q)\lor (q\to r)$ utilizando la deducción natural

Respondido el 9 de Mayo, 2021 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

8 votos

¿Cuál es el objetivo de la regla de adelgazamiento?

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

1 votos

¿Dos conjuntos idénticos son subconjuntos/superconjuntos del otro?

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

3 votos

pregunta sobre la numeración de Gödel

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

3 votos

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

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

3 votos

Formalización de la descripción definida (Russell)

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

4 votos

Teorema de Löb y demostrabilidad

Aceptada
Respondido el 22 de Marzo, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Cuáles son los conjuntos $S_n=\omega-n$ ¿se llama?

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

1 votos

¿Por qué se excluye de las proposiciones un enunciado como "Son las 5"?

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

10 votos

Extracción de zanjas mediante el MDT LIDAR (1m de resolución)

Respondido el 5 de Septiembre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Generación de un índice de mosaico de polígonos a partir de múltiples conjuntos de datos vectoriales

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

9 votos

¿Cómo ejecutar una herramienta de Whitebox GAT en ArcGIS?

Aceptada
Respondido el 11 de Septiembre, 2015 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

5 votos

Me gustaría tener algunas recomendaciones de libros de texto para la teoría de modelos

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

8 votos

¿Existe una demostración del Teorema de Incompletitud de Gödel sin enunciados autorreferenciales?

Respondido el 18 de Julio, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

8 votos

¿Por qué usar la extracción de características?

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

4 votos

Formalización de la idea de conjunto $A$ *junto* con las operaciones $+,\cdot$ ''.

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

4 votos

¿Por qué el lema de König no es "obvio"?

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

5 votos

¿Buenos libros de lógica matemática?

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

1 votos

Propiedad de los conjuntos contablemente infinitos

Respondido el 9 de Febrero, 2022 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Elegir un tema de investigación

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

2 votos

Enunciados cuantificados y reglas de inferencia

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

6 votos

Alternativas al uso de ArcPy

Respondido el 29 de Marzo, 2018 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Lógica de predicados que traduce "todo menos uno"

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

3 votos

Enumeración efectiva de conjuntos cuando la pertenencia es semidecidible

Aceptada
Respondido el 22 de Noviembre, 2013 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