Your search returned 33 results.

Not what you expected? Check for suggestions
Matemática discreta y lógica: una perspectiva desde la ciencia de la computación/ Winfried Karl Grassmann; Jean-Paul Tremblay

by Grassmann, Winfried Karl | Tremblay, Jean-Paul.

Language: Spanish Publisher: Madrid: Prentice Hall 1997Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 G717m (7).

Lattices and Ordered Algebraic Structures/ T.S. Blyth

by Blyth, T.S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer 2005Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.33 B597L (1).

Matemáticas discretas 2: notas de clase/ Jaime Alejandro Bohórquez Villamizar y Camilo Rocha N.

by Bohórquez Villamizar, Jaime Alejandro | Rocha N., Camilo.

Publisher: Bogotá: Escuela Colombiana de Ingeniería 2005Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B646m (3).

Fundamentos de lógica simbólica / Alice Ambrose Morris Lazerowitz

by Morris Lazerowitz, Alice Ambrose | González Aramburo, Francisco [tr].

Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Language: Spanish Publisher: Mexico D.F : Universidad Nacional Autónoma de México, 1968Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 M875f (1).

Set Theory with applications/ Shwu-Yeng T. Lin and You-Feng Lin

by Lin, Shwu-Yeng T | Lin, You-Feng.

Publisher: Tampa: Book Publishers 1985Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.322 L630s (1).

Ambiente visual para el aprendizaje de sistemas formales [Recurso Electrónico] / Joana Marcela Garcia Melo.

by Garcia Melo, Joana Marcela | Chaparro Aguilar, Raúl Alfredo [dir.].

Material type: Computer file Computer file; Format: electronic ; Audience: Specialized; Publisher: Bogotá (Colombia): Escuela Colombiana de Ingeniería Julio Garavito, 2017Dissertation note: Tesis (Ingeniero de Sistemas) Online access: Click here to access online Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 003 G216a Ts (1).

Organización de computadoras: un enfoque estructurado/ Andrew S. Tanenbaum

by Tanenbaum, Andrew S.

Edition: 4 Language: Spanish Publisher: México: Prentice Hall 1992Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 004.22 T164o (2). Lost (1).

Lógica formal para informáticos/ Lourdes Arenas Alegría

by Arenas Alegría, Lourdes.

Language: Spanish Publisher: Madrid: Díaz de Santos 1996Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 160 A731L (1).

Ambiente gráfico para el aprendizaje de lógica a traves de acertijos lógicos/ Julian Mauricio Jaramillo Alfonso y César Augusto Guzmán Amaya

by Jaramillo Alfonso, Julian Mauricio | Guzmán Amaya, César Augusto Chaparro Aguilar, Raúl Alfredo, dir.

Publisher: Bogotá: Escuela Colombiana de Ingeniería 2007Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 003 J171a Ts (2).

Introducción a la historia y a la filosofía de la matemática/ Alberto Campos Sánchez

by Campos Sánchez, Alberto.

Publisher: Bogotá: Universidad Nacional de Colombia 2006Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 501 C156i (1).

Logic for mathematicians/ J. Barkley Rosser.

by Rosser, John Barkley.

Publisher: New York: Dover Publications 2008Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 R677L (1).

Logic for mathematics and computer science/ Stanley N. Burris

by Burris, Stanley N.

Publisher: Upper Saddle River: Prentice Hall 1998Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B877L (1).

El concepto de modelo: Bases para una epistemología materialista de las matemáticas / Alain Badiou

by Badiou, Alain | Acevedo, Hugo [tr.].

Edition: 3a ed.Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Mexico D.F.: Siglo Veintiuno Editores, 1978Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 510.1 B136c (1).

Mathematical logic / H D. Ebbinghaus, J. Flum, W. Thomas

by Ebbinghaus, Heinz Dieter | Flum, Jörg | Thomas, Wolfgang.

Edition: 2a.ed.Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Language: English Original language: German Publisher: New York : Springer Verlag; 1994Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 E154 (2).

Lógica y matemáticas discretas en la informática: el estilo calculatorio / Jaime Alejandro Bohórquez Villamizar

by Bohórquez Villamizar, Jaime Alejandro.

Publisher: Bogotá: Escuela Colombiana de Ingeniería 2012Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B646L (7).

El hombre que calculaba/ Malba Tahan

by Tahan, Malba | Murillo, Ana, tr.

Language: Spanish Publisher: Bogotá: Panamericana Editorial 1999Availability: Items available for loan: Biblioteca SatéliteCall number: 793.74 T141h (1).

Discrete mathematics/ Kenneth A. Ross; Charles R. B. Wright

by Ross, Kenneth A | Wright, Charles R. B.

Edition: 4 ed. Language: Spanish Publisher: Upper Saddle River: Prentice Hall 1999Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.5 R677d (1).

A course in mathematical logic / John Lane Bell and Machover

by Bell, John Lane | Machoer, Moshé.

Material type: Text Text; Format: print regular print Publisher: Amsterdam: Elsevier, 1997Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 B355c (1).

Logic and discrete mathematics: a computer science perspective/ Winfried Karl Grassmann; Jean-Paul Tremblay

by Grassmann, Winfried Karl | Tremblay, Jean-Paul.

Language: English Publisher: Upper Saddle River: Prentice Hall 1996Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 G717L (1).

Sets, logic and categories/ Peter J. Cameron

by Cameron, Peter J.

Publisher: London: Springer 2008Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.322 C153s (1).