Programare Logica


Pentru a putea avea acces la sectiunea "Files" (dreapta jos) trebuie sa ai cont pe wikidot, sa fii membru al site-ului (vezi formularul de pe prima pagina) si sa fii logat.

Cursul se desfasoara in fiecare marti, intre orele 10-12, la Amf. P ( parter ). Pentru mai multe detalii consulta orarul.

Laboratorul valoareaza 1/3 din nota finala si este cu prezenta obligatorie. Se lucreaza in CafeObj.

Pentru cei care fac cu domnisoara prep. Denisa Diaconescu, nota finala se obtine din 3 teste, date in saptamanile 4, 7-8, respectiv 11-12 (datele nu sunt inca fixe).
Pentru cei care fac cu domnul Octavian Babus, nota finala se obtine din 3 teste date in saptamanile 5, 9, respectiv 13 si din activitatea pe care o are fiecare in cadrul orelor.
Pentru cei care fac cu domnul Ionut Tutu, nota finala se obtine dintr-o evaluare periodica, prin activitatea de la fiecare laborator.

Suportul de curs recomandate de doamna asist. dr. Ioana Leustean este "Fundamentele algebrice ale informaticii." - Ferucio Laurentiu Tiplea, ed. Polirom, 2006 si de asemenea, doua resurse web utile:

  1. http://funinf.cs.unibuc.ro/~ioana
  2. http://funinf.cs.unibuc.ro/~vec

Cursul are 3 parti:

  1. Specificatii algebrice (Abstract data types)
  2. Logica ecuationala (Equational Logic)
  3. Sisteme de rescriere (Term rewriting systems)
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License