Preguntas ciencias de logic011

11

4Resp

3054Vistas

eliminación de cortes

Resuelta

Preguntado el 12 de Diciembre, 2009 por Usuario no registrado

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

21

1Resp

1261Vistas

Mendelson's Mathematical Logic y el apéndice que falta sobre la consistencia de PA

Resuelta

Preguntado el 12 de Febrero, 2013 por deutschZuid

1

2Resp

65Vistas

Pregunta sobre la búsqueda de fórmulas en el cálculo de predicados

Resuelta

Preguntado el 20 de Septiembre, 2016 por aoetalks

1

1Resp

70Vistas

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

Resuelta

Preguntado el 10 de Mayo, 2018 por Linus1234

20

2Resp

2369Vistas

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

Resuelta

Preguntado el 5 de Agosto, 2012 por PhilJ

6

1Resp

511Vistas

Confusión sobre la definición de "modelo

Resuelta

Preguntado el 17 de Octubre, 2018 por user525966

21

5Resp

1759Vistas

Límite inferior en rompecabezas algorítmico

Resuelta

Preguntado el 3 de Marzo, 2012 por Brad Tutterow

2

1Resp

161Vistas

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

Resuelta

Preguntado el 24 de Agosto, 2019 por JacopoStanchi

20

2Resp

3629Vistas

Categorías de funciones recursivas

Resuelta

Preguntado el 4 de Abril, 2013 por Richard Szalay

5

2Resp

2297Vistas

¿Cree que P=NP?

Resuelta

Preguntado el 15 de Abril, 2011 por puetzk

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

1

1Resp

83Vistas

$x \neq x$ en un sistema coherente

Resuelta

Preguntado el 28 de Marzo, 2019 por Paul T

7

1Resp

178Vistas

Grados mínimos de estructuras

Resuelta

Preguntado el 15 de Mayo, 2015 por Venkata Koppaka

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

1

1Resp

62Vistas

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

Resuelta

Preguntado el 24 de Diciembre, 2022 por RRR

1

3Resp

157Vistas

condición suficiente frente a condición necesaria

Resuelta

Preguntado el 10 de Abril, 2020 por Martin Bonner

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

2

4Resp

186Vistas

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

Resuelta

Preguntado el 25 de Diciembre, 2016 por chi

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

4

2Resp

1840Vistas

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

Resuelta

Preguntado el 2 de Agosto, 2018 por user10168997

20

7Resp

1824Vistas

Los teoremas extensionales se utilizan sobre todo de forma intensionada

Resuelta

Preguntado el 20 de Marzo, 2010 por x-way

1

1Resp

319Vistas

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

Abierta

Preguntado el 2 de Junio, 2014 por john

1

1Resp

65Vistas

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

Resuelta

Preguntado el 13 de Enero, 2021 por amdryzen7000

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

32

4Resp

2323Vistas

¿Cuántas de las frases verdaderas son demostrables?

Resuelta

Preguntado el 6 de Noviembre, 2009 por Vincent

2

3Resp

127Vistas

Lógica de primer orden: ¿es ésta una interpretación válida de una frase?

Abierta

Preguntado el 13 de Marzo, 2019 por Unknowledgeable

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

28

1Resp

4826Vistas

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

Resuelta

Preguntado el 11 de Febrero, 2023 por steevc

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

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

eliminación de cortes

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

Mendelson's Mathematical Logic y el apéndice que falta sobre la consistencia de PA

Pregunta sobre la búsqueda de fórmulas en el cálculo de predicados

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

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

Confusión sobre la definición de "modelo

Límite inferior en rompecabezas algorítmico

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

Categorías de funciones recursivas

¿Cree que P=NP?

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

$x \neq x$ en un sistema coherente

Grados mínimos de estructuras

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

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

condición suficiente frente a condición necesaria

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

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

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

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

Los teoremas extensionales se utilizan sobre todo de forma intensionada

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

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

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

¿Cuántas de las frases verdaderas son demostrables?

Lógica de primer orden: ¿es ésta una interpretación válida de una frase?

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

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

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: