Preguntas de logic043 | i-Ciencias.com

1

1Resp

63Vistas

¿Existe una función recursiva parcial que asigne $e$ al menor elemento de $W_e$ ?

Resuelta

Preguntado el 8 de Diciembre, 2018 por user500144

4

1Resp

749Vistas

Ejemplo de corte en la deducción natural y cómo eliminarlo

Resuelta

Preguntado el 2 de Junio, 2014 por DanFromGermany

2

1Resp

114Vistas

Axiomatización de campos completos ordenados

Resuelta

Preguntado el 9 de Junio, 2018 por YeatsL

26

4Resp

6075Vistas

Son $\mathbb{C}$ y $\overline{\mathbb{Q}}_p$ ¿isomorfo?

Resuelta

Preguntado el 2 de Mayo, 2010 por Graham

26

4Resp

1066Vistas

¿Existen bases ligeras para objetos arbitrariamente extensibles?

Resuelta

Preguntado el 6 de Abril, 2012 por ricree

19

4Resp

1154Vistas

Fundamento lógico del cálculo centrado en variables

Resuelta

Preguntado el 24 de Diciembre, 2011 por Andrey Losev

1

1Resp

58Vistas

Inglés -> Comprobación de la comprensión lógica

Resuelta

Preguntado el 4 de Octubre, 2017 por Naveen Kumar

83

3Resp

10838Vistas

La prueba de Czelakowski de la conjetura de los primos gemelos

Resuelta

Preguntado el 26 de Octubre, 2022 por brainimus

2

1Resp

100Vistas

Una propiedad de monotonicidad de la teoría de tipos de Martin-Löf

Resuelta

Preguntado el 3 de Agosto, 2019 por Z. A. K.

1

1Resp

69Vistas

∀

Resuelta

Preguntado el 18 de Octubre, 2021 por ksgr5566

86

7Resp

19684Vistas

¿Cuántos órdenes de infinito hay?

Resuelta

Preguntado el 26 de Junio, 2010 por steevc

2

3Resp

459Vistas

¿Cómo puedo demostrar que esta afirmación es una tautología sin utilizar tablas de verdad (prueba de transformación)?

Resuelta

Preguntado el 19 de Agosto, 2016 por Arne Cordes

1

1Resp

176Vistas

Demostrar que $((p\lor q)\land(p\lor(\lnot q)))\rightarrow p$ es una tautología

Resuelta

Preguntado el 17 de Enero, 2013 por Von Landfried

87

9Resp

9477Vistas

¿Qué pasa con los surreales?

Resuelta

Preguntado el 24 de Junio, 2010 por user2498

2

2Resp

3435Vistas

¿Quién rompió el jarrón? Pregunta lógica.

Resuelta

Preguntado el 16 de Septiembre, 2017 por Angelo Mark

2

1Resp

267Vistas

Problema complicado de lógica de predicados

Resuelta

Preguntado el 5 de Septiembre, 2015 por pkjag

2

1Resp

87Vistas

Cálculo secuencial y cambio de nombre de variables

Resuelta

Preguntado el 30 de Diciembre, 2019 por Spn

1

1Resp

72Vistas

Un "principio de transferencia" entre modelos de $\mathbf{ZF+AR}$ y $\mathbf{ZF}$

Resuelta

Preguntado el 9 de Noviembre, 2019 por eznme

2

1Resp

447Vistas

Matemáticas discretas - Mostrar con lógica $X$ vencer $Y$ exactamente 2 Veces

Resuelta

Preguntado el 11 de Octubre, 2015 por Stefano Balzarotti

2

1Resp

5051Vistas

Activo alto activo bajo para preselección

Resuelta

Preguntado el 11 de Abril, 2018 por Parris

44

1Resp

1512Vistas

Distinción de grupos no isomorfos con una propiedad teórica de grupos

Resuelta

Preguntado el 9 de Octubre, 2020 por Himanshi

61

2Resp

3063Vistas

¿Cuánto cuesta dividir por $2$ ?

Resuelta

Preguntado el 16 de Noviembre, 2014 por Hanno

2

2Resp

1192Vistas

¿Cómo implica la tesis de Turing la existencia de una máquina de Turing universal?

Resuelta

Preguntado el 25 de Agosto, 2015 por Tom Ilsinszki

4

1Resp

435Vistas

¿Problemas fundamentales de las matemáticas que, sin la informática, no se resolverían?

Resuelta

Preguntado el 18 de Enero, 2014 por Mircea Chirea

1

1Resp

140Vistas

¿Qué tiene de malo esta definición de predicado de verdad?

Resuelta

Preguntado el 3 de Agosto, 2020 por Eoin

44

4Resp

5104Vistas

¿En qué sentido "existe" un número si se demuestra que es incalculable?

Resuelta

Preguntado el 2 de Diciembre, 2021 por Doug

40

3Resp

3948Vistas

¿Cuánto depende la Relatividad General matemática del axioma de elección?

Resuelta

Preguntado el 20 de Agosto, 2023 por Pelota

5

0Resp

1866Vistas

¿Cómo construir un generador de ruido basado enteramente en compuertas lógicas?

Resuelta

Preguntado el 30 de Agosto, 2016 por Eric Walter

39

1Resp

1092Vistas

¿Cuánta teoría de conjuntos recuerda la categoría de conjuntos?

Resuelta

Preguntado el 31 de Octubre, 2014 por Aleksandr Levchuk

2

1Resp

62Vistas

Demostrando $p\iff q$ cuando $p$ es verdadero.

Resuelta

Preguntado el 7 de Febrero, 2020 por user682705

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existe una función recursiva parcial que asigne $e$ al menor elemento de $W_e$ ?

Ejemplo de corte en la deducción natural y cómo eliminarlo

Axiomatización de campos completos ordenados

Son $\mathbb{C}$ y $\overline{\mathbb{Q}}_p$ ¿isomorfo?

¿Existen bases ligeras para objetos arbitrariamente extensibles?

Fundamento lógico del cálculo centrado en variables

Inglés -> Comprobación de la comprensión lógica

La prueba de Czelakowski de la conjetura de los primos gemelos

Una propiedad de monotonicidad de la teoría de tipos de Martin-Löf

∀

¿Cuántos órdenes de infinito hay?

¿Cómo puedo demostrar que esta afirmación es una tautología sin utilizar tablas de verdad (prueba de transformación)?

Demostrar que $((p\lor q)\land(p\lor(\lnot q)))\rightarrow p$ es una tautología

¿Qué pasa con los surreales?

¿Quién rompió el jarrón? Pregunta lógica.

Problema complicado de lógica de predicados

Cálculo secuencial y cambio de nombre de variables

Un "principio de transferencia" entre modelos de $\mathbf{ZF+AR}$ y $\mathbf{ZF}$

Matemáticas discretas - Mostrar con lógica $X$ vencer $Y$ exactamente 2 Veces

Activo alto activo bajo para preselección

Distinción de grupos no isomorfos con una propiedad teórica de grupos

¿Cuánto cuesta dividir por $2$ ?

¿Cómo implica la tesis de Turing la existencia de una máquina de Turing universal?

¿Problemas fundamentales de las matemáticas que, sin la informática, no se resolverían?

¿Qué tiene de malo esta definición de predicado de verdad?

¿En qué sentido "existe" un número si se demuestra que es incalculable?

¿Cuánto depende la Relatividad General matemática del axioma de elección?

¿Cómo construir un generador de ruido basado enteramente en compuertas lógicas?

¿Cuánta teoría de conjuntos recuerda la categoría de conjuntos?

Demostrando $p\iff q$ cuando $p$ es verdadero.

Etiquetas mas usadas

i-Ciencias.com

Powered by: