Preguntas de logic042 | i-Ciencias.com

5

1Resp

1664Vistas

¿Una explicación sencilla, pero no superficial, de lo que significa "paramodulación" en el contexto de la demostración automatizada de teoremas?

Resuelta

Preguntado el 13 de Julio, 2014 por SixthOfFour

1

2Resp

298Vistas

Definición inductiva de una fórmula mediante inducción estructural

Resuelta

Preguntado el 10 de Mayo, 2018 por user3133165

2

3Resp

291Vistas

¿Existe una teoría completa que no sea $\kappa$ categórico para cualquier $\kappa$ ?

Resuelta

Preguntado el 13 de Septiembre, 2018 por user2733996

2

2Resp

107Vistas

¿Funciona este ejemplo de "inducción inversa"?

Resuelta

Preguntado el 20 de Noviembre, 2019 por Cauchy Potato

5

3Resp

793Vistas

"nombre" para el modelo de suelo

Resuelta

Preguntado el 21 de Octubre, 2011 por Chirag

3

2Resp

156Vistas

Prueba $(A\rightarrow C)\land(C\rightarrow\neg B) \land B\rightarrow\neg A$ es válida sin utilizar tablas de verdad

Resuelta

Preguntado el 3 de Julio, 2016 por Jonathan

4

1Resp

673Vistas

Cuantificación sobre el conjunto(?) de predicados

Resuelta

Preguntado el 3 de Abril, 2016 por Szmagpie

2

2Resp

61Vistas

¿Cómo utilizar correctamente la ley distributiva en lógica proposicional?

Resuelta

Preguntado el 23 de Mayo, 2019 por xava

3

2Resp

150Vistas

¿Cuál es la diferencia real/"cotidiana" entre variables libres y ligadas?

Resuelta

Preguntado el 13 de Diciembre, 2022 por RayRedoran

17

9Resp

2658Vistas

Construcción directa de los números enteros

Resuelta

Preguntado el 22 de Junio, 2010 por x-way

2

1Resp

112Vistas

Hipótesis de continuidad en L

Resuelta

Preguntado el 17 de Enero, 2023 por Ludwig Cappy

5

1Resp

283Vistas

¿Es transitiva esta relación sobre la incrustación elemental?

Resuelta

Preguntado el 28 de Febrero, 2022 por Reflecting_Ordinal

3

1Resp

298Vistas

¿Podemos colapsar $\omega_1$ sin añadir un real dominante?

Resuelta

Preguntado el 9 de Octubre, 2011 por Mridang Agarwalla

2

3Resp

96Vistas

Probar la negación con múltiples condiciones

Resuelta

Preguntado el 3 de Mayo, 2019 por Ben

3

2Resp

514Vistas

¿Es semicomputable cualquier secuencia de Cauchy para la terminación de racionales?

Resuelta

Preguntado el 20 de Agosto, 2017 por Kagaratsch

2

5Resp

108Vistas

La naturaleza de las variables en las pruebas

Resuelta

Preguntado el 19 de Enero, 2021 por Cole Arora

1

1Resp

182Vistas

¿Por qué cambiar un 'add' a un lógico o devorar 7 macrocélulas CPLD?

Resuelta

Preguntado el 15 de Septiembre, 2012 por nathaniel

1

2Resp

72Vistas

¿Puedo hacerlo? $A^c - B^c$

Resuelta

Preguntado el 11 de Diciembre, 2013 por Shafqat Ahmed

4

3Resp

784Vistas

¿En qué orden debo aprender los fundamentos de las matemáticas?

Resuelta

Preguntado el 6 de Mayo, 2016 por John Jack

17

5Resp

4970Vistas

Notación del cálculo épsilon de Bourbaki

Resuelta

Preguntado el 6 de Febrero, 2010 por martinatime

1

1Resp

69Vistas

El libro de Mendelson, función de verdad de n argumento

Resuelta

Preguntado el 14 de Septiembre, 2020 por Physor

1

1Resp

1166Vistas

Compuertas AND multientrada a partir de compuertas AND de 2 entradas

Resuelta

Preguntado el 26 de Junio, 2014 por Michael Madsen

3

2Resp

1599Vistas

(Lógica) Escritura formal de un número racional en lógica

Resuelta

Preguntado el 27 de Abril, 2013 por yoyostein

1

3Resp

106Vistas

¿Cómo conseguir esta función lógica de forma sencilla?

Resuelta

Preguntado el 5 de Mayo, 2020 por Parvesh Kumar

3

1Resp

78Vistas

Hace ' $\omega$ -coherencia" significa ser coherente con $\Omega$ ?

Resuelta

Preguntado el 9 de Noviembre, 2021 por 임기정

19

3Resp

2322Vistas

¿Puede demostrar el rango E(Q) = 1 exactamente para infinitas curvas elípticas E sobre Q sin usar BSD?

Resuelta

Preguntado el 16 de Abril, 2010 por Ray Vega

2

2Resp

544Vistas

Verificación de pruebas para la deducción natural en lógica proposicional

Resuelta

Preguntado el 10 de Mayo, 2016 por user6248190

25

7Resp

2415Vistas

¿Cuándo podemos demostrar constructivamente que un anillo con unidad tiene un ideal maximal?

Resuelta

Preguntado el 28 de Noviembre, 2009 por Vetle

1

1Resp

157Vistas

Sea T una teoría consistente y axiomatizable que extiende Q.

Abierta

Preguntado el 11 de Mayo, 2016 por Tool

1

1Resp

135Vistas

La teoría de conjuntos NBG y el axioma de regularidad

Resuelta

Preguntado el 9 de Noviembre, 2019 por eznme

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Una explicación sencilla, pero no superficial, de lo que significa "paramodulación" en el contexto de la demostración automatizada de teoremas?

Definición inductiva de una fórmula mediante inducción estructural

¿Existe una teoría completa que no sea $\kappa$ categórico para cualquier $\kappa$ ?

¿Funciona este ejemplo de "inducción inversa"?

"nombre" para el modelo de suelo

Prueba $(A\rightarrow C)\land(C\rightarrow\neg B) \land B\rightarrow\neg A$ es válida sin utilizar tablas de verdad

Cuantificación sobre el conjunto(?) de predicados

¿Cómo utilizar correctamente la ley distributiva en lógica proposicional?

¿Cuál es la diferencia real/"cotidiana" entre variables libres y ligadas?

Construcción directa de los números enteros

Hipótesis de continuidad en L

¿Es transitiva esta relación sobre la incrustación elemental?

¿Podemos colapsar $\omega_1$ sin añadir un real dominante?

Probar la negación con múltiples condiciones

¿Es semicomputable cualquier secuencia de Cauchy para la terminación de racionales?

La naturaleza de las variables en las pruebas

¿Por qué cambiar un 'add' a un lógico o devorar 7 macrocélulas CPLD?

¿Puedo hacerlo? $A^c - B^c$

¿En qué orden debo aprender los fundamentos de las matemáticas?

Notación del cálculo épsilon de Bourbaki

El libro de Mendelson, función de verdad de n argumento

Compuertas AND multientrada a partir de compuertas AND de 2 entradas

(Lógica) Escritura formal de un número racional en lógica

¿Cómo conseguir esta función lógica de forma sencilla?

Hace ' $\omega$ -coherencia" significa ser coherente con $\Omega$ ?

¿Puede demostrar el rango E(Q) = 1 exactamente para infinitas curvas elípticas E sobre Q sin usar BSD?

Verificación de pruebas para la deducción natural en lógica proposicional

¿Cuándo podemos demostrar constructivamente que un anillo con unidad tiene un ideal maximal?

Sea T una teoría consistente y axiomatizable que extiende Q.

La teoría de conjuntos NBG y el axioma de regularidad

Etiquetas mas usadas

i-Ciencias.com

Powered by: