Ricerca

Cancellare i filtri
Filtro per: División Académica Ciencias Basicas e Ingenieria Cancella il filtro División Académica: Ciencias Basicas e Ingenieria Parola chiave Lógica Cancella il filtro Parola chiave: Lógica

Risultati della ricerca

  1. Lógica matemática

    9s161668w?file=thumbnail
    Soggetto: Lógica simbólica y matemática and Logic, Symbolic and mathematical
    Creatore: Solís Daun, Julio Ernesto and Torres Falcón, Yolanda
    Editore: Universidad Autónoma Metropolitana
    Lingua: spa
    Año de publicación: 1995
    Diritti: Acceso Abierto
    Licenza: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/book
    Serie: Colección CBI

  2. Teoría de operadores con aplicaciones a la física

    8336h208t?file=thumbnail
    Descrizione: Los problemas tecnológicos y científicos actuales dependen de estimaciones precisas de cantidades muy pequeñas. Es por eso que son necesarias teorías confiables, aunque generalmente complejas, que nos permitan excluir las mínimas diferencias. Con el desarrollo de las modernas calculadoras, los métodos que antes parecían abstracciones académicas han cobrado su importancia....
    Soggetto: Operadores, Teoría de, Operator theory, Spectral theory (Mathematics), and Teoría espectral (Matemáticas)
    Creatore: Arredondo Ruiz, Juan Héctor
    Editore: Universidad Autónoma Metropolitana
    Lingua: spa
    Año de publicación: 1997
    Diritti: Acceso Abierto
    Licenza: Atribucion-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
    Tipo de Recurso: info:eu-repo/semantics/book
    Serie: Colección CBI

  3. Lógica y semántica computacionales

    736664631?file=thumbnail
    Descrizione: El capítulo 1 inicia revisando la lógica de primer orden, desde qué es una expresión bien construida del lenguaje lógico de primer orden sobre un vocabulario, las condiciones de satisfacibilidad respecto de un modelo de primer orden, y la forma de asociar oraciones de un lenguaje natural a un lenguaje...
    Soggetto: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
    Creatore: Acevedo Atenco, Habersheel
    Collaboratore: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
    Editore: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Ciencias Matematicas
    Lingua: spa
    Año de publicación: 2014
    Diritti: Acceso Abierto
    Licenza: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/masterThesis
    Identifier: https://doi.org/10.24275/uami.xp68kg37h