• Introducción 

    Docente de Cátedra
    • Profesor Titular responsable de cátedra: Dr. M.Sc. Sergio Ariel Salinas
    • Profesor asociado, adjunto, jtp, ayudantes de cátedras, adscriptos: no disponibles en la cátedra.
    Objetivos / Competencias
    • Expresar conceptos y razonamientos en forma abstracta utilizando un lenguaje formal y lógico. Analizar diferentes modelos lógicos desde un enfoque sintáctico y semántico.
    • Identificar las principales características y limitaciones de los distintos modelos lógicos.
    • Aplicar los conceptos fundamentales de representación de conocimiento.
    • Reconocer el proceso de razonamiento automático mediante el uso de computadoras.
    • Definir conceptos mediante un lenguaje formal.
    • Resolver problemas de programación utilizando formalismos lógicos
    • Utilizar herramientas para representar conceptos y obtener conocimiento mediante razonadores automáticos.
    Materias relacionadas
    1. Matemática discreta
    2. Arquitectura de las computadoras
    3. Algoritmos y estructuras de datos
    4. Paradigmas de programación
    5. Lenguajes formales y computabilidad
    6. Inteligencia Artificial
    7. Teoría de base de datos
      Datos de contacto:
      sergio.salinas@ingenieria.uncuyo.edu.ar