PL

PROGRAMARE LOGICĂ 2019-2020

Anul II, sem II

Ioana Leuștean

moodle

Informatii importante

Detalii despre desfasurarea examenului gasiti pe pagina moodle a cursului (accesibila si ca vizitator).

Detalii despre desfasurarea in regim online a activitatilor de predare gasiti pe pagina moodle a cursului (accesibila si ca vizitator).

Cursuri, Seminarii, Laboratoare [link]

Instructori seminar/laborator

Carmen Chiriţă, Alexandru Dragomir, Ana Ţurlea

Mai multe detalii la curs!

Cursul, seminarul, laboratorul sunt bazate pe materialele din anul 2017-2018 elaborate de D.Diaconescu si I. Leustean.

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