Logic Programmig | Facultatea de Informatică Iaşi

Programare logică

Numele cursului

Programare logică

Cod

CS2211O1

Generaţia	Informatică zi, 2007 - 2010					Pachet	2
Nivel de studii	Licenţă	An	2	Semestru	2	Statut	Opţional

Titularul disciplinei	Titlu academic şi ştiinţific
	Profesor, Dr., Cristian Masalagiu

Discipline absolvite anterior

Obiective	Însuşirea conceptelor de bază pentru a programa în limbaje de tip PROLOG. Învăţarea unui limbaj comercial existent.
Tematica generală	Logica cu predicate de ordinul I. Rezoluţie Formule Horn şi programe logice (definite) Rafinări (strategii şi restricţii) ale rezoluţiei. Arbori de calcul complet canonici şi semantica programării logice. Nedeterminism şi tratarea negaţiei. Construcţia unui interpretor PROLOG. Modele alternative de programare logică
Tematica seminariilor / laboratoarelor	Tematica laboratoarelor va fi fixată de coordonator la prima întâlnire, conform tematicii precizate. Oricum, ea va cuprinde exemplificări ale cursurilor deja predate, teme imediate, pentru acasă şi proiecte de durată mai îndelungată.
Metode de predare	Se vor folosi metodele clasice (Expunerea sistematică a cunoştinţelor, Conversaţia, Problematizarea şi învăţarea prin descoperire, Modelarea, etc.). Cursurile vor fi predate utilizând videoproiectorul. Laboratoarele vor fi axate pe învăţarea unui limbaj c

Bibliografie

C.D. Masalagiu – Fundamentele logice ale Informaticii, Editura Universităţii „Al. I. Cuza”, Iaşi, 2004, ISBN 973-703-015-X (in Romanian).
C. Cazacu, V. Slabu – Logică Matematică, Editura „Ştefan Lupaşcu”, Iaşi, 1999, ISBN 973-99044-0-8 (in Romanian).
V. Cotelea – Programarea în logică, Editura „Nestor”, Chişinău, Republica Moldova, ISBN 9975-9606-0-X (in Romanian).
J. W. Lloyd – Foundations of Logic Programming, Spriger Verlag, Germany, 1984, ISBN 3-540-13299-6.
INTERNET sites (they will become precise during the semester).

Evaluare	condiţii	Prezenţa la toate laboratoarele este obligatorie.
	criterii	Examinările pe parcurs de la laborator generează maxim 90 puncte iar examenul final 30 puncte (vor fi 3 subiecte a câte 10 puncte). Condiţia de promovabilitate este de a se obţine minim 50 puncte.
	forme	La laborator vor exista 5 teme cotate cu câte 10 puncte (maxim) şi un proiect mai complex, cotat cu 40 puncte (totul va fi anunţat în prealabil).
	formula notei finale	Nota finală se obţine prin însumarea punctajului şi aplicarea unei „redistribuiri” de tip Gauss, conform regulamentelor în vigoare.