Preguntas de logic044 | i-Ciencias.com

42

1Resp

2818Vistas

¿Cómo puedo hacer que las demostraciones con fórmulas largas sean más legibles sin sacrificar la claridad?

Resuelta

Preguntado el 21 de Septiembre, 2021 por Ten O'Four

42

2Resp

975Vistas

Teoría de conjuntos positivos, antifundación y el "conjunto co-Russell"

Resuelta

Preguntado el 16 de Septiembre, 2017 por ManuelSchneid3r

3

1Resp

124Vistas

Lógica: una vs muchas estructuras para un idioma dado

Resuelta

Preguntado el 18 de Mayo, 2017 por Lugh

2

2Resp

327Vistas

¿La inconsistencia semántica garantiza la inconsistencia sintáctica?

Resuelta

Preguntado el 20 de Junio, 2015 por Virange

53

7Resp

5010Vistas

¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?

Resuelta

Preguntado el 6 de Septiembre, 2023 por steevc

4

1Resp

128Vistas

$\otimes$ - productos de tipos globales en $\text{RCF}$

Resuelta

Preguntado el 25 de Julio, 2021 por Atticus Stonestrom

2

1Resp

100Vistas

¿Esta función no constante es periódica para cada número definible?

Resuelta

Preguntado el 26 de Junio, 2016 por Krumelur

5

1Resp

343Vistas

Campo ordenado arquimediano y no expresable en lógica de primer orden

Resuelta

Preguntado el 10 de Noviembre, 2020 por dre rt

1

1Resp

83Vistas

Si definimos $x := y$ , ¿es cierto que $P(x) \iff P(y)$ para cualquier propiedad $P$ ?

Resuelta

Preguntado el 1 de Noviembre, 2020 por Nelver

44

0Resp

4407Vistas

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

Resuelta

Preguntado el 23 de Octubre, 2017 por user21820

1

1Resp

2153Vistas

¿Cómo uso el Método Tableau?

Resuelta

Preguntado el 22 de Mayo, 2017 por Johny Hunter

32

5Resp

2185Vistas

¿Existen razones matemáticas inherentes por las cuales existen pruebas difíciles?

Resuelta

Preguntado el 28 de Abril, 2022 por Eduardo Cola

2

4Resp

1411Vistas

Mostrando una afirmación condicional es una tautología sin usar una tabla de verdad.

Resuelta

Preguntado el 25 de Enero, 2019 por Nev

2

2Resp

444Vistas

Probar de forma constructiva que $\log_2 3$ es irracional.

Resuelta

Preguntado el 21 de Diciembre, 2018 por androbin

1

1Resp

253Vistas

Lógica digital: ¿Qué son las máquinas de estado de "código de Hamming" y "código binario"?

Resuelta

Preguntado el 20 de Octubre, 2018 por CRB

5

1Resp

201Vistas

Largas cadenas de conjuntos Dedekind finitos

Resuelta

Preguntado el 30 de Marzo, 2024 por Rod

41

4Resp

5262Vistas

¿Cuál es la situación con el paper de Artemov?

Resuelta

Preguntado el 16 de Abril, 2024 por David Grayson

29

9Resp

4431Vistas

¿Permite una declaración falsa aceptada probar cualquier cosa?

Resuelta

Preguntado el 5 de Diciembre, 2023 por Saif

1

1Resp

944Vistas

Significado de "Si $X$ entonces $Y$ a menos que $Z$ "

Resuelta

Preguntado el 14 de Diciembre, 2015 por Romy

5

1Resp

709Vistas

¿Demuestra ZF que una subteoría finita la axiomatiza sobre modelos de clases propias transitivas?

Resuelta

Preguntado el 28 de Agosto, 2011 por Thomas Jespersen

2

3Resp

486Vistas

Problema de lógica con el sistema de alarma?

Resuelta

Preguntado el 31 de Agosto, 2011 por Chrissss

1

2Resp

161Vistas

Una representación lógica correcta para una expresión de si y solo si

Resuelta

Preguntado el 14 de Noviembre, 2013 por int

1

1Resp

71Vistas

No puedo entender la derivación con el falsum involucrado como suposición (estudiando los fundamentos de la lógica).

Resuelta

Preguntado el 25 de Octubre, 2019 por Waypoint

2

1Resp

1617Vistas

Cálculo Lambda - Definir el término lambda para representar la función $f(n) = verdadero$ si $n$ es par y $falso$ en caso contrario

Resuelta

Preguntado el 11 de Abril, 2018 por Kolmin

6

3Resp

531Vistas

Una vez que se demuestra que un teorema matemático es verdad, como el problema de detención, ¿puede ser refutado alguna vez?

Resuelta

Preguntado el 17 de Enero, 2020 por Julius Mazzarella

15

1Resp

374Vistas

¿Existe un juego Banach-Mazur indeterminado en ZF?

Resuelta

Preguntado el 20 de Enero, 2020 por ManuelSchneid3r

1

1Resp

1930Vistas

Utilice la biblioteca de coincidencia difusa de cadenas de Python para hacer coincidir una cadena entre una lista con 30 valores y un valor dado, y obtener la coincidencia más cercana en la calculador

Resuelta

Preguntado el 26 de Abril, 2017 por CoolAJ86

39

1Resp

1315Vistas

¿Tiene alguna teoría completa incontable exactamente dos modelos numerables?

Resuelta

Preguntado el 4 de Junio, 2019 por Teitoku42

1

1Resp

2013Vistas

¿Qué ancho de banda se necesita para una señal digital arbitraria?

Resuelta

Preguntado el 16 de Mayo, 2016 por skan

2

2Resp

92Vistas

Hipótesis que implican total categoricidad

Resuelta

Preguntado el 28 de Febrero, 2018 por Paciv

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo puedo hacer que las demostraciones con fórmulas largas sean más legibles sin sacrificar la claridad?

Teoría de conjuntos positivos, antifundación y el "conjunto co-Russell"

Lógica: una vs muchas estructuras para un idioma dado

¿La inconsistencia semántica garantiza la inconsistencia sintáctica?

¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?

$\otimes$ - productos de tipos globales en $\text{RCF}$

¿Esta función no constante es periódica para cada número definible?

Campo ordenado arquimediano y no expresable en lógica de primer orden

Si definimos $x := y$ , ¿es cierto que $P(x) \iff P(y)$ para cualquier propiedad $P$ ?

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

¿Cómo uso el Método Tableau?

¿Existen razones matemáticas inherentes por las cuales existen pruebas difíciles?

Mostrando una afirmación condicional es una tautología sin usar una tabla de verdad.

Probar de forma constructiva que $\log_2 3$ es irracional.

Lógica digital: ¿Qué son las máquinas de estado de "código de Hamming" y "código binario"?

Largas cadenas de conjuntos Dedekind finitos

¿Cuál es la situación con el paper de Artemov?

¿Permite una declaración falsa aceptada probar cualquier cosa?

Significado de "Si $X$ entonces $Y$ a menos que $Z$ "

¿Demuestra ZF que una subteoría finita la axiomatiza sobre modelos de clases propias transitivas?

Problema de lógica con el sistema de alarma?

Una representación lógica correcta para una expresión de si y solo si

No puedo entender la derivación con el falsum involucrado como suposición (estudiando los fundamentos de la lógica).

Cálculo Lambda - Definir el término lambda para representar la función $f(n) = verdadero$ si $n$ es par y $falso$ en caso contrario

Una vez que se demuestra que un teorema matemático es verdad, como el problema de detención, ¿puede ser refutado alguna vez?

¿Existe un juego Banach-Mazur indeterminado en ZF?

Utilice la biblioteca de coincidencia difusa de cadenas de Python para hacer coincidir una cadena entre una lista con 30 valores y un valor dado, y obtener la coincidencia más cercana en la calculador

¿Tiene alguna teoría completa incontable exactamente dos modelos numerables?

¿Qué ancho de banda se necesita para una señal digital arbitraria?

Hipótesis que implican total categoricidad

Etiquetas mas usadas

i-Ciencias.com

Powered by: