22/01/2020, 22:16:56 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 3 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 5514 Último mensaje 06/12/2017, 00:33:51 am
por informatik
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 7612 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 143748 Último mensaje 04/04/2017, 20:52:53 pm
por Elius
Dudas sobre semántica (y derivaciones)? Jambo 0 92 Último mensaje 03/11/2019, 19:30:49 pm
por Jambo
Estudiar validez del siguiente razonamiento con cuantificadores y constante manooooh 3 138 Último mensaje 08/12/2019, 18:50:40 pm
por manooooh
Estudiar validez de un razonamiento con un universal y ¿dos? existenciales manooooh 4 198 Último mensaje 10/11/2019, 12:55:07 pm
por manooooh
¿Cómo probar que el existencial no distribuye respecto a la conjunción? manooooh 4 218 Último mensaje 01/11/2019, 22:02:06 pm
por manooooh
El juego de los números naturales: demostraciones asistidas con Lean geómetracat 5 225 Último mensaje 12/11/2019, 21:45:33 pm
por manooooh
MOVIDO: Demostracion Conjuntos Fernando Revilla 0 227 Último mensaje 08/05/2019, 12:49:16 pm
por Fernando Revilla
Borrar mensaje Elius 0 238 Último mensaje 22/05/2019, 23:29:25 pm
por Elius
¿Existe una definición matemática que solamente valga en un sentido? manooooh 0 238 Último mensaje 07/06/2019, 00:00:32 am
por manooooh
Algebra de Boole AB'+B'C+AC' damianiq 2 258 Último mensaje 04/08/2019, 18:05:03 pm
por geómetracat
Diferencias de Equivalencias Ejemplos AveFenix 1 285 Último mensaje 19/05/2019, 12:16:58 pm
por Luis Fuentes
Validez de \((p\wedge q)\to r\), \(\neg r\vee t\), \(\neg t\therefore\neg p\) manooooh 1 294 Último mensaje 25/05/2019, 21:53:53 pm
por noisok
¿Es \(\neg\forall xp(x)\to q(x)\) equivalente a \(\exists xp(x)\land\neg q(x)\)? manooooh 3 349 Último mensaje 20/07/2019, 16:27:35 pm
por manooooh
Verdadero o falso de consecuencia lógica. Jambo 1 353 Último mensaje 28/04/2019, 10:52:22 am
por Carlos Ivorra
Sobre el uso o no de paréntesis para cuantificadores manooooh 8 368 Último mensaje 17/11/2019, 15:16:05 pm
por manooooh
De las expresiones siguientes, ¿cuál es un predicado matemático? guillem_dlc 0 382 Último mensaje 09/06/2017, 04:20:17 am
por guillem_dlc
Ejercicio de lógica proposicional con tabla de verdad dana_mp 1 391 Último mensaje 11/05/2019, 23:59:21 pm
por manooooh
Demostrar Conjuntos , V o F. AveFenix 2 398 Último mensaje 07/05/2019, 05:09:03 am
por feriva
Demostrar Equivalencia y Determinar la Relación de Alfa Y Beta.. AveFenix 3 407 Último mensaje 27/05/2019, 13:20:54 pm
por AveFenix
Problema con proposiciones lógicas Facundo E. 2 409 Último mensaje 11/03/2019, 11:25:30 am
por Facundo E.
El barbero de Russell no es paradójico con Lógica Normativa Elius 0 424 Último mensaje 04/04/2017, 15:01:03 pm
por Elius
Sobre la proposición de Gödel Raúl Aparicio Bustillo 0 441 Último mensaje 21/11/2010, 14:32:06 pm
por Raúl Aparicio Bustillo
Analizar la validez del razonamiento \(p\to q;\;q\to r\vee s;\;r\therefore p\) manooooh 4 445 Último mensaje 22/07/2019, 02:11:43 am
por geómetracat
Método de la tautología lindtaylor 0 456 Último mensaje 22/05/2015, 03:07:22 am
por lindtaylor
La teoría de tipos ramificada Raúl Aparicio Bustillo 0 458 Último mensaje 03/10/2011, 11:08:00 am
por Raúl Aparicio Bustillo
Demostrar que es de Equivalencia AveFenix 4 460 Último mensaje 01/06/2019, 14:45:46 pm
por Luis Fuentes
Números no estandar Raúl Aparicio Bustillo 0 462 Último mensaje 03/11/2010, 15:27:47 pm
por Raúl Aparicio Bustillo
Lógica Raúl Aparicio Bustillo 0 464 Último mensaje 02/12/2010, 15:15:22 pm
por Raúl Aparicio Bustillo
Números reales , RCAo y WKLo Raúl Aparicio Bustillo 0 474 Último mensaje 31/03/2011, 09:19:18 am
por Raúl Aparicio Bustillo
Duda en ejercicio (deducción natural - lenguajes de primer orden) SantiagoUy 0 474 Último mensaje 12/02/2013, 17:04:07 pm
por SantiagoUy
Lógica Proposicional ; Lógica de orden 0 jdcc 0 476 Último mensaje 10/06/2011, 22:29:37 pm
por jdcc
Test Lógica de predicados - Formalizar foxybcn 1 477 Último mensaje 23/04/2017, 19:23:52 pm
por Carlos Ivorra
Negaciones Raúl Aparicio Bustillo 0 478 Último mensaje 17/02/2011, 15:46:51 pm
por Raúl Aparicio Bustillo
Lógica Cuántica Raúl Aparicio Bustillo 0 478 Último mensaje 19/12/2010, 12:31:09 pm
por Raúl Aparicio Bustillo
Métodos de demostración nktclau 2 479 Último mensaje 09/07/2011, 17:51:17 pm
por nktclau
Razonamientos válidos y deductivos arkady-svidrigailov 0 481 Último mensaje 23/06/2015, 06:10:01 am
por arkady-svidrigailov
Ayuda con inducciòn en Lenguajes eze32 0 481 Último mensaje 22/02/2011, 15:54:25 pm
por eze32
WKL0 ¿no define todos los reales? Raúl Aparicio Bustillo 0 482 Último mensaje 02/04/2011, 04:58:05 am
por Raúl Aparicio Bustillo
Los números naturales Raúl Aparicio Bustillo 0 482 Último mensaje 18/10/2010, 05:50:20 am
por Raúl Aparicio Bustillo
¿Cuánta matemática se necesita para la ciencia? Raúl Aparicio Bustillo 0 483 Último mensaje 13/04/2011, 11:30:52 am
por Raúl Aparicio Bustillo
Hipótesis y tesis guillem_dlc 1 484 Último mensaje 09/06/2017, 08:55:15 am
por Luis Fuentes
Sobre una verdad en lógica. lindtaylor 1 484 Último mensaje 05/12/2010, 00:23:18 am
por mathtruco
Pregunta sobre demostraciones en teoría de conjuntos yotas 0 485 Último mensaje 17/03/2012, 22:28:12 pm
por yotas
Expresiones ciertas, falsas y ambiguas guillem_dlc 1 485 Último mensaje 09/06/2017, 07:13:03 am
por Luis Fuentes
Predicativismo Raúl Aparicio Bustillo 1 487 Último mensaje 03/05/2011, 18:18:26 pm
por Óscar Matzerath
Números reales Raúl Aparicio Bustillo 0 488 Último mensaje 15/04/2011, 04:41:13 am
por Raúl Aparicio Bustillo
Infinito potencial Raúl Aparicio Bustillo 1 490 Último mensaje 01/10/2010, 12:25:51 pm
por Óscar Matzerath
Demostración axiomática Pirhod 1 491 Último mensaje 31/08/2011, 18:08:26 pm
por Óscar Matzerath
Páginas: [1] 2 3 ... 15   Ir Arriba
 

Temas en los que has publicado
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema Fijado
:  
Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!