Preguntas de logic038 | i-Ciencias.com

11

2Resp

658Vistas

¿Qué forzamientos preservan (en parte) la determinabilidad?

Resuelta

Preguntado el 14 de Octubre, 2012 por Venkata Koppaka

6

1Resp

224Vistas

¿Los conjuntos que escapan cubren "uniformemente" a los conjuntos dominantes bajo determinación?

Resuelta

Preguntado el 4 de Junio, 2021 por Venkata Koppaka

28

1Resp

4826Vistas

¿Cuál es la cofinalidad de los subconjuntos coinfinitos de ${\bf N}$ ?

Resuelta

Preguntado el 11 de Febrero, 2023 por steevc

20

3Resp

5719Vistas

Satisfacción de fórmulas booleanas generales con un máximo de dos ocurrencias por variable

Resuelta

Preguntado el 21 de Diciembre, 2009 por Philipp Keller

32

4Resp

2323Vistas

¿Cuántas de las frases verdaderas son demostrables?

Resuelta

Preguntado el 6 de Noviembre, 2009 por Vincent

3

1Resp

200Vistas

Tomando el Límite de Fraisse (Fraïssé) de la clase de grafos sin Kn como subgrafo

Resuelta

Preguntado el 3 de Noviembre, 2017 por Adrian Lee

1

1Resp

65Vistas

$(A-B) \cup (B-A) = (A\cup B) - (A \cap B)$

Resuelta

Preguntado el 13 de Enero, 2021 por amdryzen7000

1

1Resp

319Vistas

Lógica de predicados, los amigos de los amigos son amigos

Abierta

Preguntado el 2 de Junio, 2014 por john

4

2Resp

1840Vistas

¿Es posible que el DNF y el CNF sean el mismo

Resuelta

Preguntado el 2 de Agosto, 2018 por user10168997

23

4Resp

1468Vistas

¿Podemos reconocer cuándo una categoría es equivalente a la categoría de modelos de una teoría de primer orden?

Resuelta

Preguntado el 27 de Enero, 2010 por thedeeno

2

4Resp

186Vistas

si $P \implies Q$ ¿por qué $\bar{Q} \implies \bar{P}$

Resuelta

Preguntado el 25 de Diciembre, 2016 por chi

1

2Resp

730Vistas

Negación de "Para todos los enteros Impares $n$ existe un número entero $k$ tal que $n=2k+1$ "

Resuelta

Preguntado el 1 de Octubre, 2016 por PhoxKiD

1

1Resp

62Vistas

Creación de fórmulas lógicas de implicaciones bien definidas

Resuelta

Preguntado el 24 de Diciembre, 2022 por RRR

0

2Resp

397Vistas

¿El método de refutación intuicionista implicaría la permutación de premisas?

Resuelta

Preguntado el 6 de Junio, 2011 por Usuario no registrado

7

1Resp

178Vistas

Grados mínimos de estructuras

Resuelta

Preguntado el 15 de Mayo, 2015 por Venkata Koppaka

1

1Resp

83Vistas

$x \neq x$ en un sistema coherente

Resuelta

Preguntado el 28 de Marzo, 2019 por Paul T

5

2Resp

157Vistas

¿Por qué la categoría de conjuntos definibles de $T^\mathrm{eq}$ ¿tienen coproductos?

Resuelta

Preguntado el 20 de Marzo, 2022 por user478652

5

2Resp

2297Vistas

¿Cree que P=NP?

Resuelta

Preguntado el 15 de Abril, 2011 por puetzk

20

2Resp

3629Vistas

Categorías de funciones recursivas

Resuelta

Preguntado el 4 de Abril, 2013 por Richard Szalay

2

1Resp

161Vistas

¿Estamos seguros de que los problemas del Premio del Milenio pueden resolverse?

Resuelta

Preguntado el 24 de Agosto, 2019 por JacopoStanchi

21

5Resp

1759Vistas

Límite inferior en rompecabezas algorítmico

Resuelta

Preguntado el 3 de Marzo, 2012 por Brad Tutterow

20

2Resp

2369Vistas

¿Qué es realmente un Principio de Elección?

Resuelta

Preguntado el 5 de Agosto, 2012 por PhilJ

1

1Resp

70Vistas

Clubes y algún tipo fijo se realiza por incontablemente muchos elementos.

Resuelta

Preguntado el 10 de Mayo, 2018 por Linus1234

3

1Resp

1109Vistas

¿Puede ser indecidible (en cualquier sentido de la palabra) la resolubilidad de una única ecuación diofantina?

Resuelta

Preguntado el 2 de Julio, 2015 por Milton

11

4Resp

3054Vistas

eliminación de cortes

Resuelta

Preguntado el 12 de Diciembre, 2009 por Usuario no registrado

1

1Resp

316Vistas

verificación de la prueba de la tabla de verdad

Resuelta

Preguntado el 24 de Abril, 2016 por Steve Newcomb

20

1Resp

863Vistas

Una colección de intervalos que pueden cubrir cualquier conjunto de medida cero

Resuelta

Preguntado el 7 de Diciembre, 2010 por traveler

3

2Resp

284Vistas

Teoría de categorías y modelización de $n$ funciones -arias (especialmente la $0$ funciones -arias)

Resuelta

Preguntado el 11 de Febrero, 2013 por Stefan

21

5Resp

3398Vistas

¿Qué parte de ZFC demuestran los Nuevos Fundamentos de Quine?

Resuelta

Preguntado el 26 de Noviembre, 2010 por Jenny

20

2Resp

3974Vistas

Frases lógicamente independientes pero verdaderas

Resuelta

Preguntado el 8 de Agosto, 2010 por Stephen Deken

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Qué forzamientos preservan (en parte) la determinabilidad?

¿Los conjuntos que escapan cubren "uniformemente" a los conjuntos dominantes bajo determinación?

¿Cuál es la cofinalidad de los subconjuntos coinfinitos de ${\bf N}$ ?

Satisfacción de fórmulas booleanas generales con un máximo de dos ocurrencias por variable

¿Cuántas de las frases verdaderas son demostrables?

Tomando el Límite de Fraisse (Fraïssé) de la clase de grafos sin Kn como subgrafo

$(A-B) \cup (B-A) = (A\cup B) - (A \cap B)$

Lógica de predicados, los amigos de los amigos son amigos

¿Es posible que el DNF y el CNF sean el mismo

¿Podemos reconocer cuándo una categoría es equivalente a la categoría de modelos de una teoría de primer orden?

si $P \implies Q$ ¿por qué $\bar{Q} \implies \bar{P}$

Negación de "Para todos los enteros Impares $n$ existe un número entero $k$ tal que $n=2k+1$ "

Creación de fórmulas lógicas de implicaciones bien definidas

¿El método de refutación intuicionista implicaría la permutación de premisas?

Grados mínimos de estructuras

$x \neq x$ en un sistema coherente

¿Por qué la categoría de conjuntos definibles de $T^\mathrm{eq}$ ¿tienen coproductos?

¿Cree que P=NP?

Categorías de funciones recursivas

¿Estamos seguros de que los problemas del Premio del Milenio pueden resolverse?

Límite inferior en rompecabezas algorítmico

¿Qué es realmente un Principio de Elección?

Clubes y algún tipo fijo se realiza por incontablemente muchos elementos.

¿Puede ser indecidible (en cualquier sentido de la palabra) la resolubilidad de una única ecuación diofantina?

eliminación de cortes

verificación de la prueba de la tabla de verdad

Una colección de intervalos que pueden cubrir cualquier conjunto de medida cero

Teoría de categorías y modelización de $n$ funciones -arias (especialmente la $0$ funciones -arias)

¿Qué parte de ZFC demuestran los Nuevos Fundamentos de Quine?

Frases lógicamente independientes pero verdaderas

Etiquetas mas usadas

i-Ciencias.com

Powered by: