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