Lógica-2022

Diagrama de temas

• Seleccionar tópico Presentación del Espacio Curricular

  Presentación del Espacio Curricular

  Colapsar todo Expandir todo

  
  

  
  

   
  
• Seleccionar tópico Acceso a consultas virtuales sincrónicas

  Acceso a consultas virtuales sincrónicas
  • Seleccionar actividad Accesso a encuentros sincrónicos por medio de Goog...

    Accesso a encuentros sincrónicos por medio de Google Meet:

    Link: https://meet.google.com/zaq-egfy-mzr
    

    Clases: Lunes de 18 a 21 hs y Jueves de 15 a 18 hs

    Horario de consulta: Martes 10 hs.
    

    No disponible hasta que: se pertenezca al grupo Lógica-2022
• Seleccionar tópico Acerca de la materia

  Acerca de la materia

  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
  
• Seleccionar tópico Avisos y novedades

  Avisos y novedades
  • Seleccionar actividad Avisos y consultas generales

    

    Avisos y consultas generales Foro

    No disponible hasta que: se pertenezca al grupo Lógica-2022
• Seleccionar tópico Materiales de Cátedra

  Materiales de Cátedra

  
  

  No disponible hasta que: se pertenezca al grupo Lógica-2022
• Seleccionar tópico Entrega de trabajos prácticos

  Entrega de trabajos prácticos
  Actividades 

  No disponible hasta que: se pertenezca al grupo Lógica-2022
• Seleccionar tópico Evaluaciones

  Evaluaciones
• Seleccionar tópico Bibliografía

  Bibliografía
  No disponible hasta que: se pertenezca al grupo Lógica-2022
• Seleccionar tópico Curso Finalizado

  Curso Finalizado