Universitatea Alexandru Ioan Cuza

Facultatea de Informatică

Logică pentru Informatică 2022-2023 (semestrul de iarnă)

Anunțuri

  • 2 noiembrie 2022: Examenul din săptămâna 8 va avea loc pe 16.11.2022. Examenul va avea loc în sălile C2, C309, C112 (și C308 în cazul în care nu sunt disponibile locuri în celelalte săli), astfel:
    • Intervalul 8h00-10h00 este rezervat pentru seriile B și E.
    • Intervalul 10h00-12h00 este rezervat pentru seriile A și X.
    Precizări:
    • Studenții se vor legitima cu carnetul de student (preferabil) sau un act de identitate.
    • Nu este permis accesul în sală cu foi albe sau materiale listate, ci doar cu instrumente de scris (pixuri, stilouri) și eventual o sticlă mică de apă. Deasemenea nu este permisă consultarea documentației în timpul examenului. Foile de examen vor fi distribuite de supraveghetorii din sală și vor avea spațiu suficient de rezolvare pentru fiecare exercițiu și spațiu ce poate fi utilizat drept ciornă.
    • Telefoanele mobile vor fi închise complet pe perioada desfășurării examenului.
    • Deși pentru fiecare serie este rezervat un interval de 2 ore, timpul de efectiv de lucru va fi anunțat la momentul începerii examenului.
    • Recomandăm studenților sa fie prezenți în sala de examen cu cel puțin 10 minute înainte de începerea examenului.
    • Examenul va conține întrebări și exerciții din toată materia prezentată la cursuri până la momentul examinării (inclusiv cursul din săptămâna 7).
  • 4 octombrie 2022: Serverul Discord al disciplinei a fost creat. Vă rugăm să accesați acest link pentru a vă conecta: https://discord.gg/RBcCUb7Q.

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ă

    RO: Logica informală
    • Notele de curs: PDF.
      • Capitolul 1, pag. 5-6: Introducere
      • Capitolul 2, pag. 7-13: Logica informală
    • Exerciții
      • Capitolul 2, pag. 13-14
    EN: Informal Propositional Logic
    • The lecture notes: PDF.
      • Chapter 1, pp. 5-6: Introduction
      • Chapter 2, pp. 7-13: Informal Propositional Logic
    • Exercises
      • Chapter 2, pp. 13-14

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

    RO: Sintaxa logicii propoziționale
    • Notele de curs: PDF.
      • Capitolul 3, pag. 15: Sintaxa formală a logicii propoziționale
    • Exerciții
      • Capitolul 3, pag. 22-23
    EN: Propositional Logic - Syntax
    • The lecture notes: PDF.
      • Chapter 3, p. 15: The Formal Syntax of Propositional Logic
    • Exercises
      • Chapter 3, pp. 21-22

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

    RO: Semantica logicii propoziționale
    • Notele de curs: PDF.
      • Capitolul 4, pag. 25: Funcții recursive peste LP
      • Capitolul 5, pag. 33: Semantica logicii propoziționale
    • Exerciții
      • Capitolul 4, pag. 31-32
      • Capitolul 5, pag. 40, 41-43
    EN: Propositional Logic - Semantics
    • The lecture notes: PDF.
      • Chapter 4, p. 23: Functions Defined Recursively on Propositional Logic
      • Chapter 5, p. 31: Semantics of Propositional Logic
    • Exercises
      • Chapter 4, pp. 29-30
      • Chapter 5, pp. 38, 39-41

    Săptămâna 4 - Semantica logicii propoziționale - continuare curs precedent. Deducție Naturală 1

    RO: Deducția naturală - partea I
    • Notele de curs: PDF.
      • Capitolul 6, pag. 45: Conectori logici; Traduceri în LP
      • Capitolul 7, pag. 51: Deducția naturală; Noțiuni introductive
    • Exerciții
      • Capitolul 6, pag. 50
      • Capitolul 7, pag. 53, 54, 56, 57, 65
    EN: Natural deduction - part I
    • The lecture notes: PDF.
      • Chapter 6, p. 43: Logical connectives; Translating propositions in PL
      • Chapter 7, p. 51: Natural Deduction; Introductory concepts
    • Exercises
      • Chapter 6, p. 48
      • Chapter 7, pp. 54, 54-55, 56, 57, 58-59, 63

    Săptămâna 5 - Deducție Naturală 2

    RO: Deducția naturală - partea a-II-a
    • Notele de curs: PDF.
      • Capitolul 7, pag. 55: Deducția naturală; Regulile deducției naturale pentru LP.
    • Exerciții
      • Capitolul 7, pag. 56, 57, 65
    EN: Natural deduction - part II
    • The lecture notes: PDF.
      • Chapter 7, p. 53: Natural Deduction; The proof system of PL
    • Exercises
      • Chapter 7, pp. 54, 54-55, 56, 57, 58-59, 63

    Săptămâna 6 - Forme Normale

    RO: Forme normale
    • Notele de curs: PDF.
      • Capitolul 8, pag. 69: Forme normale.
    • Exerciții
      • Capitolul 8, pag. 75
    EN: Normal forms
    • The lecture notes: PDF.
      • Chapter 8, p. 67: Normal Forms
    • Exercises
      • Chapter 8, p. 73

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

    RO: Rezoluție
    • Notele de curs: PDF.
      • Capitolul 9, pag. 77: Rezoluție in logica propozițională
    • Exerciții
      • Capitolul 9, pag. 78, 79, 80, 82, 85, 86, 87
    EN: Resolution in Propositional Logic
    • The lecture notes: PDF.
      • Chapter 9, p. 75: Resolution in Propositional Logic
    • Exercises
      • Chapter 9, pp. 76, 77, 79, 80, 82, 83, 84

    Săptămâna 8 - Evaluare




    Logica de ordinul I

    Săptămâna 9 - Sintaxa LP1

    Săptămâna 10+11/Week 10+11 - Semantica LP1/FOL Semantics

    Săptămâna 12/Week 12 - Deducție Naturală/Natural Deduction

    Săptămâna 13 - Forme normale / Normal Forms

    Săptămâna 14 - Rezoluția de Ordinul I

    • Notele de curs: PDF.
    • The lecture notes: PDF.