Universitatea Alexandru Ioan Cuza

Facultatea de Informatică

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

---

Anunțuri/Announcements

Examen partial: Marți, 18.11.2024

Midterm Exam: Tuesday, 18.11.2024

Detalii privind examenul din săptămâna 8:

• Ocupați sălile C2, C309, C112, în această ordine de prioritate.
• Examenul conține întrebări din logica propozițională. Orice subiect discutat la curs poate face obiectul unei întrebări, iar întrebările sunt și de natură teoretică, și de natură practică.
• Examenul valorează 40p.
• La examen, este recomandată scrierea folosind diferențierea sintactică între limbaj obiect și metalimbaj folosită la curs.
• În sala de examen vă asezați conform indicațiilor de la ultimul curs, astfel încât să existe un rând liber între cei examinați.
• Deși intervalul alocat este de aproximativ 1h30-2h00, durata efectivă a examenului va fi comunicată de supraveghetorii din sală.
• Vă recomandăm să veniți cu aproximativ 10 minute mai devreme pentru a ne organiza astfel încât să începem examenul la ora stabilită.
• Urmăriți canalul Discord al disciplinei pentru anunțuri de ultim moment.

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