Universitatea Alexandru Ioan Cuza
Facultatea de Informatică
Logică pentru Informatică 2023-2024 (semestrul de iarnă)
Anunțuri/Announcements
Barem: [PDF]
Subiectul A: [PDF]
Subiectul B: [PDF]
Subiectul C: [PDF]
Subiectul D: [PDF]
Rezultate: aici
- Examenul are loc pe data de 19.02.2024, la ora 09h00.
- Ocupați sălile C2, C309, C112, în această ordine de prioritate.
- Examenul conține întrebări din logica propozițională și din logica de ordinul I. Orice subiect discutat la curs poate face obiectul unei întrebări, iar întrebările pot fi și de natură teoretică, și de natură practică.
- Examenul valorează 100p și înlocuiește punctajul de la parțial și de la examenul final.
- Punctajul bonus obținut la seminar pe parcursul semestrului se păstrează.
- În cazul măririlor, în catalogul de examen se trece nota obținută, iar nota finală se calculează ca maximul dintre nota obținută în sesiunea de reexaminare și prima notă.
- La examen, este recomandată scrierea folosind diferențierea sintactică între limbaj obiect și metalimbaj folosită la curs.
Barem: [PDF]
Subiectul A: [PDF]
Subiectul B: [PDF]
Subiectul C: [PDF]
Subiectul D: [PDF]
Subiectul E: [PDF]
Subiectul F: [PDF]
Subiectul G: [PDF]
Subiectul H: [PDF]
Subiectul EN: [PDF]
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
- [RO] Notele de curs: PDF.
- [EN] The lecture notes: PDF.
- Data: 21 noiembrie 2023
- [RO] Notele de curs: PDF (actualizate pe data de 9 Ianuarie 2024).
- [EN] The lecture notes: PDF (updated on the 18th of January, 2024).