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:
Cursul are 3 parti:
- Specificatii algebrice (Abstract data types)
- Logica ecuationala (Equational Logic)
- Sisteme de rescriere (Term rewriting systems)