PL

This page has moved to cs.unibuc.ro/~ileustean/PL.html.

PROGRAMARE LOGICĂ

Anul II, sem II, seria 24

Instructor: Ioana Leuștean

moodle

EXAMEN 23.06

• Repartitia pe sali
• Restanta pentru cei din anii mari are loc in Amf. Pompeiu.
• Cei care NU au completat FORMA pentru a primi notele prin email sunt rugati sa o faca acum!

Anunţuri

• Au fost corectate lucrarile. Nota primita reprezinta numarul de puncte din nota finala, de la 1 la 10. Astfel, nota maxima pentru testare este 3, iar nota de trecere este 1,5.
• Studentii care nu au obtinut nota de trecere la testare nu pot promova in aceasta sesiune, dar pot participa la lucrarea scrisa, nota obtinuta se va pastra pentru restanta din septembrie.
• Studentii care au completat formularul de trimitere a notelor vor primi notele prin email. Emailul este trimis de la adresa ileustean.examene at gmail.com. Va rog sa cautati si in SPAM!
• Studentii care nu au primit nota prin email, o pot solicita trimitand un email la adresa ileustean.examene at gmail.com, o pot afla maine sau pot trimite un email instructurilor de laborator.
• Pentru detalii asupra corecturii:
  - studentii grupelor 241 si 242 pot veni joi, 31.05, la sala 209, intre orele 14.00 si 15.00;
  - studentii grupelor 243 si 244 sunt rugati sa trimita un email instructorilor de laborator pentru a fixa o intalnire.

Testul de laborator va avea loc sambata, 12.05, intre orele 12.00-14.00. Testul va dura 1h30. Material ajutator: slide-urile pentru laboratoarele 1-5 si acest material (printate sau in format electronic). Veti avea acces la un link pentru a descarca materialele in format electronic, dar recomandam sa le aveti printate pentru siguranta.

Sistemul de notare

• Se acordă 1 punct din oficiu.
• Nota finală este nota=1+nlab+nex unde:
  nlab = nota obţinută la testul de laborator
  nex = nota obţinută la examenul scris [în sesiune]
  

Mai multe detalii în primul curs!

Cursuri:

[Curs 1] [Curs 2] [Curs 3] [Curs 4] [Curs 5] [Curs 6] [Curs 7] [Curs 8] [Curs 9] [Curs 10] [Curs 11] [Curs 12] [Curs 13] [Curs 14] [IMP-PROLOG]

Varianta pentru tiparire

Informaţii laborator/seminar:

Instructori: Alexandru Dragomir, Bogdan Dumitru, Carmen Stama

Laboratoare: [Lab. 1] [Lab. 2] [Lab. 3] [Lab. 4] [Lab. 5] [Lab. 6] [Lab. 7]

Seminarii: [Sem. 1] [Sem. 2] [Sem. 3] [Sem. 4] [Sem. 5] [Sem. 6]

Legături utile:

• www.swi-prolog.org/
• SWISH
• https://en.wikibooks.org/wiki/Prolog
• P. Blackburn, J. Bos, K. Striegnitz, Learn Prolog Now!

Bibliografie:

• M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press New York, 2004
• M. Ben-Ari, Mathematical Logic for Computer Science, Springer, 2012

Contact