Ajustar la búsqueda

Su búsqueda obtuvo 89 resultados.

Ordenar
Resultados
Lógica simbólica / Manuel Garrido

por Garrido, Manuel.

Edición: 6 reimpTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160.1/GAR/log.

Curso Básico de Matemáticas. Unidad 17 : Lógica : Prueba c / preparado por el equipo del curso Básico de Matemáticas

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México : McGraw-Hill, [1975]Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 51/CUR.

Una introducción algebraica a la lógica matemática / Donald W. Barnes, John Mack, Versión española S. Xambó Descamps

por Barnes, Donald.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : EUNIBAR, 1978Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 20.850.

Intuition and the axiomatic method / edited by Emily Carson and Renate Huber

por Carson, Emily | Huber, Renate.

Series University of Western Ontario series in philosophy of science ; 70Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Springer, c2006Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/INT.

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

por Fresán, Javier.

Series El mundo es matemáticoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : RBA, [2010]Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/FRE/log, ...

Logic for computer scientists / Uwe Schöning

por Schöning, Uwe.

Series Progress in computer science and applied logic ; 8Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlín : Birkhäuser, 1989Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/SCH/log, ...

Matemática discreta y sus aplicaciones / Kenneth H. Rosen ; traducción José Manuel Pérez Morales [et al.]

por Rosen, Kenneth H.

Edición: 5ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid [etc.] : McGraw-Hill, 2004Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 519.1/ROS/mat . 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 519.1/ROS/mat, ...

Matemática discreta / Félix García Merayo

por García Merayo, Félix.

Edición: 3ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Paraninfo, 2015Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.6/GAR/mat, ...

Principia mathemática : (hasta el 56) / Alfred North Whitehead y Bertrand Russell

por Whitehead, Alfred North | Russell, Bertrand, (1872-1970).

Series Lógica y teoría de la cienciaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Paraninfo, 1981Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/WHI/pri. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/362.

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Matemática discreta y lógica matemática / María Teresa Hortalá González, Javier Leach Albert, Mario Rodríguez Artalejo

por Hortalá González, María Teresa | Leach Albert, Javier [coautor] | Rodríguez Artalejo, Mario [coautor].

Edición: 4ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Garceta, 2018Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOR/mat. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOR/mat.

Matemática discreta / Félix García Merayo

por García Merayo, Félix.

Edición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Thomson-Paraninfo, 2005Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (7)Ubicación, signatura topográfica: 519.6/GAR/mat, ... No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Máquinas y diagramas lógicos / Martin Gardner

por Gardner, Martin.

Series El Libro de Bolsillo. Ciencia y técnica ; 1091Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza, 1985Nota de disertación: Indice Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 510.6/GAR/maq. 11. BCA.HISTÓRICA - CÁDIZ (1)Ubicación, signatura topográfica: 1.561/Patrimonio. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 681.142.8/GAR/maq.

V Encuentro Andaluz de Matemática Discreta / editado por José Carlos Camacho, et al.

por Encuentro Andaluz de Matemática Discreta ( 5º 2007 La Línea dela Concepción (Cádiz)) | Camacho Moreno, José Carlos | Cera López, Martín [editor literario] | García Vázquez, Pedro | Valenzuela Tripodoro, Juan Carlos.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cádiz : Servicio de Publicaciones de la Universidad, 2007Otro título: Avances en Matemática Discreta .Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 519.6/ENC/ava. No disponible:11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (2).

Lógica simbólica / Manuel Garrido

por Garrido, Manuel.

Series Filosofía y ensayo (Tecnos)Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1974 (reimpr. 1986)Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Dep. - 5/ 29.825. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-214.

Epistemología matemática y psicología : relaciones entre la lógica formal y el pensamiento real / Evert W. Beth y Jean Piaget

por Beth, Evert Willem | Piaget, Jean, 1896-1980 | Sánchez de Zavala, Víctor.

Series Estudios y ensayos ; 62Edición: 2a edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Crítica, 1980Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Depósito - 159.9/BET/epi, ...

Fundamentos de la meta-técnica / por Ernesto Mayz Vallenilla

por Mayz Vallenilla, Ernesto.

Series Hombre y sociedad (Gedisa). Cla-De-MaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Gedisa, 1993Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 5/ 38.773.

Axiomáticas de lógica polivalente y conjuntos polivalentes / Antonio González Carlomán

por González Carlomán, Antonio | Universidad de Oviedo [ed.].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oviedo : Universidad de Oviedo, 2009Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GON/axi.

Logique mathématique, cours et exercices

por Cori, René | Lascar, D, Daniel, 1942-.

Series AxiomesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Masson, 24 cmDisponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/COR/log.

Lógica, programación e inteligencia artificial / Robert Kowalski

por Kowalski, Robert.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3/KOW/log, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/KOW/log. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Páginas

Con tecnología Koha