Fundamentos de lógica computacional / (Registro nro. 11831)

Detalles MARC
000 -LÍDER
Campo fijo de descripción fija 009950000a22002530004500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Campo de control MX-MxAU
005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN
control field 20190905122358.0
008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL
Campo fijo de descripción fija -- Información general 000000e2000 mx j spa x 0000000000spa00
020 ## - ISBN
Isbn 9682461006
040 ## - FUENTE DE CATALOGACIÓN
Agencia de catalogación original MX-MxAU
Agencia que realiza la transcripción MX-MxAU
041 ## - CÓDIGO DE IDIOMA
Código de idioma para texto/pista de sonido o título separado spa
082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 004.0151
Clave de autor-Numero de item F845f
100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL
Nombre personal Frausto Solís, Juan
245 10 - TÍTULO
Título del Material Fundamentos de lógica computacional /
Mención de responsabilidad, etc. Juan Frausto Solís, Gildardo Sánchez Ante
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. México :
Nombre del editor, distribuidor, etc. Trillas,
Fecha de publicación, distribución, etc. 2000.
300 ## - DESCRIPCIÓN FÍSICA
Extensión 110 p. ;
Otros detalles físicos tablas ;
Dimensiones 24 x 18 cm.
500 ## - NOTA GENERAL
Nota General Incluye índice y bibliografía
505 00 - NOTA DE CONTENIDO
Nota de contenido con formato preestablecido 1. Lógica proposicional -- 2. Lógica de predicados -- 3. Complejidad computacional -- 4. Regla de una literal -- 5. Lógica temporal -- 6. Lógica modal -- 7. Introducción a los métodos formales -- 8. Fundamentos de la lógica de Hoare.
590 ## - Escuelas/Carreras
Escuelas/Carreras Ing. en Tecnologías de Información y Telecomunicaciones
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Término temático o nombre geográfico como elemento de entrada Ciencias computacionales
9 (RLIN) 29822
650 ## - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Término temático o nombre geográfico como elemento de entrada Lógica matemática
9 (RLIN) 28018
700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL
Nombre personal Sánchez Ante, Gildardo
942 ## - TIPO DE MATERIAL (KOHA)
Tipo de Item KOHA Libros
Existencias
Estado de Retirado Estado de Perdido Forma de Clasificación Estado de Dañado No para Préstamo Colección Biblioteca de Origen Biblioteca Permanente Fecha de Adquisición Forma de Adquisición Signatura Topográfica Código de Barras Última vez visto Ejemplar/Existencia Fecha de Remplazo Tipo de Material Nota Pública Costo-Precio Costo, Precio de Remplazo
          Colección General COATZACOALCOS COATZACOALCOS 24/05/2017 Compra 004.0151 F845f CTC002335 25/10/2022 Ej. 1 24/05/2017 Libros      
          Colección General COATZACOALCOS COATZACOALCOS 24/05/2017 Compra 004.0151 F845f CTC002336 25/10/2022 Ej. 2 24/05/2017 Libros      
          Colección General HUASTECA HUASTECA 27/07/2007 Compra 004.0151 F845f HST001853 06/10/2022 Ej. 1 07/01/2016 Libros Primera edición, enero 2000    
          Colección General HUASTECA HUASTECA 27/07/2007 Compra 004.0151 F845f HST001854 06/10/2022 Ej. 2 07/01/2016 Libros Primera edición, enero 2000    
          Colección General INDUSTRIAS INDUSTRIAS 02/02/2008 Compra 004.0151 F845f NDS000036 07/01/2016 Ej. 1 07/01/2016 Libros      
          Colección General TUXTLA TUXTLA 22/03/2017 Compra 004.0151 F845f TXT015722 09/11/2023 Ej. 1 22/03/2017 Reserva Informática 250.00 350.00