Su búsqueda retornó 52 resultados. Suscribirse a esta búsqueda

|
Apuntes de lógica / Nicolás Peña Xicum.

por Peña Xicum, Nicolás | Instituto Politécnico Nacional (México).

Tipo de material: libro Libro; Audiencia: Especializado; Editor: México : Instituto Politécnico Nacional, 1996Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: BC117 .S7 P45 1996] (1), Biblioteca Central Mexicali [Signatura topográfica: BC117 .S7 P45] (1), San Quintín [Signatura topográfica: BC117 .S7 P45 1996] (1), Valle Dorado [Signatura topográfica: BC117 .S7 P45 1996] (1).

Computability and unsolvability / Martin Davis.

por Davis, Martin, 1928-.

Tipo de material: libro Libro Editor: New York : Dover, 1982Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9.615 D58] (2).

Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg.

por Berger, Ulrich, 1956- | Schwichtenberg, Helmut, 1942- | North Atlantic Treaty Organization. Scientific Affairs Division | NATO Advanced Study Institute on Computacional Logic (1997 : Marktoberdorf, Germany).

Tipo de material: libro Libro Editor: Berlin : Springer, 1999Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA76.9 .L63 C65] (1).

Diccionario de lógica / Leoncio Ortíz González.

por Ortíz González, Leoncio | Instituto Politécnico Nacional (México).

Tipo de material: libro Libro; Audiencia: Especializado; Editor: México : Instituto Politécnico Nacional, 1995Disponibilidad: Ítems disponibles para referencia: Biblioteca Central Ensenada [Signatura topográfica: BC75 O78 1995] (1), Biblioteca Central Mexicali [Signatura topográfica: BC75 O78] (2), Biblioteca Central Tijuana [Signatura topográfica: BC75 O78 1995] (1), Valle Dorado [Signatura topográfica: BC75 O78 1995] (1).

El futuro borroso o el cielo en un chip / Bart Kosko ; tr. por Mercedes García Garmilla.

por Kosko, Bart.

Tipo de material: archivo de computadora Archivo de ordenador; Formato: electrónico Editor: Barcelona, España : Crítica, 2000Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9.64 K6818 2010] (1).

Essentials of discrete mathematics / David J. Hunter.

por Hunter, David James, 1968-.

Edición: 2nd ed.Tipo de material: libro Libro; Formato: impreso ; Forma literaria: No es ficción Editor: E.U.A. : Jones [and] Bartlett, 2012Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA76.9 .M35 H85 2012] (1).

FPGAs 101 : everything you need to know to get started / Gina R. Smith.

por Smith, Gina R.

Edición: 1a ed.Tipo de material: libro Libro; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: United States : Newnes, 2010Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: TK7895 .G36 S55 2010] (1).

Iniciación a la lógica simbólica / José Antonio Arnaz.

por Arnaz, José Antonio | Asociación Nacional de Universidades e Institutos de Enseñanza Superior.

Edición: 3a ed.Tipo de material: libro Libro; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: México : Trillas : ANUIES, 1989Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: BC135 A75 1989] (3), Biblioteca Central Mexicali [Signatura topográfica: BC135 A75 1989] (2), Biblioteca Central Tijuana [Signatura topográfica: BC135 A75 1989] (3), Ciudad Morelos [Signatura topográfica: BC135 A75 1989] (4), Facultad de Ciencias Administrativas [Signatura topográfica: BC135 A75 1989] (8), San Felipe [Signatura topográfica: BC135 A75 1989] (4), San Quintín [Signatura topográfica: BC135 A75 1989] (1), Tecate [Signatura topográfica: BC135 A75 1989] (3), Valle Dorado [Signatura topográfica: BC135 A75 1989] (5). Ítems disponibles para referencia: Biblioteca Central Tijuana [Signatura topográfica: BC135 A75 1989] (1).
Prestado (2).

Introducción a la lógica / Irving M. Copi, Carl Cohen.

por Copi, Irving M | Cohen, Carl.

Edición: 2a. ed.Tipo de material: libro Libro; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: México : Limusa : 2011Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: BC108 C6618 2011] (1), San Quintín [Signatura topográfica: BC108 C6618 2011] (1), Valle Dorado [Signatura topográfica: BC108 C6618 2011] (1).

Introducción a la lógica matemática / Eramis Bueno, Luciano Garcia.

por Bueno, Eramis | Garcia, Luciano.

Tipo de material: libro Libro Editor: México : IPN, 1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9 B84] (1).

Introducción a la lógica y al método científico : lógica formal / Morris R. Cohen, Ernest Nagel.

por Cohen, Morris Raphael, 1880-1947 | Nagel, Ernest, 1901-.

Tipo de material: libro Libro; Audiencia: Especializado; Editor: Buenos Aires, Argentina : Amorrorto, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: BC108 C6418 1968 V.2] (4), San Quintín [Signatura topográfica: BC108 C6418 1968 V.2] (2), Valle Dorado [Signatura topográfica: BC108 C64 V.1] (4).

Una introducción matemática a la lógica / Herbert B. Enderton ;tr. Pablo Rosenblueth.

por Enderton, Herbert B | Rosenblueth, Pablo.

Edición: 2a ed.Tipo de material: libro Libro; Audiencia: General; Editor: México : UNAM, 2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9 E5318 2004] (1).

Introduccion a la logica dialectica / Eli de Gortari.

por Gortari, Eli de.

Edición: 5a.Tipo de material: libro Libro Editor: Mexico : FCE : UNAM, 1974Disponibilidad: Ítems disponibles para préstamo: Valle Dorado [Signatura topográfica: BC38 G67 1974] (1).

Lógica / National Council of Teacher of Mathematics.

por National Council of Teachers of Mathematics.

Tipo de material: libro Libro Editor: México : Trillas, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA9 .A5 N38] (1).

Con tecnología Koha