Foros de matemática
20/11/2017, 04:15:32 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: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1] 2 3 ... 14   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 4 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 1 3300 Último mensaje 19/09/2017, 10:58:18 am
por LauLuna
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 101807 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 5001 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Principio de Recursión Estructural Hipsilver 3 97 Último mensaje 05/11/2017, 03:10:35 pm
por pierrot
Prueba deductiva y inferencia lógica albertopaezr 0 58 Último mensaje 18/10/2017, 07:32:28 pm
por albertopaezr
Duda con una proposición albertorvr 4 192 Último mensaje 10/10/2017, 10:55:14 pm
por mario
Funciones lógicas telu 3 140 Último mensaje 07/10/2017, 03:48:10 am
por telu
Hawking y los extraterrestres Quema 1 94 Último mensaje 29/09/2017, 05:12:54 pm
por feriva
Coprimos: (a,b)=(a,c)=1 => (a,bc)=1 manooooh 6 316 Último mensaje 22/09/2017, 01:07:09 pm
por Juan Pablo Sancho
Cuantificadores R_Gauss 3 153 Último mensaje 18/09/2017, 01:14:12 pm
por LauLuna
Problema buscando contraejemplo a secuentes Kront 1 103 Último mensaje 18/09/2017, 11:38:34 am
por LauLuna
¿ES INCONSISTENTE LA TEORÍA MODAL DE CONJUNTOS DE LINNEBO? LauLuna 0 56 Último mensaje 18/09/2017, 11:24:28 am
por LauLuna
Sobre la hipótesis de inducción « 1 2 3 » feriva 43 1018 Último mensaje 11/09/2017, 02:23:05 am
por feriva
Ejercicios de Cuantificadores MedSpock 1 85 Último mensaje 04/09/2017, 04:45:34 am
por arkady-svidrigailov
Teorías aritméticas como interpretaciones de AP geómetracat 2 149 Último mensaje 29/08/2017, 10:14:32 am
por geómetracat
Funcion proposicional - Cuantificadores surfer 1 146 Último mensaje 21/08/2017, 03:43:22 pm
por arkady-svidrigailov
Sobre la demostración formalizada alexpglez 12 528 Último mensaje 14/08/2017, 09:50:46 am
por alexpglez
¿Por qué esta relación recursiva? alexpglez 2 181 Último mensaje 12/08/2017, 03:23:36 pm
por alexpglez
Sobre Relaciones semirrecursivas alexpglez 3 126 Último mensaje 11/08/2017, 06:08:48 am
por Carlos Ivorra
Dudas sobre Jerarquía de Levy alexpglez 5 192 Último mensaje 06/08/2017, 06:31:53 pm
por Carlos Ivorra
Duda sobre lógica aristotélica diego_tentor 0 102 Último mensaje 16/07/2017, 09:27:07 am
por diego_tentor
Principio de Inducción matemática YeffGC 2 172 Último mensaje 03/07/2017, 05:08:02 am
por Luis Fuentes
Comprobar validez de razonamiento lógico manooooh 4 516 Último mensaje 18/06/2017, 07:38:11 pm
por manooooh
Hipótesis guillem_dlc 1 125 Último mensaje 11/06/2017, 04:21:42 pm
por Ignacio Larrosa
¿Cuál es incorrecta? guillem_dlc 12 297 Último mensaje 11/06/2017, 07:30:24 am
por feriva
Equivalencia de proposiciones guillem_dlc 7 237 Último mensaje 10/06/2017, 05:38:43 pm
por robinlambada
Enunciados ciertos y falsos guillem_dlc 1 117 Último mensaje 10/06/2017, 08:07:25 am
por Ignacio Larrosa
¿Gana las elecciones? guillem_dlc 1 128 Último mensaje 09/06/2017, 12:06:44 pm
por Luis Fuentes
Implicaciones ciertas o falsas guillem_dlc 1 120 Último mensaje 09/06/2017, 10:19:48 am
por Luis Fuentes
Afirmación cierta o falsa guillem_dlc 1 118 Último mensaje 09/06/2017, 10:04:19 am
por feriva
Hipótesis y tesis guillem_dlc 1 114 Último mensaje 09/06/2017, 08:55:15 am
por Luis Fuentes
Expresiones ciertas, falsas y ambiguas guillem_dlc 1 102 Último mensaje 09/06/2017, 07:13:03 am
por Luis Fuentes
De las expresiones siguientes, ¿cuál es un predicado matemático? guillem_dlc 0 96 Último mensaje 09/06/2017, 04:20:17 am
por guillem_dlc
Demostrar por resolución* Naoj 4 601 Último mensaje 06/06/2017, 07:08:05 pm
por luis
Demostrar por resolución Naoj 1 250 Último mensaje 06/06/2017, 12:30:55 pm
por Luis Fuentes
Formalizar unas frases de lógica de predicados. foxybcn 2 249 Último mensaje 30/05/2017, 05:24:33 pm
por Carlos Ivorra
Unicidad de las expresiones Carlos Ivorra 0 258 Último mensaje 26/05/2017, 07:36:38 pm
por Carlos Ivorra
Construir un modelo, completitud alexpglez 4 652 Último mensaje 25/05/2017, 08:55:21 am
por alexpglez
Sobre la consistencia de K_L alexpglez 2 414 Último mensaje 25/05/2017, 08:00:32 am
por alexpglez
Sobre la cardinalidad de las constantes, variables, funtores, relatores alexpglez 2 311 Último mensaje 24/05/2017, 10:02:30 pm
por alexpglez
Silogismos. Lógica. nicolasborr 1 219 Último mensaje 24/05/2017, 02:59:09 pm
por mathtruco
Equivalencia de funciones lógicas ediyu 1 182 Último mensaje 22/05/2017, 07:16:25 am
por Luis Fuentes
(Duda) Simplificación de una proposición lógica rusocdu 2 228 Último mensaje 20/05/2017, 07:57:39 pm
por rusocdu
Formalizar unos predicados. foxybcn 8 742 Último mensaje 09/05/2017, 11:48:44 am
por arkady-svidrigailov
Duda de inducción matemática Sagnior 2 194 Último mensaje 09/05/2017, 12:37:32 am
por Sagnior
Ejercicio de Inducción Matemática Sagnior 4 267 Último mensaje 08/05/2017, 01:44:59 pm
por Sagnior
Test Lógica de predicados - Formalizar foxybcn 1 173 Último mensaje 23/04/2017, 07:23:52 pm
por Carlos Ivorra
La disyunción exclusiva para 3 letras sentenciales Kront 13 594 Último mensaje 23/04/2017, 03:22:31 pm
por Kront
¿Son los Elementos un sistema axiomático? Carlos Ivorra 6 749 Último mensaje 06/04/2017, 02:43:10 pm
por Carlos Ivorra
El barbero de Russell no es paradójico con Lógica Normativa Elius 0 187 Último mensaje 04/04/2017, 03:01:03 pm
por Elius
Páginas: [1] 2 3 ... 14   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.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!