Preguntas ciencias de order013

0

1Resp

142Vistas

Definir el "lenguaje de primer orden" sin utilizarlo

Abierta

Preguntado el 15 de Julio, 2020 por R. Burton

1

1Resp

101Vistas

Polinomio Zeta de la red booleana

Abierta

Preguntado el 6 de Mayo, 2018 por user3749029

1

1Resp

60Vistas

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Resuelta

Preguntado el 30 de Mayo, 2018 por Dominic108

3

1Resp

100Vistas

Demostrar que $\chi(G)=\omega(G)$

Resuelta

Preguntado el 28 de Julio, 2017 por pigeon whole

1

1Resp

78Vistas

¿Cuándo un lenguaje contable es un lenguaje no recursivo?

Resuelta

Preguntado el 11 de Septiembre, 2020 por Mima

9

3Resp

577Vistas

Media asociativa

Abierta

Preguntado el 13 de Noviembre, 2017 por TheLearner

9

3Resp

453Vistas

¿El entramado de todas las topologías se integra en el entramado de $T_1$ -¿topologías?

Abierta

Preguntado el 13 de Marzo, 2018 por Anthony

12

1Resp

1026Vistas

Tipo de orden universal

Abierta

Preguntado el 6 de Marzo, 2011 por Brian Reindel

10

0Resp

378Vistas

Si un conjunto de órdenes totales de tamaño %-%-% tiene el menor número de endomorfismos entre los posos de tamaño %-%-%

Abierta

Preguntado el 24 de Octubre, 2016 por Dean

12

1Resp

564Vistas

¿Cuál es el menos ordinal que no se puede incrustar en$\mathbb{R}^\mathbb{R}$?

Abierta

Preguntado el 24 de Mayo, 2013 por Van Gale

13

2Resp

576Vistas

¿Cuántos subconjuntos de$\mathbb{R}$ son orden isomorfo a$\mathbb{Q}$?

Resuelta

Preguntado el 26 de Mayo, 2013 por Master Darwrin

15

0Resp

645Vistas

Posets isomórficos a su endomorfismo posar

Abierta

Preguntado el 14 de Julio, 2015 por Susan

28

3Resp

741Vistas

¿Cuándo un gráfico subyace al diagrama de Hasse de un poset?

Abierta

Preguntado el 2 de Octubre, 2019 por MiniQuark

24

2Resp

649Vistas

Tipo de orden del conjunto más pequeño que contiene la función identidad y cerrado bajo exponenciación.

Resuelta

Preguntado el 22 de Mayo, 2013 por Van Gale

7

2Resp

144Vistas

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

Resuelta

Preguntado el 19 de Julio, 2019 por Evan Aad

4

1Resp

206Vistas

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Resuelta

Preguntado el 5 de Junio, 2014 por Asvin

4

2Resp

448Vistas

Tipo de orden y su reverso

Resuelta

Preguntado el 4 de Julio, 2011 por sergeyf

4

1Resp

163Vistas

Encontrando transformaciones unimodulares explícitas para las matrices K de Chern-Simons

Resuelta

Preguntado el 2 de Junio, 2016 por marpetr

6

3Resp

401Vistas

¿Podemos expandir el "principio de inducción" a una orden parcial$(X, \leq)$?

Resuelta

Preguntado el 20 de Marzo, 2019 por vbNewbie

12

3Resp

561Vistas

Contables ordinales son integrables en los racionales $\Bbb Q$ -- pruebas y su uso de la CA

Resuelta

Preguntado el 1 de Junio, 2013 por Rob Jeffries

7

3Resp

828Vistas

"Cualquier poset finito tiene un elemento máximo". ¿Cómo formalizar la prueba que se da?

Resuelta

Preguntado el 4 de Julio, 2013 por goblin

4

1Resp

134Vistas

Comprobación de la prueba. Principio bien ordenado para los números naturales.

Resuelta

Preguntado el 18 de Marzo, 2017 por Matt

5

2Resp

519Vistas

¿Es cada red el conjunto de puntos fijos de un endomorfismo de orden de ⋄ ^ n?

Abierta

Preguntado el 14 de Enero, 2010 por mreichelt

7

0Resp

247Vistas

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

Abierta

Preguntado el 17 de Noviembre, 2015 por Anguepa

4

1Resp

164Vistas

¿Error en el artículo de Wikipedia sobre teoría completa?

Abierta

Preguntado el 14 de Septiembre, 2017 por Taroccoesbrocco

4

4Resp

245Vistas

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

Resuelta

Preguntado el 30 de Mayo, 2014 por Guildenstern

5

1Resp

334Vistas

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

Resuelta

Preguntado el 8 de Julio, 2014 por Alain Vandal

5

2Resp

133Vistas

Cuantificadores en lógica de primer orden.

Resuelta

Preguntado el 1 de Junio, 2019 por Nishant kumar

5

1Resp

202Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

4

2Resp

216Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

Preguntas ciencias order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Definir el "lenguaje de primer orden" sin utilizarlo

Polinomio Zeta de la red booleana

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Demostrar que $\chi(G)=\omega(G)$

¿Cuándo un lenguaje contable es un lenguaje no recursivo?

Media asociativa

¿El entramado de todas las topologías se integra en el entramado de $T_1$ -¿topologías?

Tipo de orden universal

Si un conjunto de órdenes totales de tamaño %-%-% tiene el menor número de endomorfismos entre los posos de tamaño %-%-%

¿Cuál es el menos ordinal que no se puede incrustar en$\mathbb{R}^\mathbb{R}$?

¿Cuántos subconjuntos de$\mathbb{R}$ son orden isomorfo a$\mathbb{Q}$?

Posets isomórficos a su endomorfismo posar

¿Cuándo un gráfico subyace al diagrama de Hasse de un poset?

Tipo de orden del conjunto más pequeño que contiene la función identidad y cerrado bajo exponenciación.

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Tipo de orden y su reverso

Encontrando transformaciones unimodulares explícitas para las matrices K de Chern-Simons

¿Podemos expandir el "principio de inducción" a una orden parcial$(X, \leq)$?

Contables ordinales son integrables en los racionales $\Bbb Q$ -- pruebas y su uso de la CA

"Cualquier poset finito tiene un elemento máximo". ¿Cómo formalizar la prueba que se da?

Comprobación de la prueba. Principio bien ordenado para los números naturales.

¿Es cada red el conjunto de puntos fijos de un endomorfismo de orden de ⋄ ^ n?

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

¿Error en el artículo de Wikipedia sobre teoría completa?

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

Cuantificadores en lógica de primer orden.

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

¿Qué significa genérico?

Etiquetas mas usadas

i-Ciencias.com

Powered by: