| PROGRAMARE
LOGICĂ Cod : CS2207O1 Semestrul :
4 Credite : 4 Tip
: optional
Titular: Cristian Masalagiu
Asistenţi: Vasile Alaiba
Ore/sapt: Curs: 2 , Laborator: 2
|
|
Pagina laboratorului de programare logica
Evaluare
Prezenta la toate laboratoarele este obligatorie. Examinarile pe parcurs de la laborator genereaza maxim 90 puncte iar examenul final 30 puncte (vor fi 3 subiecte a câte 10 puncte). Conditia de promovabilitate este de a se obtine minim 50 puncte. Criteriile de notare la laborator si alte detalii privind evaluarea in timpul semestrului se gasesc la adresa http://www.infoiasi.ro/~alaiba/?p=didactic/prolog/regulament.Nota finala se obtine prin însumarea punctajului si o „redistribuire” de tip Gauss, conform regulamentelor în vigoare.
Descriere si Obiective
TEMATICA GENERALA
- Logica cu predicate de ordinul I.
- Rezolutie în LP1.
- Formule Horn si „programe logice”.
- Rafinari (strategii si restrictii) ale rezolutiei.
- Arbori de calcul complet canonici si semantica programarii logice.
- Nedeterminism si tratarea negatiei.
- Constructia unui interpretor PROLOG.
Obiective:
- Insusirea conceptelor de baza pentru a programa în „limbaje de tip PROLOG”.
- Învatarea unui limbaj comercial existent.
Cursuri anterioare necesare
LOGICA PENTRU INFORMATICA, anul I
Bibliografie minimala
- C.D. Masalagiu – Fundamentele logice ale Informaticii, Editura Universitatii „Al. I. Cuza”, Iasi, 2004, ISBN 973-703-015-X.
- C. Cazacu, V. Slabu – Logica Matematica, Editura „Stefan Lupascu”, Iasi, 1999, ISBN 973-99044-0-8.
- V. Cotelea – Programarea în logica, Editura „Nestor”, Chisinau, Republica Moldova, ISBN 9975-9606-0-X.
- J. W. Lloyd – Foundations of Logic Programming, Spriger Verlag, Germany, 1984, ISBN 3-540-13299-6.
- Site-uri INTERNET care vor fi precizate.
Siteuri Internet importante se gasesc la adresa http://thor.info.uaic.ro/~alaiba/?p=didactic/prolog/materiale.
Manual online
Descrierea manualului
Cuprins
Modulul 1
Modulul 2
Modulul 3
Modulul 4
Modulul 5
Anexa
Bibliografie |
