Universitatea Alexandru Ioan Cuza

Facultatea de Informatică

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

---

Anunțuri/Announcements

Page created: September 22, 2025

Desfășurarea cursului

Cursul se va desfășura onsite la Facultatea de Informatică. Consultați orarul disciplinei pentru detalii: https://edu.info.uaic.ro/orar/orar_discipline.html.

Notare

• Se pot obține maxim 100p din două teste scrise (parțial/midterm 40p și final 40p) și activitatea de la seminar (20p). Fiecare test conține două instrumente de evaluare: întrebări din partea teoretică (20p) și aplicații pentru partea aplicată (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.

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 pot apela la orele de consultații ale profesorilor. Este recomandat ca programările la consultații să fie făcute prin email către:

• Ștefan Ciobâcă: stefan.ciobaca@gmail.com
• Andrei Arusoaie: andrei.arusoaie@uaic.ro