Preguntas de logic039 | i-Ciencias.com

12

5Resp

5136Vistas

¿Libros sobre lógica, teoría de pruebas y teoría de conjuntos?

Resuelta

Preguntado el 22 de Julio, 2013 por Robbo

1

0Resp

71Vistas

crear_reloj_generado quartus para reloj derivado

Resuelta

Preguntado el 7 de Abril, 2022 por Joey Hoang

20

10Resp

4213Vistas

Exhaustividad frente a compacidad en lógica

Resuelta

Preguntado el 25 de Junio, 2011 por gonzalon

21

5Resp

2175Vistas

Aritmética alternativa

Resuelta

Preguntado el 2 de Junio, 2011 por Mirco Mannucci

3

1Resp

287Vistas

¿Qué significa realmente que un polinomio sea resoluble en $\mathbb{Z}$ si $\mathsf{ZFC}$ ¿es incoherente?

Resuelta

Preguntado el 22 de Marzo, 2022 por twigofa

1

1Resp

102Vistas

¿Cómo demuestro que se trata de una puerta OR?

Resuelta

Preguntado el 20 de Junio, 2019 por Pat

20

4Resp

2602Vistas

¿Qué tipo de cardenal grande puede $\aleph_1$ sin el axioma de la elección?

Resuelta

Preguntado el 3 de Febrero, 2012 por PhilJ

20

2Resp

1514Vistas

Topología algebraica no estándar

Resuelta

Preguntado el 24 de Enero, 2012 por stighy

1

1Resp

212Vistas

Cuantificadores en la declaración Set Builder

Resuelta

Preguntado el 23 de Noviembre, 2016 por Joseph

23

2Resp

916Vistas

Declaraciones en geometría diferencial independientes de ZFC

Resuelta

Preguntado el 25 de Enero, 2023 por Pelota

22

1Resp

1216Vistas

¿Es el conjunto de los primos implícitamente definible a partir del sucesor?

Resuelta

Preguntado el 9 de Julio, 2022 por eitan27

1

1Resp

161Vistas

La categoría que faltaba en la lógica (constructiva)

Resuelta

Preguntado el 9 de Noviembre, 2017 por DigitalGrzzly

20

12Resp

8999Vistas

El mejor texto para estudiar ambos teoremas de incompletitud

Resuelta

Preguntado el 1 de Agosto, 2010 por Joe

3

1Resp

212Vistas

En $\Pi^1_{\infty}$ la comprensión implica ATR $_0$ ?

Resuelta

Preguntado el 4 de Diciembre, 2012 por geezanansa

1

2Resp

78Vistas

La lógica proposicional se enfrenta a la diplomacia en el lugar de trabajo

Resuelta

Preguntado el 8 de Marzo, 2019 por user2111880

20

3Resp

1599Vistas

Un límite al absolutismo de Shoenfield

Resuelta

Preguntado el 3 de Agosto, 2011 por Venkata Koppaka

20

3Resp

4135Vistas

¿Pi1- oración independiente de ZF, ZF+Con(ZF), ZF+Con(ZF)+Con(ZF+Con(ZF)), etc.?

Resuelta

Preguntado el 8 de Junio, 2011 por Ryan McCue

21

1Resp

2530Vistas

Prueba de coherencia filosófica para la teoría de conjuntos

Resuelta

Preguntado el 12 de Noviembre, 2010 por 1077

4

1Resp

233Vistas

¿Pueden eliminarse las frases abiertas?

Resuelta

Preguntado el 21 de Agosto, 2015 por irraju

9

3Resp

1443Vistas

¿Qué es un esquema axiomático?

Resuelta

Preguntado el 25 de Septiembre, 2014 por user107952

22

1Resp

360Vistas

¿Qué se sabe sobre la coherencia de $2^{\aleph_\alpha} = \aleph_{\alpha+\gamma}$ para todos $\alpha$ ?

Resuelta

Preguntado el 12 de Septiembre, 2022 por xilun

2

3Resp

680Vistas

¿La mayoría de las células RAM/Memoria se hacen con inversores?

Resuelta

Preguntado el 18 de Abril, 2013 por Usuario no registrado

1

1Resp

104Vistas

Lema de Levy sobre la cardinalidad hereditaria

Resuelta

Preguntado el 23 de Marzo, 2018 por CuriousKid7

3

3Resp

1237Vistas

Prueba formal de una de las leyes de De Morgan

Resuelta

Preguntado el 9 de Febrero, 2019 por user643175

1

1Resp

1289Vistas

Pruebas formales y teorema de deducción

Resuelta

Preguntado el 14 de Mayo, 2014 por Junior Mayhé

7

2Resp

997Vistas

Una pregunta sobre el forzamiento iterado

Resuelta

Preguntado el 14 de Septiembre, 2010 por Venkata Koppaka

1

1Resp

65Vistas

El principio de elección finita para una sola familia de conjuntos (ZF)

Resuelta

Preguntado el 11 de Agosto, 2019 por Tom Johnson

5

2Resp

147Vistas

¿Existe un sistema formal para expresar el contexto de las pruebas/problemas matemáticos?

Resuelta

Preguntado el 31 de Octubre, 2022 por user1007028

1

1Resp

496Vistas

¿Debemos utilizar entradas asíncronas en los bloques Moore y síncronas en los bloques Mealy?

Resuelta

Preguntado el 19 de Septiembre, 2016 por mkt1410

4

5Resp

9259Vistas

Diseño de una ALU de 4 bits para calcular varias funciones

Resuelta

Preguntado el 10 de Abril, 2011 por Mark Sutton

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Libros sobre lógica, teoría de pruebas y teoría de conjuntos?

crear_reloj_generado quartus para reloj derivado

Exhaustividad frente a compacidad en lógica

Aritmética alternativa

¿Qué significa realmente que un polinomio sea resoluble en $\mathbb{Z}$ si $\mathsf{ZFC}$ ¿es incoherente?

¿Cómo demuestro que se trata de una puerta OR?

¿Qué tipo de cardenal grande puede $\aleph_1$ sin el axioma de la elección?

Topología algebraica no estándar

Cuantificadores en la declaración Set Builder

Declaraciones en geometría diferencial independientes de ZFC

¿Es el conjunto de los primos implícitamente definible a partir del sucesor?

La categoría que faltaba en la lógica (constructiva)

El mejor texto para estudiar ambos teoremas de incompletitud

En $\Pi^1_{\infty}$ la comprensión implica ATR $_0$ ?

La lógica proposicional se enfrenta a la diplomacia en el lugar de trabajo

Un límite al absolutismo de Shoenfield

¿Pi1- oración independiente de ZF, ZF+Con(ZF), ZF+Con(ZF)+Con(ZF+Con(ZF)), etc.?

Prueba de coherencia filosófica para la teoría de conjuntos

¿Pueden eliminarse las frases abiertas?

¿Qué es un esquema axiomático?

¿Qué se sabe sobre la coherencia de $2^{\aleph_\alpha} = \aleph_{\alpha+\gamma}$ para todos $\alpha$ ?

¿La mayoría de las células RAM/Memoria se hacen con inversores?

Lema de Levy sobre la cardinalidad hereditaria

Prueba formal de una de las leyes de De Morgan

Pruebas formales y teorema de deducción

Una pregunta sobre el forzamiento iterado

El principio de elección finita para una sola familia de conjuntos (ZF)

¿Existe un sistema formal para expresar el contexto de las pruebas/problemas matemáticos?

¿Debemos utilizar entradas asíncronas en los bloques Moore y síncronas en los bloques Mealy?

Diseño de una ALU de 4 bits para calcular varias funciones

Etiquetas mas usadas

i-Ciencias.com

Powered by: