Curs Programare Logică

Bine ați venit la cursul de Programare Logică!

• Notare:
• Laborator: 30 puncte
• Examen: 60 puncte
• Oficiu: 10 puncte
• Condiție minimă pentru promovare:
• Laborator: minim 15 puncte
• Examen: minim 25 puncte
• Consultați primul curs pentru mai multe detalii despre notare.

• Curs 01: [material] [4print]
• Curs 02: [material] [4print]
• Curs 03: [material] [4print]
• Curs 04: [material] [4print]
• Curs 05: [material] [4print]
• Curs 06: [material] [4print]
• Curs 07: [material] [4print]
• Curs 08: [material] [4print]
• Curs 09: [material] [4print]
• Curs 10: [material] [4print]
• Curs 11: [material] [4print]
• Curs 12: [material] [4print]
• Curs 13: [material] [surse Prolog]
• Curs 14: [material]

• Seminar 01: [material]
• Seminar 02: [material]
• Seminar 03: [material]
• Seminar 04: [material]
• Seminar 05: [material]
• Seminar 06: [material]

• Laborator 01: [material]
• Laborator 02: [material]
• Laborator 03: [material]
• Laborator 04: [material]
• Laborator 05: [material]
• Laborator 06: [material]
• Laborator 07: [material]

• Curs Partea 1: [material] [4print]
• Curs Partea 2: [material] [4print]
• Curs Partea 3: [material] [4print]
• Laborator Partea 1: [material]
• Laborator Partea 2: [material]
• Laborator Partea 3: [material]

• Terms Rewriting and All That, F. Baader, T. Nipkow, Cambridge University Press, 1998.
• Mathematical Logic for Computer Science, M. Ben-Ari, Springer, 2012.
• Learn Prolog now, P. Blackburn, J. Bos, K. Striegnitz.
• Logic in Computer Science: Modelling and Reasoning about Systems, M. Huth, M. Ryan, Cambridge University Press New York, 2004.

• Cosmin-Silvian Alexandru (laborator)
• Carmen Chiriță (laborator)
• Denisa Diaconescu (curs, seminar, laborator)
• Alexandru Dragomir (laborator)
• Ana Țurlea (seminar, laborator)