Preguntas ciencias de logic010

3

3Resp

1237Vistas

Prueba formal de una de las leyes de De Morgan

Resuelta

Preguntado el 9 de Febrero, 2019 por user643175

1

1Resp

104Vistas

Lema de Levy sobre la cardinalidad hereditaria

Resuelta

Preguntado el 23 de Marzo, 2018 por CuriousKid7

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

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

9

3Resp

1443Vistas

¿Qué es un esquema axiomático?

Resuelta

Preguntado el 25 de Septiembre, 2014 por user107952

4

1Resp

233Vistas

¿Pueden eliminarse las frases abiertas?

Resuelta

Preguntado el 21 de Agosto, 2015 por irraju

21

1Resp

2530Vistas

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

Resuelta

Preguntado el 12 de Noviembre, 2010 por 1077

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

20

3Resp

1599Vistas

Un límite al absolutismo de Shoenfield

Resuelta

Preguntado el 3 de Agosto, 2011 por Venkata Koppaka

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

3

1Resp

212Vistas

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

Resuelta

Preguntado el 4 de Diciembre, 2012 por geezanansa

20

12Resp

8999Vistas

El mejor texto para estudiar ambos teoremas de incompletitud

Resuelta

Preguntado el 1 de Agosto, 2010 por Joe

1

1Resp

161Vistas

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

Resuelta

Preguntado el 9 de Noviembre, 2017 por DigitalGrzzly

22

1Resp

1215Vistas

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

Resuelta

Preguntado el 9 de Julio, 2022 por eitan27

23

2Resp

916Vistas

Declaraciones en geometría diferencial independientes de ZFC

Resuelta

Preguntado el 25 de Enero, 2023 por Pelota

1

1Resp

212Vistas

Cuantificadores en la declaración Set Builder

Resuelta

Preguntado el 23 de Noviembre, 2016 por Joseph

20

2Resp

1514Vistas

Topología algebraica no estándar

Resuelta

Preguntado el 24 de Enero, 2012 por stighy

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

1

1Resp

102Vistas

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

Resuelta

Preguntado el 20 de Junio, 2019 por Pat

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

21

5Resp

2175Vistas

Aritmética alternativa

Resuelta

Preguntado el 2 de Junio, 2011 por Mirco Mannucci

20

10Resp

4213Vistas

Exhaustividad frente a compacidad en lógica

Resuelta

Preguntado el 25 de Junio, 2011 por gonzalon

1

0Resp

71Vistas

crear_reloj_generado quartus para reloj derivado

Resuelta

Preguntado el 7 de Abril, 2022 por Joey Hoang

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

2

1Resp

90Vistas

Cómo demostrarlo $∃x J(x)$ y $J(m)$ no son lógicamente equivalentes?

Resuelta

Preguntado el 17 de Mayo, 2022 por Dominic Sander

20

2Resp

3974Vistas

Frases lógicamente independientes pero verdaderas

Resuelta

Preguntado el 8 de Agosto, 2010 por Stephen Deken

21

5Resp

3398Vistas

¿Qué parte de ZFC demuestran los Nuevos Fundamentos de Quine?

Resuelta

Preguntado el 26 de Noviembre, 2010 por Jenny

3

2Resp

284Vistas

Teoría de categorías y modelización de $n$ funciones -arias (especialmente la $0$ funciones -arias)

Resuelta

Preguntado el 11 de Febrero, 2013 por Stefan

20

1Resp

863Vistas

Una colección de intervalos que pueden cubrir cualquier conjunto de medida cero

Resuelta

Preguntado el 7 de Diciembre, 2010 por traveler

1

1Resp

316Vistas

verificación de la prueba de la tabla de verdad

Resuelta

Preguntado el 24 de Abril, 2016 por Steve Newcomb

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba formal de una de las leyes de De Morgan

Lema de Levy sobre la cardinalidad hereditaria

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

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

¿Qué es un esquema axiomático?

¿Pueden eliminarse las frases abiertas?

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

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

Un límite al absolutismo de Shoenfield

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

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

El mejor texto para estudiar ambos teoremas de incompletitud

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

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

Declaraciones en geometría diferencial independientes de ZFC

Cuantificadores en la declaración Set Builder

Topología algebraica no estándar

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

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

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

Aritmética alternativa

Exhaustividad frente a compacidad en lógica

crear_reloj_generado quartus para reloj derivado

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

Cómo demostrarlo $∃x J(x)$ y $J(m)$ no son lógicamente equivalentes?

Frases lógicamente independientes pero verdaderas

¿Qué parte de ZFC demuestran los Nuevos Fundamentos de Quine?

Teoría de categorías y modelización de $n$ funciones -arias (especialmente la $0$ funciones -arias)

Una colección de intervalos que pueden cubrir cualquier conjunto de medida cero

verificación de la prueba de la tabla de verdad

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: