Preguntas de logic041 | i-Ciencias.com

19

2Resp

15406Vistas

transmitir señal de 5v por un cable largo

Resuelta

Preguntado el 17 de Enero, 2013 por cvs

2

1Resp

170Vistas

Ultrapoderes de los ampliadores de potencial prematuro

Resuelta

Preguntado el 19 de Octubre, 2012 por ToastMan

19

1Resp

1210Vistas

Mensurabilidad de Lebesgue y CH débil

Resuelta

Preguntado el 4 de Agosto, 2011 por Ian Terrell

1

1Resp

45Vistas

¿Cómo utilizar la prueba directa cuando el antecedente de una implicación contiene un enunciado "y"?

Resuelta

Preguntado el 17 de Noviembre, 2019 por masiewpao

2

1Resp

509Vistas

¿Cuántos conjuntos máximos coherentes hay en un $\mathscr{FOL}$

Resuelta

Preguntado el 20 de Junio, 2012 por John O

3

1Resp

174Vistas

Interpretación de símbolos no lógicos en argumentos de compacidad

Resuelta

Preguntado el 29 de Mayo, 2012 por Rachel

1

1Resp

103Vistas

¿Dónde puedo encontrar una prueba de que el análisis no estándar es una extensión conservadora del análisis estándar?

Resuelta

Preguntado el 16 de Diciembre, 2018 por WillG

1

1Resp

163Vistas

¿Existe algún otro formato de archivo similar a BLIF?

Resuelta

Preguntado el 20 de Junio, 2018 por Ben Russell

19

6Resp

2241Vistas

Matemáticas completas

Resuelta

Preguntado el 10 de Julio, 2010 por Hauser

3

2Resp

1994Vistas

Multivibrador biestable con transistores discretos

Resuelta

Preguntado el 19 de Enero, 2018 por beur_x

1

2Resp

171Vistas

Registros de desplazamiento estáticos para entrada serie/salida paralelo

Resuelta

Preguntado el 26 de Diciembre, 2013 por Sean

18

1Resp

1307Vistas

¿Puede violarse definitivamente el principio de Vopenka?

Resuelta

Preguntado el 10 de Noviembre, 2010 por Leon Bambrick

1

2Resp

1196Vistas

Diagrama de Karnaugh Veitch y ordenación de las variables

Resuelta

Preguntado el 3 de Marzo, 2014 por joozek

3

1Resp

183Vistas

Pregunta sobre la inexistencia de una fórmula de satisfacción en $\mathbb{L}$

Resuelta

Preguntado el 20 de Junio, 2013 por fnimic

2

1Resp

498Vistas

¿Qué se deduce de suponer que no Con(ZF)?

Resuelta

Preguntado el 15 de Marzo, 2013 por LorenzCK

3

1Resp

166Vistas

¿Prueba la teoría positiva de conjuntos la existencia de un conjunto de todos los ordinales y de sí mismo?

Resuelta

Preguntado el 18 de Marzo, 2023 por DocSalvager

4

1Resp

194Vistas

¿Proporciona el segundo teorema de incompletitud de Gödel una sentencia específica para su primer teorema?

Resuelta

Preguntado el 10 de Marzo, 2021 por Rich Lawrence

22

2Resp

1815Vistas

Algebrización de la lógica de segundo orden

Resuelta

Preguntado el 25 de Agosto, 2010 por blowdart

1

1Resp

332Vistas

¿Por qué es completa la teoría de Ehrenfeucht?

Resuelta

Preguntado el 22 de Febrero, 2014 por PandarinDev

1

3Resp

832Vistas

¿Cuándo la negación de un cuantificador universal requiere un enunciado disyuntivo?

Resuelta

Preguntado el 16 de Mayo, 2015 por Stephen Anderson

18

1Resp

1027Vistas

¿Es la elección dependiente equivalente a la afirmación de que todo EPI es factorial?

Resuelta

Preguntado el 24 de Septiembre, 2010 por Farinha

1

2Resp

3019Vistas

Demostración de la insatisfactibilidad con resolución proposicional

Resuelta

Preguntado el 16 de Agosto, 2015 por Ender

18

5Resp

3650Vistas

¿Cómo funcionan los verificadores de pruebas?

Resuelta

Preguntado el 22 de Julio, 2010 por Leimi

1

1Resp

60Vistas

Grupo matemático para describir el dominio del proceso matemático

Resuelta

Preguntado el 15 de Diciembre, 2014 por Doner Lorne

9

2Resp

1161Vistas

Lema de Sperner y lema de Tucker

Resuelta

Preguntado el 22 de Mayo, 2013 por Battuta

5

3Resp

6775Vistas

STM32 diodos de sujeción - ¿cuál es la tensión máxima de entrada?

Resuelta

Preguntado el 1 de Abril, 2017 por zupazt3

20

2Resp

2975Vistas

Proposiciones equivalentes a la completitud de los números reales

Resuelta

Preguntado el 19 de Abril, 2011 por Battuta

3

1Resp

264Vistas

Demostrar que las conectivas monotónicas y las conectivas autodobles no son funcionalmente completas.

Resuelta

Preguntado el 21 de Agosto, 2018 por GustavMahler

24

1Resp

1453Vistas

¿Por qué necesitamos órdenes de pozos "canónicos"?

Resuelta

Preguntado el 20 de Marzo, 2023 por TRecht

20

1Resp

415Vistas

¿Es demostrable el teorema de Monsky en $\mathsf{RCA}_0$ ?

Resuelta

Preguntado el 12 de Octubre, 2022 por Dean Hill

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

transmitir señal de 5v por un cable largo

Ultrapoderes de los ampliadores de potencial prematuro

Mensurabilidad de Lebesgue y CH débil

¿Cómo utilizar la prueba directa cuando el antecedente de una implicación contiene un enunciado "y"?

¿Cuántos conjuntos máximos coherentes hay en un $\mathscr{FOL}$

Interpretación de símbolos no lógicos en argumentos de compacidad

¿Dónde puedo encontrar una prueba de que el análisis no estándar es una extensión conservadora del análisis estándar?

¿Existe algún otro formato de archivo similar a BLIF?

Matemáticas completas

Multivibrador biestable con transistores discretos

Registros de desplazamiento estáticos para entrada serie/salida paralelo

¿Puede violarse definitivamente el principio de Vopenka?

Diagrama de Karnaugh Veitch y ordenación de las variables

Pregunta sobre la inexistencia de una fórmula de satisfacción en $\mathbb{L}$

¿Qué se deduce de suponer que no Con(ZF)?

¿Prueba la teoría positiva de conjuntos la existencia de un conjunto de todos los ordinales y de sí mismo?

¿Proporciona el segundo teorema de incompletitud de Gödel una sentencia específica para su primer teorema?

Algebrización de la lógica de segundo orden

¿Por qué es completa la teoría de Ehrenfeucht?

¿Cuándo la negación de un cuantificador universal requiere un enunciado disyuntivo?

¿Es la elección dependiente equivalente a la afirmación de que todo EPI es factorial?

Demostración de la insatisfactibilidad con resolución proposicional

¿Cómo funcionan los verificadores de pruebas?

Grupo matemático para describir el dominio del proceso matemático

Lema de Sperner y lema de Tucker

STM32 diodos de sujeción - ¿cuál es la tensión máxima de entrada?

Proposiciones equivalentes a la completitud de los números reales

Demostrar que las conectivas monotónicas y las conectivas autodobles no son funcionalmente completas.

¿Por qué necesitamos órdenes de pozos "canónicos"?

¿Es demostrable el teorema de Monsky en $\mathsf{RCA}_0$ ?

Etiquetas mas usadas

i-Ciencias.com

Powered by: