Ajustar la búsqueda

Su búsqueda obtuvo 194 resultados.

Ordenar
Resultados
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, ...

From signs to propositions : the concept of form in eighteenth-century semantic theory / Stephen K. Land

por Land, Stephen K.

Series Longman linguistics library ; 16Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: London : Longman, 1974Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-43/6-236.

Grammaire de Montague : Langage, traduction, interpretation

por Chambreuil, Michel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Clermont : Adosa, 1989Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/3-109.

Lógica para informáticos / Rafel Farré Cirera... [et al.]

por Farré Cirera, Rafel [coautor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : marcombo, 2011Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/LOG.

From Frege to Gödel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort.

por Heijenoort, Jean van.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Lincoln : iUniverse.com, 1999Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.6/HEI/fro.

Matemática discreta para la computación : nociones teóricas y problemas resueltos / Miguel Ángel García Muñoz.

por García Muñoz, Miguel Ángel.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Jaén : Universidad de Jaén, 2010Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ...

Lógica aplicada : vaguedad e incertidumbre / Ángel Garrido.

por Garrido, Ángel.

Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Madrid : Dykinson, D.L. 2014Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6436.

La logique du temps / Jean Louis Gardies

por Gardies, Jean-Louis.

Series Col. SUP. Le philosophe ; 120Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Presses Universitaires de France, 1975Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-14/1-038.

Matemática finita : conjuntos, lógica, estructuras, probabilidades / Sixto Ríos

por Rios, Sixto.

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

Cómo entender y hacer demostraciones en matemáticas / Daniel Solow

por Solow, Daniel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Limusa, 1987Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-16.

Introducción a la lógica formal / Alfredo Deaño.

por Deaño, Alfredo.

Series Manuales/Filosofía y Pensamiento ; 035. | El libro universitarioEdición: [1ª ed., 1ª reimp. en "Manuales"]Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 2001Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-45/5-258.

La estructura de la ciencia : problemas de la lógica de la investigación científica / Ernest Nagel, tr. Nestor Minguez

por Nagel, Ernest | Nagel, Ernest, 1901. La estructura de la ciencia.

Series Paidós Studio/Básica ; 4Edición: reimp.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Ediciones Paidós, 1989Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: Depósito-001:1/NAG/est. 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 164/MAG/est. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 167/NAG/est.

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.

Algebra de Boole y lógica / Ignacio Jané

por Jane, Ignacio | Universidad de Barcelona.

Series Materials Docents ; 5Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Universitat, 1989Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 512.563/JAN/alg.

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.

Modeling in Event-B : system and software engineering / Jean-Raymond Abrial

por Abrial, Jean-Raymond.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Edinburgh : Cambridge University Press, 2010Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Essential logic for computer science / Rex Page and Ruben Gamboa

por Page, Rex | Gamboa, Ruben [coautor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Massachussetts : The MIT Press, 2018Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3:510.6/PAG/ess.

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.

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.

Pensar matemáticamente / John Mason, Leone Burton, Kaye Stacey ; [traducción de Mariano Martínez Pérez]

por Mason, J. C | Burton, Leone | Stacey, Kaye.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Madrid : Labor; Centro de Publicaciones del MEC, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/MAS/pen.

Páginas

Con tecnología Koha