Topic outline

  • UNEG-INFORMÁTICA CIVA 2024



    Lógica computacional 

    Prof(a). Ana Sosa

    e-mail: sosauneg@gmail.com

    Móvil: 0414-8923631

    • DESCRIPCIÓN DE LA UNIDAD CURRICULAR

      Lógica Computacional: 
      En esta unidad curricular estaremos estudiando la aplicación de la lógica formal para la   representación computacional de argumentos, técnicas de deducción y fundamentos con validez y asistidos por computadoras.
       

    • CARTELERA INFORMATIVA CIVA 2024 Forum


      Estudiantes de lógica computacional
      CIVA 2024

      Grupos Whatsapp


      https://chat.whatsapp.com/FwYtYLawGsW5rOftJlLk6a

      CLASES GOOGLE MEET

      MARTES Y JUEVES 
             7:50 A.M. -10:30 A.M.

    • CHAT DE DUDAS

      BIENVENIDOS AL CHAT DE DUDAS
      CIVA 2024

      Este chat les permitirá interactuar y resolver todas sus dudas sobre la materia y las actividades asignadas. Espacio de comunicación  estudiantes- profesora. 

      El horario del chat será de martes a jueves, de 7:00 p.m. a 9:00 p.m.

  • PROPOSICIONES TEMA 1


    TEMA 1: PROPOSICIONES
    • QUÉ APRENDEREMOS EN ESTE TEMA? Page

       

      Concepto de Lógica, la lógica computacional, tabla de la verdad, conectores lógico y proposiciones simples y complejas .


      TEMA 1: Proposiciones


      Este tema será desarrollado a través de:

      02 clases  en google meet
      videos en la Uneg Virtual
      Investigaciòn por parte de los estudiantes


      BIBLIOGRAFÍA (disponibles en Google - Libros)

      Olvera Jorge, Introducción a la Lógica Computacional

      Rubio Martín , Lógica Computacional

      Augusto Sergio,  Lógica Matemática para ingeniería de sistemas y Computación.