Preguntas ciencias logic

Puntuación Visitas Fecha
Imagen de perfil de user7280899

2

2Resp
171Vistas

Ejemplo de cita de Hilbert

Resuelta
Preguntado el 24 de Mayo, 2019 por user7280899
Etiquetas :
Imagen de perfil de Bacchus

1

1Resp
122Vistas

El argumento diagonal de Cantor: la coherencia de la secuencia construida para demostrar que 2[N] tiene una cardinalidad mayor que N

Resuelta
Preguntado el 22 de Junio, 2014 por Bacchus
Etiquetas :
Foto de perfil de FIRESNIPER GAMING

2

1Resp
78Vistas

Concepto de prueba por contradicción

Resuelta
Preguntado el 6 de Junio, 2017 por FIRESNIPER GAMING
Etiquetas :
Imagen de perfil de Rose

2

2Resp
1174Vistas

¿Cómo desplazar cuantificadores al principio de una fórmula?

Resuelta
Preguntado el 17 de Diciembre, 2017 por Rose
Etiquetas :
Imagen de perfil de dankguin

1

2Resp
98Vistas

Dado ~(A->B) cómo llegaría a la conclusión de A&~B

Resuelta
Preguntado el 27 de Abril, 2021 por dankguin
Etiquetas :
Foto de perfil de Matt

8

3Resp
517Vistas

¿Un modelo de aritmética contenido en un modelo de aritmética es un segmento inicial?

Resuelta
Preguntado el 18 de Marzo, 2014 por Matt
Etiquetas :
Imagen de perfil de Marie Fischer

21

3Resp
27650Vistas

¿Cuál es la diferencia entre un predicado y una función?

Resuelta
Preguntado el 17 de Mayo, 2011 por Marie Fischer
Etiquetas :
Imagen de perfil de david6

20

3Resp
1602Vistas

¿Puede la FPA demostrar realmente su coherencia?

Resuelta
Preguntado el 28 de Enero, 2013 por david6
Etiquetas :
Imagen de perfil de fglez

6

2Resp
7314Vistas

¿Cómo escribir expresiones lógicas en WolframAlpha?

Resuelta
Preguntado el 23 de Enero, 2012 por fglez
Etiquetas :
Imagen de perfil de skk

21

3Resp
1952Vistas

¿En qué fallan, si es que fallan, las "experiencias" de los teóricos del decorado en los mundos CH?

Resuelta
Preguntado el 21 de Marzo, 2012 por skk
Etiquetas :
Imagen de perfil de Markus Steiner

1

2Resp
439Vistas

Axiomas de la lógica proposicional

Resuelta
Preguntado el 18 de Julio, 2018 por Markus Steiner
Etiquetas :
Imagen de perfil de Anthony Michael Cook

1

1Resp
139Vistas

Consecuencia semántica

Resuelta
Preguntado el 26 de Abril, 2014 por Anthony Michael Cook
Etiquetas :
Imagen de perfil de Jori

3

1Resp
101Vistas

Ampliación del principio de Paris-Harrington

Abierta
Preguntado el 8 de Marzo, 2021 por Jori
Etiquetas :
Imagen de perfil de Constantine

3

1Resp
416Vistas

¿Por qué incluir la igualdad en FOL para ZFC?

Resuelta
Preguntado el 14 de Abril, 2016 por Constantine
Etiquetas :
Foto de perfil de PhilJ

21

1Resp
1598Vistas

La hipótesis del continuo y las uniones contables

Resuelta
Preguntado el 25 de Enero, 2012 por PhilJ
Etiquetas :
Foto de perfil de Guy

21

4Resp
1375Vistas

¿Existe un grupo hiperbólico lacunar no hopfiano?

Resuelta
Preguntado el 18 de Septiembre, 2011 por Guy
Etiquetas :
Imagen de perfil de Javier Arias

2

1Resp
486Vistas

Explicación básica y ejemplos sobre variables "mute"

Resuelta
Preguntado el 28 de Julio, 2018 por Javier Arias
Etiquetas :
Imagen de perfil de Bash

22

4Resp
10064Vistas

¿Por qué se suele utilizar el signo + como operador lógico OR?

Resuelta
Preguntado el 29 de Septiembre, 2014 por Bash
Etiquetas :
Imagen de perfil de RexE

22

8Resp
2176Vistas

Pruebas más sencillas utilizando el axioma de elección

Resuelta
Preguntado el 20 de Enero, 2023 por RexE
Etiquetas :
Foto de perfil de Brabster

12

1Resp
408Vistas

¿Existen grupos acíclicos simples de cardinalidad arbitrariamente grande?

Resuelta
Preguntado el 18 de Diciembre, 2019 por Brabster
Etiquetas :
Foto de perfil de idlatva

2

2Resp
113Vistas

Demuestre que el teorema de la compacidad no se aplica a la lógica infinita

Resuelta
Preguntado el 19 de Abril, 2021 por idlatva
Etiquetas :
Foto de perfil de 6005

1

1Resp
277Vistas

¿Está permitido utilizar la metateoría para demostrar un resultado de independencia?

Resuelta
Preguntado el 11 de Noviembre, 2015 por 6005
Etiquetas :
Imagen de perfil de Aleksandr Levchuk

21

1Resp
943Vistas

No axiomatisabilidad y ultraproductos

Resuelta
Preguntado el 26 de Mayo, 2011 por Aleksandr Levchuk
Etiquetas :
Foto de perfil de Usuario no registrado

3

2Resp
879Vistas

cálculo, álgebra, lógica

Resuelta
Preguntado el 16 de Diciembre, 2009 por Usuario no registrado
Etiquetas :
Imagen de perfil de Daniela Diaz

1

2Resp
277Vistas

Sobre las constantes en el Lenguaje de la Teoría de Conjuntos (con ZF)

Resuelta
Preguntado el 29 de Mayo, 2013 por Daniela Diaz
Etiquetas :
Imagen de perfil de Jatin Khurana

3

2Resp
409Vistas

¿Es posible intercambiar el contenido de dos registros en un solo impulso de reloj?

Resuelta
Preguntado el 7 de Agosto, 2013 por Jatin Khurana
Etiquetas :
Foto de perfil de Lars Nordin

8

2Resp
380Vistas

La fusión de sintaxis y semántica lleva a la lógica infinita

Resuelta
Preguntado el 31 de Diciembre, 2018 por Lars Nordin
Etiquetas :
Foto de perfil de BigSocks

1

0Resp
58Vistas

¿Qué tiene de malo este enfoque ingenuo para resolver la 10ª pro

Resuelta
Preguntado el 10 de Febrero, 2021 por BigSocks
Etiquetas :
Imagen de perfil de FiveOhHO

2

2Resp
116Vistas

Por favor, descomprima esta notación del libro Model Theory de Marker

Resuelta
Preguntado el 24 de Febrero, 2015 por FiveOhHO
Etiquetas :
Foto de perfil de Raha

1

2Resp
144Vistas

Conozco las puertas básicas pero no su estructura

Resuelta
Preguntado el 13 de Marzo, 2015 por Raha
Etiquetas :

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X