Preguntas ciencias de logic08

3

2Resp

80Vistas

$A+A' \equiv B+B'$ ?

Resuelta

Preguntado el 1 de Junio, 2020 por Kelly

1

2Resp

1196Vistas

Diagrama de Karnaugh Veitch y ordenación de las variables

Resuelta

Preguntado el 3 de Marzo, 2014 por joozek

18

1Resp

1307Vistas

¿Puede violarse definitivamente el principio de Vopenka?

Resuelta

Preguntado el 10 de Noviembre, 2010 por Leon Bambrick

1

2Resp

171Vistas

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

Resuelta

Preguntado el 26 de Diciembre, 2013 por Sean

3

2Resp

1994Vistas

Multivibrador biestable con transistores discretos

Resuelta

Preguntado el 19 de Enero, 2018 por beur_x

19

6Resp

2241Vistas

Matemáticas completas

Resuelta

Preguntado el 10 de Julio, 2010 por Hauser

1

1Resp

61Vistas

Prueba de lógica de predicados (algunos a son b, algunos a son c, por lo tanto existe algún c)

Resuelta

Preguntado el 16 de Abril, 2019 por Marais Rossouw

1

1Resp

163Vistas

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

Resuelta

Preguntado el 20 de Junio, 2018 por Ben Russell

1

1Resp

102Vistas

¿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

3

1Resp

174Vistas

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

Resuelta

Preguntado el 29 de Mayo, 2012 por Rachel

2

1Resp

509Vistas

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

Resuelta

Preguntado el 20 de Junio, 2012 por John O

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

19

1Resp

1210Vistas

Mensurabilidad de Lebesgue y CH débil

Resuelta

Preguntado el 4 de Agosto, 2011 por Ian Terrell

2

1Resp

170Vistas

Ultrapoderes de los ampliadores de potencial prematuro

Resuelta

Preguntado el 19 de Octubre, 2012 por ToastMan

4

1Resp

138Vistas

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Resuelta

Preguntado el 30 de Julio, 2017 por Eric

19

2Resp

15406Vistas

transmitir señal de 5v por un cable largo

Resuelta

Preguntado el 17 de Enero, 2013 por cvs

2

1Resp

99Vistas

Cómo saber si una fórmula se conserva

Resuelta

Preguntado el 8 de Junio, 2014 por John

2

1Resp

111Vistas

¿Cuál es la manera completa y correcta de enunciar formal/lógicamente la definición épsilon-delta de un límite, y su negación?

Resuelta

Preguntado el 1 de Marzo, 2018 por Zafer Shaheen

2

2Resp

86Vistas

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Resuelta

Preguntado el 22 de Noviembre, 2021 por joseville

1

2Resp

277Vistas

Confusión en la numeración de Godel para los subíndices

Resuelta

Preguntado el 13 de Abril, 2015 por Vicky

12

3Resp

366Vistas

Comparación de las formulaciones existentes del álgebra universal y sus niveles de generalidad

Resuelta

Preguntado el 2 de Abril, 2021 por antoine_vm

1

2Resp

238Vistas

negar la afirmación cuantificada ∃y(Q(y) ∧ ∀x¬R(x, y))

Cerrada

Preguntado el 15 de Junio, 2017 por joey1

6

1Resp

180Vistas

Decidibilidad de la completitud en lógica proposicional

Resuelta

Preguntado el 17 de Abril, 2022 por l_frost

2

2Resp

80Vistas

Pedidos definibles

Resuelta

Preguntado el 19 de Octubre, 2012 por Samy

3

3Resp

615Vistas

Conversión de expresiones booleanas en polinomios

Resuelta

Preguntado el 21 de Abril, 2017 por TorsionSquid

1

1Resp

86Vistas

Transistores de soporte en S y diodos de ruptura inversa en la hoja de datos de Texas Instrument 74LS32?

Resuelta

Preguntado el 4 de Junio, 2020 por Jason Morgan

3

1Resp

874Vistas

¿Qué es una sentencia?

Resuelta

Preguntado el 6 de Noviembre, 2016 por Usuario no registrado

3

2Resp

180Vistas

¿Cómo puedo solucionar el retardo entre la instrucción y el contador de programa?

Resuelta

Preguntado el 27 de Mayo, 2021 por katzesaal

1

3Resp

188Vistas

Por qué $(P \wedge ¬P) ⇒ Q$ significa que podemos probar algo?

Resuelta

Preguntado el 5 de Abril, 2018 por Andrew

4

3Resp

86Vistas

No entiendo cómo $B \in \{\mathscr P(A) | A \in \mathscr F\} \equiv \exists A \in \mathscr F(B = \mathscr P(A))$

Resuelta

Preguntado el 13 de Diciembre, 2015 por user293482

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

$A+A' \equiv B+B'$ ?

Diagrama de Karnaugh Veitch y ordenación de las variables

¿Puede violarse definitivamente el principio de Vopenka?

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

Multivibrador biestable con transistores discretos

Matemáticas completas

Prueba de lógica de predicados (algunos a son b, algunos a son c, por lo tanto existe algún c)

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

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

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

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

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

Mensurabilidad de Lebesgue y CH débil

Ultrapoderes de los ampliadores de potencial prematuro

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

transmitir señal de 5v por un cable largo

Cómo saber si una fórmula se conserva

¿Cuál es la manera completa y correcta de enunciar formal/lógicamente la definición épsilon-delta de un límite, y su negación?

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Confusión en la numeración de Godel para los subíndices

Comparación de las formulaciones existentes del álgebra universal y sus niveles de generalidad

negar la afirmación cuantificada ∃y(Q(y) ∧ ∀x¬R(x, y))

Decidibilidad de la completitud en lógica proposicional

Pedidos definibles

Conversión de expresiones booleanas en polinomios

Transistores de soporte en S y diodos de ruptura inversa en la hoja de datos de Texas Instrument 74LS32?

¿Qué es una sentencia?

¿Cómo puedo solucionar el retardo entre la instrucción y el contador de programa?

Por qué $(P \wedge ¬P) ⇒ Q$ significa que podemos probar algo?

No entiendo cómo $B \in \{\mathscr P(A) | A \in \mathscr F\} \equiv \exists A \in \mathscr F(B = \mathscr P(A))$

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: