Universitatea Alexandru Ioan Cuza

Facultatea de Informatică

Logică pentru Informatică 2024-2025 (semestrul de iarnă)


Anunțuri/Announcements

  • (RO) Orar
  • (EN) Schedule
  • Examen partial: Marți, 19.11.2024
  • Midterm Exam: Tuesday, 19.11.2024
  • Page created: September 24, 2024
  • Desfășurarea cursului

    Cursul se va desfășura onsite la Facultatea de Informatică. Consultați orarul disciplinei pentru detalii.

    Notare

    • Două teste scrise (50p + 50p) + Bonus pentru activitatea de la seminar (20p)
    • Nota se calculează în funcție de distribuția statistică a punctajelor.
    • Obiective de învățare:
      • Capacitatea de a identifica formulele sintactic corecte;
      • Capacitatea de a traduce propozițiile din limbaj natural în logica propozițională/logica de ordinul I;
      • Capacitatea de a demonstra, folosind un raționament semantic, (ne)satisfiabilitatea/(ne)validitatea unei formule, consecințe semantice, echivalențe;
      • Capacitatea de a găsi demonstrații mecanice (folosind deducția naturală/rezoluția) pentru demonstrarea validității/nesatisfiabilității/echivalențelor/consecințelor semantice de dificultate medie;
      • Capacitatea de a redacta coerent o rezolvare (structura rezolvării, calitatea exprimărilor, cursul logic al ideilor).
    • Pentru promovare este necesar un număr de minim 50 de puncte obținute din cele două teste.
    • Fisa disciplinei: RO EN

    Cum studiez

    • Urmăresc anunțurile de pe site-ul cursului.
    • Particip la curs și urmăresc atent.
    • Studiez suportul de curs (de listat, preferabil color, de pe site-ul cursului).
    • Listez fișa de exerciții pentru seminar.
    • Particip activ la seminar. Întreb ce nu am înțeles la curs.
    • Rezolv acasă exercițiile de pe fișa de exerciții.
    • Dacă am neclarități în continuare, particip la consultații la profesor.
    • Dacă sunt pasionat, parcurg bibliografia suplimentară.
    • Nu învăț pe de rost (rezolvările de la examenele din anii precedenți).
    • Nu iau materialele de pe un grup de facebook, ci direct de pe site-ul cursului.

    Contact

    În cazul în care studenții au nelămuriri punctuale după ce au studiat materialul de curs și au participat la seminar, aceștia se pot programa la consultații. Programările la consultații se pot face prin email:
    • Ștefan Ciobâcă: stefan.ciobaca@gmail.com
    • Andrei Arusoaie: andrei.arusoaie@uaic.ro

      Logica propozițională


      Săptămâna 1 - Logica informală

      Săptămâna 2 - Sintaxa logicii propoziționale

      Săptămâna 3 - Semantica logicii propoziționale

      Săptămâna 4 - Semantica logicii propoziționale - noțiuni semantice

      Săptămâna 5 - Deducție Naturală pentru logica propozițională

      Săptămâna 6 - Forme Normale

      Săptămâna 7 - Rezoluție

      • [RO] Notele de curs: PDF.
      • [EN] The lecture notes: PDF.

      Săptămâna 8 - Evaluare/Week 8 - Midterm Evaluation

      • Organizare/Organisation:

        • 19 noiembrie/November 19th, 2024
        • 8h00-9h30: seria B + seria E (english)
        • 10h00-11h30: seria A + seria X



      Logica de ordinul I


      Săptămâna 9 - Preliminarii LP1

      Săptămâna 10 - Sintaxa LP1

      Săptămâna 11 - Semantica LP1

      Săptămâna 12 - Noțiuni semantice (satisfiabilitate, validitate, ...)

      Săptămâna 14 - Deducție Naturală

      • [RO] Notele de curs: PDF.
      • [EN] The lecture notes: PDF.