Preguntas de order023 | i-Ciencias.com

1

1Resp

216Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

3

2Resp

747Vistas

Contar las permutaciones que respetan un orden parcial

Resuelta

Preguntado el 23 de Octubre, 2014 por amcalde

10

1Resp

1173Vistas

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Resuelta

Preguntado el 28 de Noviembre, 2018 por Stefan

3

2Resp

675Vistas

¿Qué tiene de especial el lema de Higman?

Resuelta

Preguntado el 12 de Febrero, 2016 por Laisyn

2

1Resp

256Vistas

¿Cómo rompe la ordenación lexicográfica la separabilidad del orden?

Resuelta

Preguntado el 4 de Diciembre, 2017 por Janne Gustafsson

1

1Resp

115Vistas

Prueba $ R \cap (B \times B) $ es un orden parcial en B

Resuelta

Preguntado el 5 de Mayo, 2018 por ReadThyOwnBook

30

0Resp

9850Vistas

Preguntas básicas en fermiones de Majorana

Abierta

Preguntado el 16 de Marzo, 2013 por gati

2

1Resp

729Vistas

Supongamos que $R$ es un orden parcial en $A$ y $B \subseteq A$ . Demostrar que $R \cap (B \times B)$ una orden parcial sobre $B$ .

Resuelta

Preguntado el 29 de Febrero, 2016 por Burnaby

1

1Resp

144Vistas

Se necesita ayuda para entender la paramodulación en Prover9.

Resuelta

Preguntado el 30 de Junio, 2020 por Patrick Browne

46

0Resp

22262Vistas

Infimum y supremum del conjunto vacío

Abierta

Preguntado el 29 de Junio, 2013 por Justin Weiss

3

2Resp

281Vistas

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

Resuelta

Preguntado el 2 de Octubre, 2014 por masterxilo

5

2Resp

837Vistas

Definición de funciones continuas en la teoría del orden

Resuelta

Preguntado el 14 de Octubre, 2012 por porneL

1

1Resp

127Vistas

Probar algo es un entramado .

Abierta

Preguntado el 25 de Abril, 2018 por JacobAtkins

6

2Resp

15419Vistas

¿qué significa ≼ o ≺?

Resuelta

Preguntado el 16 de Enero, 2016 por Usuario no registrado

1

1Resp

783Vistas

Encuentra la distribución límite de la siguiente variable aleatoria

Resuelta

Preguntado el 16 de Marzo, 2014 por Ignity

1

1Resp

62Vistas

Cuál es la consecuencia lógica de una tautología

Resuelta

Preguntado el 5 de Enero, 2021 por JoJolyne

1

1Resp

89Vistas

Se confunde con el estimador de variables aleatorias.

Abierta

Preguntado el 11 de Diciembre, 2013 por nbrogi

2

1Resp

260Vistas

Subconjunto de $\Bbb R$ isomorfo a $\omega+\omega$ y otra isomorfa a $\omega\times\omega$

Resuelta

Preguntado el 24 de Enero, 2018 por kickstart

6

2Resp

1209Vistas

Teorema del buen orden y lógica de segundo orden

Resuelta

Preguntado el 12 de Octubre, 2013 por Fabio Ribeiro

3

2Resp

130Vistas

Descomposición de $2^{[n]}$ en $\binom{n}{n/2}$ cadenas

Resuelta

Preguntado el 16 de Junio, 2020 por Ido

1

2Resp

446Vistas

Una pregunta sobre $\aleph_1$ -conjuntos densos y el problema de las bases para los ordenamientos lineales incontables

Resuelta

Preguntado el 6 de Enero, 2015 por avinash

1

1Resp

245Vistas

¿Las constantes de la verdad se consideran fórmulas atómicas?

Resuelta

Preguntado el 3 de Noviembre, 2017 por Taroccoesbrocco

2

1Resp

138Vistas

Definición de marco en la teoría del orden

Resuelta

Preguntado el 2 de Marzo, 2020 por Firmin Martin

5

1Resp

157Vistas

¿Son conservadoras las anotaciones en ZF?

Resuelta

Preguntado el 1 de Mayo, 2018 por V. Semeria

1

1Resp

197Vistas

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Resuelta

Preguntado el 28 de Julio, 2016 por Nethesis

2

1Resp

214Vistas

Varianza de las estadísticas de orden extremo

Resuelta

Preguntado el 25 de Mayo, 2017 por piro

2

1Resp

54Vistas

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Resuelta

Preguntado el 8 de Abril, 2020 por Enrico Borba

2

1Resp

106Vistas

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Resuelta

Preguntado el 5 de Enero, 2015 por mrhappysmile

0

1Resp

100Vistas

Demostración del teorema de la deducción en el cálculo secuencial

Resuelta

Preguntado el 17 de Julio, 2018 por Florian

4

3Resp

2350Vistas

Prueba de la regla de inferencia de resolución sin tabla de verdad

Resuelta

Preguntado el 26 de Diciembre, 2015 por saurabh

Preguntas de order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Homomorfismo entre estructuras en la lógica de primer orden

Contar las permutaciones que respetan un orden parcial

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

¿Qué tiene de especial el lema de Higman?

¿Cómo rompe la ordenación lexicográfica la separabilidad del orden?

Prueba $ R \cap (B \times B) $ es un orden parcial en B

Preguntas básicas en fermiones de Majorana

Supongamos que $R$ es un orden parcial en $A$ y $B \subseteq A$ . Demostrar que $R \cap (B \times B)$ una orden parcial sobre $B$ .

Se necesita ayuda para entender la paramodulación en Prover9.

Infimum y supremum del conjunto vacío

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

Definición de funciones continuas en la teoría del orden

Probar algo es un entramado .

¿qué significa ≼ o ≺?

Encuentra la distribución límite de la siguiente variable aleatoria

Cuál es la consecuencia lógica de una tautología

Se confunde con el estimador de variables aleatorias.

Subconjunto de $\Bbb R$ isomorfo a $\omega+\omega$ y otra isomorfa a $\omega\times\omega$

Teorema del buen orden y lógica de segundo orden

Descomposición de $2^{[n]}$ en $\binom{n}{n/2}$ cadenas

Una pregunta sobre $\aleph_1$ -conjuntos densos y el problema de las bases para los ordenamientos lineales incontables

¿Las constantes de la verdad se consideran fórmulas atómicas?

Definición de marco en la teoría del orden

¿Son conservadoras las anotaciones en ZF?

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Varianza de las estadísticas de orden extremo

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Demostración del teorema de la deducción en el cálculo secuencial

Prueba de la regla de inferencia de resolución sin tabla de verdad

Etiquetas mas usadas

i-Ciencias.com

Powered by: