22/01/2020, 07:35:25 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: 1 2 [3] 4 5 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 2 Visitantes están viendo este foro.
Deducción natural jvintrom 1 555 Último mensaje 13/10/2011, 21:32:58 pm
por administrador
¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? Daniel Contreras 5 555 Último mensaje 15/09/2019, 14:34:58 pm
por Daniel Contreras
WKLo y el análisis real Raúl Aparicio Bustillo 2 556 Último mensaje 01/04/2011, 19:57:41 pm
por Raúl Aparicio Bustillo
Problema de lógica ddmm11 2 557 Último mensaje 18/08/2011, 12:57:01 pm
por ddmm11
Analisis no estandar Raúl Aparicio Bustillo 0 560 Último mensaje 10/05/2011, 17:34:35 pm
por Raúl Aparicio Bustillo
Recursion no primitiva: la suma Hernan_ER 0 561 Último mensaje 07/03/2013, 20:16:18 pm
por Hernan_ER
Simplificar la proposción nktclau 2 561 Último mensaje 19/03/2011, 20:51:00 pm
por nktclau
La paradoja de Russell y la Lógica Cuántica Raúl Aparicio Bustillo 0 562 Último mensaje 02/11/2010, 17:10:35 pm
por Raúl Aparicio Bustillo
Lógica de predicados: Sintaxis. Jambo 5 568 Último mensaje 22/05/2019, 10:50:21 am
por Carlos Ivorra
¿Existen demostraciones infinitas recursivas? Raúl Aparicio Bustillo 0 570 Último mensaje 06/10/2015, 02:26:15 am
por Raúl Aparicio Bustillo
Demostracion de teoremas utilizando axiomas y MP Melina 3 572 Último mensaje 06/09/2011, 17:09:59 pm
por Melina
Lógica Proposicional nktclau 4 573 Último mensaje 02/10/2011, 18:38:41 pm
por nktclau
Logica y Reales nktclau 2 575 Último mensaje 12/04/2012, 18:13:33 pm
por nktclau
Forma de Skolem hrt 4 575 Último mensaje 22/08/2011, 12:42:46 pm
por hrt
Dudas de novato con el segundo teorema de incompletitud. Tanius 1 576 Último mensaje 17/03/2011, 18:43:07 pm
por Raúl Aparicio Bustillo
Teorema de lindström Raúl Aparicio Bustillo 0 579 Último mensaje 04/10/2015, 16:27:29 pm
por Raúl Aparicio Bustillo
Ejercicio de cálculo proposicional paula2008 3 580 Último mensaje 11/05/2010, 06:47:01 am
por Teón
Aritmetica verdadera y consistencia Raúl Aparicio Bustillo 0 580 Último mensaje 08/11/2010, 09:03:03 am
por Raúl Aparicio Bustillo
Duda sobre lógica aristotélica diego_tentor 0 580 Último mensaje 16/07/2017, 09:27:07 am
por diego_tentor
Demostrar que es de Equivalencia AveFenix 5 581 Último mensaje 19/05/2019, 11:23:36 am
por AveFenix
Trascendencia cultural de la lógica matemática y la TC Elius 1 587 Último mensaje 13/12/2011, 05:37:44 am
por Óscar Matzerath
ZFC inconsistente Raúl Aparicio Bustillo 1 588 Último mensaje 01/02/2011, 21:08:47 pm
por LauLuna
Algoritmo de Davis-Putnam(Duda) Yujadeh 0 589 Último mensaje 14/08/2013, 12:17:45 pm
por Yujadeh
Revisión de examen de lógica Dogod 0 596 Último mensaje 26/01/2013, 00:26:13 am
por Dogod
Necesito ayuda con un ejercicio de logica de primer orden lauri_mat 1 596 Último mensaje 27/10/2009, 16:23:43 pm
por topo23
Ejercicio de Inducción Matemática Sagnior 4 596 Último mensaje 08/05/2017, 13:44:59 pm
por Sagnior
Analisis real Raúl Aparicio Bustillo 0 597 Último mensaje 08/11/2010, 08:24:08 am
por Raúl Aparicio Bustillo
Hipótesis guillem_dlc 1 601 Último mensaje 11/06/2017, 16:21:42 pm
por Ignacio Larrosa
Circuito lógico josemate 0 602 Último mensaje 14/05/2011, 02:52:56 am
por josemate
Demostrar que es de Equivalencia AveFenix 8 608 Último mensaje 30/05/2019, 19:29:03 pm
por AveFenix
MOVIDO: Polilla comiendo libros en línea recta Luis Fuentes 0 609 Último mensaje 10/11/2016, 06:01:53 am
por Luis Fuentes
Misterio marai 2 609 Último mensaje 13/12/2011, 16:53:23 pm
por marai
Unicidad de las expresiones Carlos Ivorra 0 610 Último mensaje 26/05/2017, 19:36:38 pm
por Carlos Ivorra
Demostraciones de infinitos pasos Raúl Aparicio Bustillo 1 611 Último mensaje 28/04/2011, 13:54:37 pm
por feriva
ayuda lógica demostración inverse 1 611 Último mensaje 04/11/2012, 15:56:29 pm
por josevc
Probar que es de Equivalencia AveFenix 7 613 Último mensaje 02/06/2019, 12:40:40 pm
por AveFenix
(Duda) Simplificación de una proposición lógica rusocdu 2 617 Último mensaje 20/05/2017, 19:57:39 pm
por rusocdu
Proposición kataina 2 619 Último mensaje 13/05/2012, 14:20:55 pm
por kataina
Vuelvo a escribir el mensaje ...hay un lamer por aquí suelto Raúl Aparicio Bustillo 2 619 Último mensaje 16/10/2011, 17:29:14 pm
por Garubi
Axiomatización de los números reales Raúl Aparicio Bustillo 0 623 Último mensaje 20/04/2011, 07:47:13 am
por Raúl Aparicio Bustillo
Sobre sintaxis. yotas 1 626 Último mensaje 19/04/2012, 21:58:33 pm
por csgutier
Prueba de Conjuntos AveFenix 6 628 Último mensaje 08/05/2019, 06:46:06 am
por Luis Fuentes
Fórmula nktclau 2 629 Último mensaje 31/08/2015, 16:18:14 pm
por nktclau
Obtener las variables libres de una fórmula jdcc 2 631 Último mensaje 26/07/2011, 09:55:12 am
por jdcc
Sobre la creación de una teoría y de sus modelos Raúl Aparicio Bustillo 1 631 Último mensaje 10/12/2011, 14:50:40 pm
por Carlos Ivorra
Ayuda en demostraciones NicoCht 1 632 Último mensaje 10/03/2011, 20:46:48 pm
por héctor manuel
Simplificación burromatematico 1 635 Último mensaje 25/04/2015, 19:02:21 pm
por Carlos Ivorra
Consistencia ZFC Raúl Aparicio Bustillo 2 637 Último mensaje 27/10/2010, 20:21:54 pm
por argentinator
Conjuntos Dogod 3 641 Último mensaje 11/05/2010, 18:58:03 pm
por Teón
Epiménides el mentiroso ¿paradoja o falacia? Elius 0 642 Último mensaje 07/12/2016, 19:52:21 pm
por Elius
Páginas: 1 2 [3] 4 5 ... 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!