Vista normal Vista MARC
  • Lógica simbólica y matemática

Entrada Materias-Términos

Número de registros utilizados en: 18

001 - NUMERO DE CONTROL DEL REGISTRO

  • control field: 277

003 - IDENTIFICADOR DEL NUMERO DE CONTROL

  • control field: UIASF

005 - FECHA Y HORA DE LA ULTIMA TRANSACCION

  • control field: 20221004090441.0

008 - ELEMENTOS DE LONGITUD FIJA

  • fixed length control field: 970708na acnaaaaaa a aaa d

010 ## - NUMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO (LC)

  • Número de control LC: sh 85078115

040 ## - FUENTE DE LA CATALOGACION

  • Agencia que crea de manera original el registro: UIASF
  • Agencia que realiza la transcripción: UIASF
  • Idioma de la catalogación: spa
  • Agencia que realiza la modificación: UIASF

053 ## - NUMERO CLASIFICADOR - BIBLIOTECA DEL CONGRESO (LC)

  • Número clasificador: BC131
  • Número del ítem: BC135
  • Término explicativo: Filosofía

053 ## - NUMERO CLASIFICADOR - BIBLIOTECA DEL CONGRESO (LC)

  • Número clasificador: QA9
  • Número del ítem: QA10.3
  • Término explicativo: Matemáticas

150 #4 - ENCABEZAMIENTO - TEMATICO

  • Encabezamiento temático: Lógica simbólica y matemática

450 ## - REFERENCIA DE ENVIO “VEASE” - MATERIA

  • Encabezamiento temático: Algebra de la lógica

450 ## - REFERENCIA DE ENVIO “VEASE” - MATERIA

  • Encabezamiento temático: Lógica matemática

450 ## - REFERENCIA DE ENVIO “VEASE” - MATERIA

  • Encabezamiento temático: Lógica universal

450 ## - REFERENCIA DE ENVIO “VEASE” - MATERIA

  • Encabezamiento temático: Lógica simbólica

450 #0 - REFERENCIA DE ENVIO “VEASE” - MATERIA

  • Encabezamiento temático: Logic, Symbolic and mathematical

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: g
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Matemáticas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Encabezamiento temático o nombre geográfico como elemento de entrada: Metamatemáticas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Ciencia
  • Subdivisión temática general: Metodología

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Encabezamiento temático o nombre geográfico como elemento de entrada: Algebra abstracta

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Encabezamiento temático o nombre geográfico como elemento de entrada: Conjuntos, Teoría de

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de conjuntos

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Encabezamiento temático o nombre geográfico como elemento de entrada: Silogismo

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Cálculo de predicados

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Cálculo lambda

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Cálculo proposicional

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Categorías (Matemáticas)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Conjuntos admisibles

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Cuasivariedades (Álgebra universal)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Decidabilidad (Lógica matemática)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Funciones recursivas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lenguajes infinitarios

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica algebraica

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica combinatoria

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica computacional

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica de Hoare

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica de matriz

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica de primer orden

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica de umbral

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica difusa

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Lógica matemática no clásica

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Independencia (Matemáticas)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Isomorfismo de Curry-Howard

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Máquinas lógicas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Matemáticas inversas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Números de Godel

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Ordenamiento lineal

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Pragmática

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Matemáticas constructivas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Máquinas, Teoría de las

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Programas de computadora
  • Subdivisión temática general: Corrección

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Recursividad, Teoría de la

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Semántica (Filosofía)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Tablas de verdad

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teorema de completud

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teorema de Godel

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría axiomática de conjuntos

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de la conmutación

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de la definibilidad (Lógica matemática)

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de la demostración

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de las máquinas

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de modelos

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de recursión

550 ## - REFERENCIA DE ENVIO "VEASE ADEMAS" - MATERIA

  • Subcampo de control: h
  • Encabezamiento temático o nombre geográfico como elemento de entrada: Teoría de tipos

670 ## - FUENTE EN LA QUE SE LOCALIZARON DATOS

  • Cita de la fuente: Biblioteca del Congreso (Estados Unidos), 4 octubre 2022:
  • Información localizada: catálogo electrónico (Logic, Symbolic and mathematical)

670 ## - FUENTE EN LA QUE SE LOCALIZARON DATOS

  • Cita de la fuente: DGB/UNAM, 4 octubre 2022:
  • Información localizada: catálogo electrónico (Lógica simbólica y matemática)

750 #0 - ASIENTO LIGADO AL ENCABEZAMIENTO - TEMATICO

  • Encabezamiento temático: Logic, Symbolic and mathematical
  • Número de control del registro: sh 85078115

942 ## - USO INTERNO KOHA

  • Koha auth type: TOPIC_TERM