Preguntas ciencias de logic035

13

3Resp

7251Vistas

¿Es la programación funcional una rama de las matemáticas?

Resuelta

Preguntado el 15 de Enero, 2010 por David Sykes

4

4Resp

444Vistas

¿Pregunta sobre las declaraciones condicionales aplicadas a las matemáticas?

Resuelta

Preguntado el 21 de Mayo, 2016 por Bolt_Head

1

1Resp

166Vistas

Cómo construir conjuntos cocientes (¿tipos?) en la teoría de tipos de Martin-Löf

Resuelta

Preguntado el 25 de Septiembre, 2018 por marimo

1

4Resp

104Vistas

¿Cómo se demuestra la afirmación: $A^c=(A\cup B)^c\cup (B \setminus A)$

Resuelta

Preguntado el 11 de Mayo, 2017 por Daniel Connell

2

1Resp

180Vistas

¿Qué es la "forma determinada" de un predicado?

Resuelta

Preguntado el 27 de Enero, 2016 por demianturner

1

1Resp

3305Vistas

¿Conversión de un enunciado dado en lógica de predicados?

Resuelta

Preguntado el 24 de Julio, 2017 por Willturner

6

1Resp

261Vistas

continuo muchos filtros mutuamente genéricos

Resuelta

Preguntado el 1 de Agosto, 2014 por Tomislav Nakic-Alfirevic

2

2Resp

633Vistas

Probar una ecuación lógica

Resuelta

Preguntado el 5 de Octubre, 2013 por Usuario no registrado

1

2Resp

252Vistas

Ayuda a la lógica de predicados y proposiciones

Resuelta

Preguntado el 17 de Noviembre, 2012 por Nash

1

1Resp

75Vistas

Símbolos y notación en la lógica proposicional

Resuelta

Preguntado el 5 de Diciembre, 2019 por VakiPitsi

6

1Resp

421Vistas

Axioma de elección y la igualdad entre el universo construible de segundo orden y el HOD

Resuelta

Preguntado el 19 de Febrero, 2015 por bquaresma

1

1Resp

68Vistas

La lógica de Hoare proporciona una prueba o un contraejemplo

Abierta

Preguntado el 25 de Abril, 2020 por Annie

2

3Resp

338Vistas

Diseño de circuitos cmos complejos

Resuelta

Preguntado el 7 de Febrero, 2018 por honeste_vivere

1

1Resp

190Vistas

Entender por qué x ∈ ∩∅ es cierto para todo valor de x

Resuelta

Preguntado el 11 de Marzo, 2015 por Renjith G

9

2Resp

1699Vistas

Axioma para excluir los números naturales no estándar

Resuelta

Preguntado el 2 de Julio, 2012 por Ram Shrestha

1

4Resp

1128Vistas

Tipos de isomorfismo o teoría de la estructura para el análisis no estándar

Resuelta

Preguntado el 4 de Enero, 2010 por thedeeno

1

1Resp

404Vistas

Preguntas y símbolos matemáticos y de cálculo relacionados con la programación

Resuelta

Preguntado el 21 de Diciembre, 2012 por Sandro

2

2Resp

207Vistas

Un fragmento del Ejercicio 1.3.4 en _Teoría de Modelos Cortos_ de Hodges

Resuelta

Preguntado el 19 de Octubre, 2014 por Allen Bauer

3

1Resp

59Vistas

Duda sobre conjuntos de fórmulas

Resuelta

Preguntado el 3 de Noviembre, 2016 por DevM

7

1Resp

231Vistas

Relación entre las álgebras de Heyting y la lógica intuicionista

Resuelta

Preguntado el 1 de Enero, 2020 por Eddie Chau

1

1Resp

143Vistas

¿en qué sentido una función puede ser primera?

Resuelta

Preguntado el 23 de Febrero, 2017 por Robert Frost

9

1Resp

418Vistas

¿Progreso hacia una interpretación computacional del axioma de univalencia?

Resuelta

Preguntado el 23 de Octubre, 2018 por Brendan Dowling

1

1Resp

104Vistas

Sumador de 4 bits (SN74LS283N) no funciona correctamente

Resuelta

Preguntado el 11 de Junio, 2020 por Stephen

2

2Resp

92Vistas

Cómo leer el estado de los pines (alto/bajo) en la Spartan FPGA 3E

Resuelta

Preguntado el 13 de Mayo, 2021 por 이승우

4

1Resp

303Vistas

¿Existen versiones débiles del axioma de elección equivalentes a versiones débiles del lema de Zorn y principios similares?

Resuelta

Preguntado el 23 de Junio, 2015 por Sunrising

1

2Resp

80Vistas

¿Son equivalentes estas fórmulas de predicado?

Resuelta

Preguntado el 17 de Julio, 2018 por Ali

1

1Resp

643Vistas

Subconjuntos parciales de un conjunto dado: solicitud de referencia

Resuelta

Preguntado el 13 de Noviembre, 2011 por Craig Nakamoto

1

2Resp

293Vistas

El mayor número definible

Resuelta

Preguntado el 2 de Junio, 2012 por rolan

1

1Resp

134Vistas

El enfoque de Shoenfield sobre la metamatemática del forzamiento

Resuelta

Preguntado el 26 de Enero, 2020 por Jori

6

1Resp

664Vistas

La existencia de clases propias

Resuelta

Preguntado el 9 de Febrero, 2012 por Eric Lippert

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es la programación funcional una rama de las matemáticas?

¿Pregunta sobre las declaraciones condicionales aplicadas a las matemáticas?

Cómo construir conjuntos cocientes (¿tipos?) en la teoría de tipos de Martin-Löf

¿Cómo se demuestra la afirmación: $A^c=(A\cup B)^c\cup (B \setminus A)$

¿Qué es la "forma determinada" de un predicado?

¿Conversión de un enunciado dado en lógica de predicados?

continuo muchos filtros mutuamente genéricos

Probar una ecuación lógica

Ayuda a la lógica de predicados y proposiciones

Símbolos y notación en la lógica proposicional

Axioma de elección y la igualdad entre el universo construible de segundo orden y el HOD

La lógica de Hoare proporciona una prueba o un contraejemplo

Diseño de circuitos cmos complejos

Entender por qué x ∈ ∩∅ es cierto para todo valor de x

Axioma para excluir los números naturales no estándar

Tipos de isomorfismo o teoría de la estructura para el análisis no estándar

Preguntas y símbolos matemáticos y de cálculo relacionados con la programación

Un fragmento del Ejercicio 1.3.4 en _Teoría de Modelos Cortos_ de Hodges

Duda sobre conjuntos de fórmulas

Relación entre las álgebras de Heyting y la lógica intuicionista

¿en qué sentido una función puede ser primera?

¿Progreso hacia una interpretación computacional del axioma de univalencia?

Sumador de 4 bits (SN74LS283N) no funciona correctamente

Cómo leer el estado de los pines (alto/bajo) en la Spartan FPGA 3E

¿Existen versiones débiles del axioma de elección equivalentes a versiones débiles del lema de Zorn y principios similares?

¿Son equivalentes estas fórmulas de predicado?

Subconjuntos parciales de un conjunto dado: solicitud de referencia

El mayor número definible

El enfoque de Shoenfield sobre la metamatemática del forzamiento

La existencia de clases propias

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: