Arquitectura, metodología y aplicaciones de los sistemas (Record no. 1978)

000 -CABECERA
Campo de control de longitud fija 01730 paaa2200325 4500
001 - NÚMERO DE CONTROL
Campo de control B-1976
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Campo de control EC-EPN
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Campo de control 20140424115359.0
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Campo de control de longitud fija 131001| ec |||||rm||| 00| 0 spa d
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen EC-EPN
Lengua de catalogación SPA
Centro transcriptor EC-BC
084 ## - OTRO NÚMERO DE CLASIFICACIÓN
Número de clasificación T-FCM
Número de documento 0018
100 ## - PUNTO DE ACCESO PRINCIPAL - NOMBRE DE PERSONA
Nombre de persona Burbano Rodriguez, Rafael Tiberio
245 ## - MENCIÓN DE TÍTULO
Título Arquitectura, metodología y aplicaciones de los sistemas
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación distribución etc. QUITO
Nombre del editor distribuidor etc. EPN
Fecha de publicación distribución etc. 1989
300 ## - DESCRIPCIÓN FÍSICA
Extensión 150 p., anexos
502 ## - NOTA DE TESIS
Nota de tesis FACULTAD DE CIENCIAS /
Año de obtención del título 1989
504 ## - NOTA DE BIBLIOGRAFÍA; ETC.
Nota de bibliografía etc. Incluye referencia bibliográfica
520 ## - NOTA DE SUMARIO; ETC.
Sumario etc. En los dos primeros capítulos se analiza el cálculo proposicional y predicado, y los resultados clásicos de la prueba mecánica de teoremas: el teorema de Herbrand y el principio de resolución de Robinson, se concluye con la aplicación de la resolución al diseño de sistemas de refutación. En el tercer capítulo se analiza la arquitectura de los sistemas expertos mostrándolos como la ampliación de los sistemas de refutación y se estudian las estretegias de exploración en árboles. En el cuatro y último capítulo se consideran algunas aplicaciones, de la prueba de teoremas a la programación lógica, y de los sistemas expertos al diseño de un sistema de integración simbólica y de un sistema verificador de la validez de los silogismos aristotélicos
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial LOGICA MATEMATICA
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial LOGICA COMPUTACIONAL
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial CALCULO PROPOSICIONAL
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial CALCULO PREDICADO
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial HERBARND
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial SISTEMAS EXPERTOS
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial PROGRAMACION LOGICA
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial SILOGISMO
700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
Nombre de persona Kostikova Kostikova, Margarita
Término indicativo de función Director de Tesis
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Nota pública Este ítem está sujeto a una licencia Creative Commons
942 ## - ENTRADA PARA ELEMENTOS AGREGADOS (KOHA)
Fuente de clasificación o esquema de ordenación en estanterías
Koha [por defecto] tipo de item Tesis
Holdings
Suprimido Estado de pérdida Fuente de clasificación o esquema de ordenación en estanterías Estropeado No para préstamo Localización permanente Localización actual Fecha de adquisición Fuente de adquisición Coste Préstamos totales Código de la publicación (Signatura) Código de barras Fecha última consulta Número de ejemplar Fecha del precio de reemplazo Tipo de item de Koha
          BIBLIOTECA GENERAL BIBLIOTECA GENERAL 29/03/2014 Donación 0.00   T-FCM/0018 018285 29/03/2014 Ej. 1 29/03/2014 Tesis

Powered by Koha