Respuestas del usuario 257594

Puntuación Visitas Fecha
Avatar de Bram28

0 votos

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

Respondido el 25 de Abril, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Principio de inducción

Respondido el 30 de Agosto, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

¿Cuál es la diferencia en los procedimientos de prueba por resolución en los siguientes escenarios?

Aceptada
Respondido el 19 de Mayo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Demostrar la reflexividad con el programa Fitch

Respondido el 27 de Octubre, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

-1 votos

Probabilidad sentada en una mesa redonda

Respondido el 8 de Noviembre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

pregunta de derivación para el cálculo de predicados

Respondido el 13 de Enero, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

3 votos

Cuando era becario las demostraciones se hacían con equivalencias, pero los razonamientos parecen decir que con usar implicaciones sería suficiente?

Aceptada
Respondido el 13 de Febrero, 2022 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Elegir un amigo popular frente a uno impopular

Aceptada
Respondido el 10 de Noviembre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

¿Cómo construir la ecuación para esta pregunta?

Aceptada
Respondido el 5 de Noviembre, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿Puede utilizar el principio de inducción matemática (PMI) en cualquier conjunto contablemente infinito?

Respondido el 16 de Mayo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Desde 11 à 5050 , tome un par de enteros de modo que su suma sea mayor que 5050

Aceptada
Respondido el 20 de Febrero, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

Problema de combinación simple

Aceptada
Respondido el 10 de Julio, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Lógica de primer orden : Predicados

Aceptada
Respondido el 1 de Junio, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Cambio de variables en la lógica de primer orden: Enunciado en la "Teoría de Conjuntos" de Cohen

Aceptada
Respondido el 26 de Mayo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿Cuál es la diferencia entre un enunciado y una frase en lógica matemática?

Respondido el 24 de Diciembre, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Negando ∃x∀z∃y(S(x,y) ∧ C(y,z))

Respondido el 19 de Septiembre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Pregunta de interpretación lógica

Aceptada
Respondido el 17 de Abril, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Demostración a partir de los axiomas de PA Todo número natural tiene un resto 0 o 1 o 2 cuando se divide por 3

Aceptada
Respondido el 11 de Noviembre, 2016 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

10 votos

¿Cómo puedo expresar el "cuantificador de unicidad" sin " ∃! "?

Respondido el 4 de Mayo, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Aplicación correcta de la hipótesis inductiva

Respondido el 11 de Enero, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Hormiga caminando en hexágono

Respondido el 29 de Noviembre, 2016 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Por qué dividimos con r! al calcular combinaciones sin repeticiones

Respondido el 28 de Marzo, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

3 votos

¿Está bien escrita esta deducción que utiliza la regla =elim?

Aceptada
Respondido el 17 de Enero, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Hitori y la conectividad de los gráficos

Aceptada
Respondido el 29 de Octubre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

¿Cuál es el último dígito de 382011 ?

Respondido el 14 de Agosto, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

¿Es esta una representación adecuada para " b es una potencia de 2" usando TNT de Gödel, Escher, Bach

Respondido el 13 de Junio, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

8 votos

¿De cuántas maneras diferentes se pueden formar dos equipos de cinco jugadores cada uno?

Aceptada
Respondido el 28 de Diciembre, 2021 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿Cuál de las siguientes es una tautología?

Aceptada
Respondido el 29 de Enero, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

3 votos

Lenguaje Natural a Lógica Proposicional Formal, "no se lleva ninguna"

Aceptada
Respondido el 27 de Julio, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Pregunta sobre el cuantificador anidado, ¿cuál es la diferencia entre --> y ∧?

Aceptada
Respondido el 10 de Octubre, 2019 por Bram28
q2astack::content.general.tags :

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