Preguntas de order015 | i-Ciencias.com

7

1Resp

397Vistas

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

Resuelta

Preguntado el 18 de Julio, 2013 por Eric

3

2Resp

113Vistas

De cuántas maneras se pueden todos los seis números en el conjunto de $\{4, 3, 2, 12, 1, 6\}$ pedir

Resuelta

Preguntado el 11 de Junio, 2016 por learning

4

1Resp

154Vistas

Teorema de punto fijo de Bourbaki-Witt a Tarski-Knaster

Resuelta

Preguntado el 5 de Septiembre, 2017 por Moncader

5

3Resp

254Vistas

Prueba trivial en ZFC

Resuelta

Preguntado el 9 de Marzo, 2014 por user132181

5

1Resp

159Vistas

En cualquier poset, la existencia de uniones arbitrarias es equivalente a la existencia de cumple arbitraria. ¿Pero, hay un principio general?

Resuelta

Preguntado el 31 de Mayo, 2013 por goblin

3

1Resp

136Vistas

¿Es esta la forma correcta de traducir esta fórmula a la forma CN prenex?

Resuelta

Preguntado el 29 de Marzo, 2017 por name

5

1Resp

745Vistas

ventaja de la lógica de primer orden sobre la lógica de segundo orden

Resuelta

Preguntado el 10 de Mayo, 2012 por Eric Noob

4

1Resp

149Vistas

Generalización de los posets

Abierta

Preguntado el 8 de Abril, 2015 por rob

6

1Resp

145Vistas

"Débiles" y "Fuerte" aislantes topológicos

Resuelta

Preguntado el 20 de Julio, 2018 por Mohamed Zaki

5

1Resp

165Vistas

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

Abierta

Preguntado el 23 de Julio, 2018 por Dain

4

1Resp

122Vistas

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

Resuelta

Preguntado el 23 de Julio, 2018 por discretizer

4

1Resp

109Vistas

Teorema del punto fijo de Tarski y la existencia de un mínimo de puntos fijos

Resuelta

Preguntado el 21 de Octubre, 2017 por Terry Phan

4

2Resp

159Vistas

Conjuntos dirigidos para describir una topología con redes.

Resuelta

Preguntado el 19 de Diciembre, 2014 por Questioner

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

3

1Resp

104Vistas

Demostrar que $<$ definido anteriormente en $\hat f$ es un bien pedidos de orden tipo $\epsilon_{0}$

Abierta

Preguntado el 9 de Diciembre, 2017 por JacobAtkins

4

1Resp

135Vistas

¿Es un conjunto totalmente ordenado, a que podemos asignar cualquier otro conjunto totalmente ordenado?

Resuelta

Preguntado el 3 de Marzo, 2015 por MoSiAc

9

2Resp

288Vistas

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

Resuelta

Preguntado el 2 de Agosto, 2018 por Dain

6

1Resp

117Vistas

Áreas de investigación en aritmética de Peano

Resuelta

Preguntado el 2 de Agosto, 2018 por user2875613

7

1Resp

178Vistas

Colecciones innumerables de arcos en el plano con las características prescritas

Abierta

Preguntado el 4 de Agosto, 2018 por Dave Bacher

10

4Resp

257Vistas

Problemas en la enseñanza de la lógica introductoria. ¿Es esto una afirmación? "Si x es un número entero, entonces..."

Abierta

Preguntado el 6 de Agosto, 2018 por PlatonicTradition

4

2Resp

118Vistas

Definición de anillo / campo ordenado

Resuelta

Preguntado el 23 de Diciembre, 2014 por James Firth

8

2Resp

747Vistas

¿Son equivalentes estas fórmulas formales?

Resuelta

Preguntado el 7 de Agosto, 2018 por dangel

5

2Resp

162Vistas

¿Cómo puedo utilizar correctamente un signo de implicación lógica al resolver una ecuación?

Resuelta

Preguntado el 7 de Agosto, 2018 por Amin Parvaresh

16

1Resp

228Vistas

Teorema de representación para las álgebras completas de Heyting atómico

Resuelta

Preguntado el 8 de Agosto, 2018 por Paciv

7

1Resp

132Vistas

Relación entre cobordism y fusión unitaria categoría clasificación de TQFT / fase SPT

Resuelta

Preguntado el 28 de Marzo, 2018 por Mohamed Zaki

4

1Resp

98Vistas

Rango de una función valorada ordinal

Resuelta

Preguntado el 27 de Noviembre, 2016 por Tsu Jan

12

3Resp

247Vistas

¿Dónde están los conceptos de la teoría de modelo de?

Abierta

Preguntado el 12 de Agosto, 2018 por Lajos

4

2Resp

153Vistas

Probar o refutar: si $⊢_{FOL}\exists x\forall y\ \psi$ y $⊢_{FOL}\psi\{t/x\}$

Resuelta

Preguntado el 13 de Julio, 2018 por user11

5

2Resp

176Vistas

Encontrar un buen orden de los números naturales de un determinado tipo de orden

Abierta

Preguntado el 15 de Agosto, 2018 por Keshav Srinivasan

4

1Resp

119Vistas

Si no es un simple grupo de orden menor que 36, entonces debe haber un primer orden

Abierta

Preguntado el 2 de Abril, 2016 por honey

Preguntas de order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

De cuántas maneras se pueden todos los seis números en el conjunto de $\{4, 3, 2, 12, 1, 6\}$ pedir

Teorema de punto fijo de Bourbaki-Witt a Tarski-Knaster

Prueba trivial en ZFC

En cualquier poset, la existencia de uniones arbitrarias es equivalente a la existencia de cumple arbitraria. ¿Pero, hay un principio general?

¿Es esta la forma correcta de traducir esta fórmula a la forma CN prenex?

ventaja de la lógica de primer orden sobre la lógica de segundo orden

Generalización de los posets

"Débiles" y "Fuerte" aislantes topológicos

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

Teorema del punto fijo de Tarski y la existencia de un mínimo de puntos fijos

Conjuntos dirigidos para describir una topología con redes.

Mostrar una estructura es mínimo

Demostrar que $<$ definido anteriormente en $\hat f$ es un bien pedidos de orden tipo $\epsilon_{0}$

¿Es un conjunto totalmente ordenado, a que podemos asignar cualquier otro conjunto totalmente ordenado?

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

Áreas de investigación en aritmética de Peano

Colecciones innumerables de arcos en el plano con las características prescritas

Problemas en la enseñanza de la lógica introductoria. ¿Es esto una afirmación? "Si x es un número entero, entonces..."

Definición de anillo / campo ordenado

¿Son equivalentes estas fórmulas formales?

¿Cómo puedo utilizar correctamente un signo de implicación lógica al resolver una ecuación?

Teorema de representación para las álgebras completas de Heyting atómico

Relación entre cobordism y fusión unitaria categoría clasificación de TQFT / fase SPT

Rango de una función valorada ordinal

¿Dónde están los conceptos de la teoría de modelo de?

Probar o refutar: si $⊢_{FOL}\exists x\forall y\ \psi$ y $⊢_{FOL}\psi\{t/x\}$

Encontrar un buen orden de los números naturales de un determinado tipo de orden

Si no es un simple grupo de orden menor que 36, entonces debe haber un primer orden

Etiquetas mas usadas

i-Ciencias.com

Powered by: