Preguntas ciencias de logic014

26

2Resp

5890Vistas

En la teoría de modelos, ¿la compacidad implica fácilmente la exhaustividad?

Resuelta

Preguntado el 18 de Diciembre, 2009 por kevtrout

22

1Resp

2484Vistas

¿Cuándo la recogida implica sustitución?

Resuelta

Preguntado el 22 de Enero, 2010 por Leon Bambrick

1

1Resp

262Vistas

Entrada de incremento en ciclo de reloj

Abierta

Preguntado el 21 de Septiembre, 2020 por Jay

0

1Resp

235Vistas

Negación de "Diane recorrió 160 km en bicicleta el domingo"

Resuelta

Preguntado el 18 de Abril, 2015 por macbirdie

1

4Resp

165Vistas

Pregunta básica sobre el retardo intra-asignación en Verilog

Resuelta

Preguntado el 24 de Junio, 2021 por Shashank V M

1

1Resp

64Vistas

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

Resuelta

Preguntado el 9 de Mayo, 2022 por pahohu

26

1Resp

1160Vistas

¿Podemos encontrar puntos fijos fuertes en el lema de punto fijo del teorema de incompletitud de Gödel, es decir, donde el punto fijo es sintácticamente idéntico a su instancia de sustitución en lugar

Resuelta

Preguntado el 11 de Diciembre, 2011 por thedeeno

1

1Resp

273Vistas

encontrar un dominio infinito válido para los cuantificadores

Abierta

Preguntado el 19 de Septiembre, 2017 por Rongday

2

1Resp

698Vistas

Traducir del inglés una afirmación lógica cuantificada, negarla y volver a traducir al inglés

Resuelta

Preguntado el 10 de Febrero, 2017 por Chris Kuklewicz

22

6Resp

2263Vistas

¿En qué parte de las matemáticas ordinarias necesitamos separación y sustitución ilimitadas?

Resuelta

Preguntado el 10 de Febrero, 2013 por MarlonRibunal

1

1Resp

836Vistas

¿Cómo se establece la bandera cero en términos de hardware?

Resuelta

Preguntado el 30 de Mayo, 2014 por user25862

3

1Resp

67Vistas

Sistema formal en el que toda función continua es casi siempre diferenciable

Resuelta

Preguntado el 8 de Abril, 2022 por Alan Storm

3

1Resp

284Vistas

Maquinaria de tuplas en I-Sigma_0

Resuelta

Preguntado el 15 de Septiembre, 2010 por Usuario no registrado

1

1Resp

86Vistas

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

Resuelta

Preguntado el 3 de Abril, 2020 por Jordan Willis

1

1Resp

50Vistas

Lemma 25B de Enderton, $\overline s(u^{x}_{t})=\overline {s(x|\overline s(t))}(u)$

Resuelta

Preguntado el 24 de Agosto, 2019 por Kapur

3

2Resp

256Vistas

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

Resuelta

Preguntado el 8 de Septiembre, 2018 por Harry Stoteles

7

1Resp

114Vistas

Demostrar que una clase de estructuras es existencialmente axiomatizable si es cerrada bajo la toma de superestructuras.

Resuelta

Preguntado el 29 de Octubre, 2020 por yeet

7

1Resp

1126Vistas

Surreales y NSA: algunas cuestiones fundamentales

Resuelta

Preguntado el 10 de Abril, 2013 por user32916

1

1Resp

127Vistas

Pregunta sobre la notación set-builder

Resuelta

Preguntado el 26 de Diciembre, 2020 por TylerD007

1

1Resp

97Vistas

¿Son las pruebas por "maximalidad" equivalentes a las pruebas por inducción?

Abierta

Preguntado el 20 de Marzo, 2019 por The Footprint

23

1Resp

1028Vistas

Sobre la rareza de los números reales trascendentales demostrables

Resuelta

Preguntado el 26 de Marzo, 2011 por David Feldman

2

1Resp

122Vistas

¿Cómo es posible que los axiomas no sean siempre ciertos?

Resuelta

Preguntado el 15 de Marzo, 2020 por Geobits

1

1Resp

46Vistas

Verificación de la simplificación de expresiones lógicas sencillas

Resuelta

Preguntado el 12 de Abril, 2020 por Gareth Ma

26

4Resp

5440Vistas

Aritmética Presburger

Resuelta

Preguntado el 27 de Diciembre, 2009 por ereOn

24

2Resp

1138Vistas

¿Cuáles son los subórdenes rígidos de la recta real?

Resuelta

Preguntado el 27 de Diciembre, 2009 por thedeeno

2

1Resp

97Vistas

Algunas preguntas sobre la clase y el plató.

Resuelta

Preguntado el 16 de Septiembre, 2022 por Dale Reynolds

1

3Resp

75Vistas

¿Las ALU realizan todas/más de N operaciones antes de pasar por el multiplexor?

Resuelta

Preguntado el 17 de Mayo, 2020 por Ryan

2

1Resp

125Vistas

Necesito ayuda para la conversión al inglés

Resuelta

Preguntado el 22 de Septiembre, 2011 por Peter Krejci

2

1Resp

218Vistas

¿Es ésta una paradoja comúnmente conocida?

Resuelta

Preguntado el 13 de Enero, 2018 por John

1

1Resp

144Vistas

Los lenguajes universales son recursivos primitivos.

Abierta

Preguntado el 19 de Mayo, 2015 por naisanza

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

En la teoría de modelos, ¿la compacidad implica fácilmente la exhaustividad?

¿Cuándo la recogida implica sustitución?

Entrada de incremento en ciclo de reloj

Negación de "Diane recorrió 160 km en bicicleta el domingo"

Pregunta básica sobre el retardo intra-asignación en Verilog

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

¿Podemos encontrar puntos fijos fuertes en el lema de punto fijo del teorema de incompletitud de Gödel, es decir, donde el punto fijo es sintácticamente idéntico a su instancia de sustitución en lugar

encontrar un dominio infinito válido para los cuantificadores

Traducir del inglés una afirmación lógica cuantificada, negarla y volver a traducir al inglés

¿En qué parte de las matemáticas ordinarias necesitamos separación y sustitución ilimitadas?

¿Cómo se establece la bandera cero en términos de hardware?

Sistema formal en el que toda función continua es casi siempre diferenciable

Maquinaria de tuplas en I-Sigma_0

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

Lemma 25B de Enderton, $\overline s(u^{x}_{t})=\overline {s(x|\overline s(t))}(u)$

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

Demostrar que una clase de estructuras es existencialmente axiomatizable si es cerrada bajo la toma de superestructuras.

Surreales y NSA: algunas cuestiones fundamentales

Pregunta sobre la notación set-builder

¿Son las pruebas por "maximalidad" equivalentes a las pruebas por inducción?

Sobre la rareza de los números reales trascendentales demostrables

¿Cómo es posible que los axiomas no sean siempre ciertos?

Verificación de la simplificación de expresiones lógicas sencillas

Aritmética Presburger

¿Cuáles son los subórdenes rígidos de la recta real?

Algunas preguntas sobre la clase y el plató.

¿Las ALU realizan todas/más de N operaciones antes de pasar por el multiplexor?

Necesito ayuda para la conversión al inglés

¿Es ésta una paradoja comúnmente conocida?

Los lenguajes universales son recursivos primitivos.

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: