Cerebros, máquinas y matemáticas / Michael A. Arbib

Público ISBD Título : Cerebros, máquinas y matemáticas Tipo de documento: texto impreso Autores: Michael A. Arbib Editorial: Madrid : Alianza Fecha de publicación: 1964 Número de páginas: 165 p Nota general: Versión española de Eva Sánchez Mañes Idioma : Español Temas: CEREBRO CIBERNETICA COMUNICACION GÖDEL, KURT, 1906-1978 MAQUINARIA NEURONAS REDES TEOREMAS TEORIA DE LA COMUNICACION Clasificación: 003.5 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71612 Cerebros, máquinas y matemáticas [texto impreso] / Michael A. Arbib . - Madrid : Alianza, 1964 . - 165 p. Versión española de Eva Sánchez Mañes Idioma : Español Temas: CEREBRO CIBERNETICA COMUNICACION GÖDEL, KURT, 1906-1978 MAQUINARIA NEURONAS REDES TEOREMAS TEORIA DE LA COMUNICACION Clasificación: 003.5 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71612

Reserva

Reservar este documento

Ejemplares

Inventario	Ubicación en el estante	Tipo de medio	Sección	Ubicación	Estado
030112	003.5 ARBc	Libro	Colección	Biblioteca Central	Disponible

El álgebra de la lógica / Louis Couturat

Público ISBD Título : El álgebra de la lógica Tipo de documento: texto impreso Autores: Louis Couturat Editorial: Madrid : Tecnos Fecha de publicación: 1976 Número de páginas: 102 p Nota general: Introducción de Esteban Requena Idioma : Español Temas: BOOLE, GEORGE CLASE FUNCIONES LOGICA LOGICA MATEMATICA SILOGISMO TEOREMAS TEORIA DE CONJUNTOS Clasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71534 El álgebra de la lógica [texto impreso] / Louis Couturat . - Madrid : Tecnos, 1976 . - 102 p. Introducción de Esteban Requena Idioma : Español Temas: BOOLE, GEORGE CLASE FUNCIONES LOGICA LOGICA MATEMATICA SILOGISMO TEOREMAS TEORIA DE CONJUNTOS Clasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71534

Reserva

Reservar este documento

Ejemplares

Inventario	Ubicación en el estante	Tipo de medio	Sección	Ubicación	Estado
030202	160 COUa	Libro	Colección	Biblioteca Central	Disponible

EL desarrollo de la teoría de la cuantificación / Jean Van Heijenoort

Público ISBD Título : EL desarrollo de la teoría de la cuantificación Tipo de documento: texto impreso Autores: Jean Van Heijenoort Editorial: México, D.F. : Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas Fecha de publicación: 1976 Número de páginas: 56 p Idioma : Español Temas: ALGEBRA AXIOMAS GRAMATICA GRUPOS HISTORIA LENGUAJE LOGICA LOGICA MATEMATICA TEOREMAS TEORIA TERMINOLOGIA Clasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71540 EL desarrollo de la teoría de la cuantificación [texto impreso] / Jean Van Heijenoort . - México, D.F. : Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, 1976 . - 56 p. Idioma : Español Temas: ALGEBRA AXIOMAS GRAMATICA GRUPOS HISTORIA LENGUAJE LOGICA LOGICA MATEMATICA TEOREMAS TEORIA TERMINOLOGIA Clasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71540

Reserva

Reservar este documento

Ejemplares

Inventario	Ubicación en el estante	Tipo de medio	Sección	Ubicación	Estado
030193	160 VANd	Libro	Colección	Biblioteca Central	Disponible

Elementos de metodología de las ciencias. / Jesús García López

Público ISBD Título : Elementos de metodología de las ciencias. Tipo de documento: texto impreso Autores: Jesús García López Editorial: Pamplona : EUNSA Fecha de publicación: 1999 Colección: Cuadernos de Anuario Filosófico Subcolección: Serie Universitaria Número de páginas: v.94, 97 p Idioma : Español Temas: ABSTRACCION AXIOMAS BIOLOGIA CIENCIA CIENCIAS CULTURALES CIENCIAS FORMALES CIENCIAS NATURALES CONOCIMIENTO DEFINICIONES FILOSOFIA FILOSOFIA DE LA CIENCIA INTUICION LOGICA METODOLOGIA POSTULADOS TEOREMAS VERDAD Clasificación: 105 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=14111 Elementos de metodología de las ciencias. [texto impreso] / Jesús García López . - Pamplona : EUNSA, 1999 . - v.94, 97 p. - (Cuadernos de Anuario Filosófico. Serie Universitaria) . Idioma : Español Temas: ABSTRACCION AXIOMAS BIOLOGIA CIENCIA CIENCIAS CULTURALES CIENCIAS FORMALES CIENCIAS NATURALES CONOCIMIENTO DEFINICIONES FILOSOFIA FILOSOFIA DE LA CIENCIA INTUICION LOGICA METODOLOGIA POSTULADOS TEOREMAS VERDAD Clasificación: 105 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=14111

Reserva

Reservar este documento

Ejemplares

Inventario	Ubicación en el estante	Tipo de medio	Sección	Ubicación	Estado
022930	105 CAF v.94	Libro	Colección	Biblioteca Central	Disponible

Ensayos inéditos / Kurt Gödel

Público ISBD Título : Ensayos inéditos Tipo de documento: texto impreso Autores: Kurt Gödel ; Francisco Rodríguez Consuegra, Editor Editorial: Barcelona : Grijalbo Mondadori Fecha de publicación: 1994 Número de páginas: 240 p Nota general: Prólogo de W. V. Quine Idioma : Español Temas: LENGUAJE LOGICA MATEMATICA MATEMATICAS REALISMO SINTAXIS TEOREMAS Clasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=70983 Ensayos inéditos [texto impreso] / Kurt Gödel ; Francisco Rodríguez Consuegra, Editor . - Barcelona : Grijalbo Mondadori, 1994 . - 240 p. Prólogo de W. V. Quine Idioma : Español Temas: LENGUAJE LOGICA MATEMATICA MATEMATICAS REALISMO SINTAXIS TEOREMAS Clasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=70983

Reserva

Reservar este documento

Ejemplares

Inventario	Ubicación en el estante	Tipo de medio	Sección	Ubicación	Estado
029722	511.3 GODe	Libro	Colección	Biblioteca Central	Disponible

Fundamentos de la matemática / Alberto Dou

Permalink

I limiti interni dei formalismi nell'opera di Jean Ladrière / Vittorio Mathieu

Permalink

Introducción a la matemática / Stephen Cole Kleene

Permalink

Introducción a la teoría de grupos finitos / Walter Ledermann

Permalink

Lineamenti di logica matematica / Ettore Casari

Permalink

Lógica matemática elemental / Benson Mates

Permalink

Metalogica. Introducción a la metateoría de la lógica clásica de primer orden / Geoffrey Hunter

Permalink

Observación y explicación / Norwood Russell Hanson

Permalink

Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel / Andrezej Mostowski

Permalink

Teoría de modelos / María Manzano

Permalink

Theory of formal systems / Raymond M. Smullyan

Permalink

---

page 1/1