Fundamentos de lógica computacional / (Registro nro. 11831)
[ vista simple ]
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 |
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 |