511.3 : LÓGICA MATEMÁTICA

Documentos en la biblioteca con la clasificación 511.3

El sueño de la razón: La lógica matemática y sus paradojas / Javier Fresán

Público ISBD Título : El sueño de la razón: La lógica matemática y sus paradojas Tipo de documento: texto impreso Autores: Javier Fresán, Autor Editorial: Rodesa [España] : RBA Fecha de publicación: c2011 Colección: El mundo es matemático Número de páginas: 141 p. ISBN/ISSN/DL: 978-84-473-6972-0 Idioma : Español (spa) Etiquetas: AXIOMA  CONJUNTO  PARADOJA  HILBERT  GÖDEL  TURING  FORMALISMO  INTELIGENCIA ARTIFICIAL Clasificación: 511.3 LÓGICA MATEMÁTICA Resumen: Resumen tomado de la Obra: "En el primer tercio del siglo pasado, dos lógicos eminentes propinaron sendos mazazos a los pilares del imponente edificio matemático que se había ido erigiendo desde tiempos de Euclides. Algunos quisieron ver en los trabajos de Bertrand Russell y Kurt Gödel la derrota de la razón; otros, por el contrario, partieron de ellos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso." El sueño de la razón: La lógica matemática y sus paradojas [texto impreso] / Javier Fresán, Autor . - Rodesa (España) : RBA, c2011 . - 141 p.. - (El mundo es matemático) . ISBN : 978-84-473-6972-0 Idioma : Español (spa) Etiquetas: AXIOMA  CONJUNTO  PARADOJA  HILBERT  GÖDEL  TURING  FORMALISMO  INTELIGENCIA ARTIFICIAL Clasificación: 511.3 LÓGICA MATEMÁTICA Resumen: Resumen tomado de la Obra: "En el primer tercio del siglo pasado, dos lógicos eminentes propinaron sendos mazazos a los pilares del imponente edificio matemático que se había ido erigiendo desde tiempos de Euclides. Algunos quisieron ver en los trabajos de Bertrand Russell y Kurt Gödel la derrota de la razón; otros, por el contrario, partieron de ellos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso."

Ejemplares

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
L08061	511.3 FREs	Libro	Secundaria	CIENCIAS	Disponible

Lógica para matemáticos / A. G. Hamilton

Público ISBD Título : Lógica para matemáticos Tipo de documento: texto impreso Autores: A. G. Hamilton, Autor Editorial: Madrid : Paraninfo Fecha de publicación: 1981 Colección: Lógica y teoría de la ciencia Número de páginas: 243 p. ISBN/ISSN/DL: 978-84-283-1101-4 Nota general: Incluye índice y bibliografía. Idioma : Español (spa) Clasificación: 511.3 LÓGICA MATEMÁTICA Nota de contenido: Cálculo de enunciados informal - Cálculo de enunciados formal - Cálculo de predicados informal - Cálculo de predicados formal - Sistemas matemáticos - El teorema de incompletitud de Godel - Computabilidad, insolubilidad, indecidibilidad - Conjuntos numerables y no numerables. Lógica para matemáticos [texto impreso] / A. G. Hamilton, Autor . - Madrid : Paraninfo, 1981 . - 243 p.. - (Lógica y teoría de la ciencia) . ISBN : 978-84-283-1101-4 Incluye índice y bibliografía. Idioma : Español (spa) Clasificación: 511.3 LÓGICA MATEMÁTICA Nota de contenido: Cálculo de enunciados informal - Cálculo de enunciados formal - Cálculo de predicados informal - Cálculo de predicados formal - Sistemas matemáticos - El teorema de incompletitud de Godel - Computabilidad, insolubilidad, indecidibilidad - Conjuntos numerables y no numerables.

Ejemplares

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
L08144	511.3 HAMl	Libro	Secundaria	CIENCIAS	Disponible