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