Resultados de búsqueda de autoridad
Resultados 21 a 40 de 40
Encabezamientos autorizados | Tipo de encabezamiento | Registros | ||
---|---|---|---|---|
Materias-Términos:
ver además:
Logic
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 1 registro | |
Materias-Términos:
Usado por:
Medical logic
Razonamiento clínico
Medicina, Lógica de la
Razonamiento médico
ver además:
Diagnosis
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
Usado por:
Lógica de matrices.
ver además:
Lógica simbólica y matemática.
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
ver además:
Insolubilia (Logic)
(encabezamiento específico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
Usado por:
Lógica, Moderna
ver además:
First-order logic
(encabezamiento específico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos: | Detalle | Materias-Términos | 2 registros | |
Materias-Términos:
Usado por:
Algebra de la lógica
Lógica matemática
Lógica universal
Lógica simbólica
Logic, Symbolic and mathematical
ver además:
Matemáticas
(Encabezamiento genérico)
Ciencia Metodología
(encabezamiento específico)
Cálculo de predicados
(encabezamiento específico)
Cálculo lambda
(encabezamiento específico)
Cálculo proposicional
(encabezamiento específico)
Categorías (Matemáticas)
(encabezamiento específico)
Conjuntos admisibles
(encabezamiento específico)
Cuasivariedades (Álgebra universal)
(encabezamiento específico)
Decidabilidad (Lógica matemática)
(encabezamiento específico)
Funciones recursivas
(encabezamiento específico)
Lenguajes infinitarios
(encabezamiento específico)
Lógica algebraica
(encabezamiento específico)
Lógica combinatoria
(encabezamiento específico)
Lógica computacional
(encabezamiento específico)
Lógica de Hoare
(encabezamiento específico)
Lógica de matriz
(encabezamiento específico)
Lógica de primer orden
(encabezamiento específico)
Lógica de umbral
(encabezamiento específico)
Lógica difusa
(encabezamiento específico)
Lógica matemática no clásica
(encabezamiento específico)
Independencia (Matemáticas)
(encabezamiento específico)
Isomorfismo de Curry-Howard
(encabezamiento específico)
Máquinas lógicas
(encabezamiento específico)
Matemáticas inversas
(encabezamiento específico)
Números de Godel
(encabezamiento específico)
Ordenamiento lineal
(encabezamiento específico)
Pragmática
(encabezamiento específico)
Matemáticas constructivas
(encabezamiento específico)
Máquinas, Teoría de las
(encabezamiento específico)
Programas de computadora Corrección
(encabezamiento específico)
Recursividad, Teoría de la
(encabezamiento específico)
Semántica (Filosofía)
(encabezamiento específico)
Tablas de verdad
(encabezamiento específico)
Teorema de completud
(encabezamiento específico)
Teorema de Godel
(encabezamiento específico)
Teoría axiomática de conjuntos
(encabezamiento específico)
Teoría de la conmutación
(encabezamiento específico)
Teoría de la definibilidad (Lógica matemática)
(encabezamiento específico)
Teoría de la demostración
(encabezamiento específico)
Teoría de las máquinas
(encabezamiento específico)
Teoría de modelos
(encabezamiento específico)
Teoría de recursión
(encabezamiento específico)
Teoría de tipos
(encabezamiento específico)
|
Detalle | Materias-Términos | 18 registros | |
Materias-Términos:
Usado por:
Limit (Logic)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
Usado por:
Lingüística y lógica
Lógica en el lenguaje
ver además:
Languaje y lenguas Filosofía
(Encabezamiento genérico)
Lógica
(Encabezamiento genérico)
Semántica
(Encabezamiento genérico)
Positivismo lógico
(encabezamiento específico)
Gramática de Montague
(encabezamiento específico)
Paradoja de Moore
(encabezamiento específico)
Predicado (Lógica)
(encabezamiento específico)
Presuposición (Lógica)
(encabezamiento específico)
Proposición (Lógica)
(encabezamiento específico)
|
Detalle | Materias-Términos | 1 registro | |
Materias-Términos:
Usado por:
Máquinas inteligentes
Logic machines
ver además:
Lógica simbólica y matemática
(Encabezamiento genérico)
Lógica
(Encabezamiento genérico)
Inteligencia artificial
(encabezamiento específico)
|
Detalle | Materias-Términos | 3 registros | |
Materias-Términos:
ver además:
Lógica.
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos: | Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
ver además:
Semántica (Filosofía)
(encabezamiento específico)
|
Detalle | Materias-Términos | 3 registros | |
Materias-Términos:
ver además:
Lógica.
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
ver además:
Programación (Computadoras electrónicas)
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Materias-Términos:
ver además:
Lógica.
(Encabezamiento genérico)
|
Detalle | Materias-Términos | 0 registros | |
Autor Personal: | Detalle | Autor Personal | 0 registros | |
Autor Personal: | Detalle | Autor Personal | 0 registros | |
Autor Personal: | Detalle | Autor Personal | 0 registros | |
Autor Personal: | Detalle | Autor Personal | 0 registros |