Programare logica (Emil Cazanescu)

De la Cursuri - Facultatea de Matematica si informatica

Salt la: navigare, căutare

5T4Bar <a href="http://sbsjhqcyhrlw.com/">sbsjhqcyhrlw</a>, [url=http://rfwjenbsyueu.com/]rfwjenbsyueu[/url], [link=http://qgqogljaixed.com/]qgqogljaixed[/link], http://szyltnfitmit.com/



Cuprins

2006-2007 - anul 2 - semestrul 2 - Domeniul de Informatica

Cursuri

Descriere

2, http://cheapmedsonline.co.uk/ cialis price,

Notare

  • laboratorul valoreaza cam 10%
  • nota la laborator se ia ori pe proiect ori pe lucrare
  • prezenta
    • se face la laborator si seminar
    • 70% din prezente lab - nu sunt sigur
    • 70% din prezente seminar - nu sunt sigur

Bibliografie

Subiecte date la examen

  • la grupa 241
  1. forme normale, proprietati, algebra formelor normale, morfismul fn.
  2. Proprietati ale lui A gama
  3. daca h este un morfism de la A in B si a se rescrie modulo h in b, sa se demonstreze ca h(a) se rescrie in h(b). Este propozitia din cursul 13 prima implicatie
  4. Algebra arborilor de derivare este Peano. Semantica algebrei initiale.
  5. Specificatii complete pentru numerele naturale, +, *, divizilibiltate cu 3, si pentru N x N x N, cu operatiile + si inmultire cu scalari.
  • la grupa 242
  1. Despre unicitatea algebrelor libere. (cica tre sa dem ca 2 algebre libere sunt izomorfe)
  2. Proiectivitatea alg lib.
  3. Inchiderea la contexte a lui --->Q.
  4. Intalnirea prin rescriere este inchisa la Sub gama si teorema de completitudine. (amandoua dem).
  5. In Maude sa calculam cmmdc(L), un de L este lista.
  • la grupa 243
  1. Parte stabila generata de o multime (cam asa era) - aici trebuia de spus despre multimile Mn definite ca in curs si de demonstrat proprietatile sale.
  2. Propr de universalitate a algebrei cat
  3. Echivalenta dintre regula contextului si CAsigma.
  4. f:A->B morfism cu comp surjective; daca A |= E atunci B |= E.
  5. In Maude (ori CafeObj) un program care verifica daca o lista data este un palindrom sau nu.
  • la grupa 244
  1. Izomorfism de algebre multisortate. Compunerea izomorfismelor
    • trebuia sa sa scriem definitia izomorfismelor si sa demo. caracterizarea prin bijectie si propozitia cu compunerea izomorfismelor.
  2. Familia Moore a congruentelor unei algebre.
    • trebuia sa demo. congruenta nucleara a unui morfism si sa spunem si demo. consecintele (adik sa demo. k "3 linii orizontale" indice gama este congruenta)
  3. Comparatie intre CASigma si CSigma.
  4. Local confluenta (in cursul 14).
  5. Dati modul Maude care calculeaza cmmmc al unei liste (L - lista naturala).



2007-2008 - anul 2 - semestrul 2 - Domeniul de Informatica

Cursuri

Descriere

2, http://cheapmedsonline.co.uk/ cialis price,

Notare

Bibliografie

Subiecte date la examen

  • GRUPA 1.
  1. Izomorfisme de algebre multisortate. Compunere. Caracterizare.
  2. Orice algebra Peano este algebra libera.
  3. Congruenta semantica(def si dem). Inchiderea ei la substitutie.
  4. Local confluenta.
  5. a) Pe numere naturale, dati o specificatie pentru o functie f(n)=suma tuturor patratelor perfecte<=n . (se stie 0, s(0) , +, *, < )

b) Pentru liste de numere intregi, dati o specificatie pentru o functie M(L)= cmmmc pentru toate elementele listei. (se stie 0,s,p,+, * , < si am impresia k si / )...

  • GRUPA 2.
  1. Inductia structurala. Nucleul de sageata dubla
  2. Existenta algebrelor Peano
  3. Echivalenta CAsigma Csigma
  4. Rescrierea intr-un singur pas. Semantica rescrierii
  5. Program care sa calculeze min, max intr-un sir; folosind aceste operatii sortati sirul. Calculati suma cifrelor unui nr pana cand aceasta e ireductibila( ex. 238 -> 13 -> 4)
  • GRUPA 3.
  1. Algebra arborilor de derivare peste o gramatica independenta de context ( de dem teorema "Algebra arborilor de derivare este algebra Peano peste multimea vida" )
  2. Proiectivitatea algebrelor libere.
  3. Preordini compatibile cu operatiile.( a precizat ca aici tb sa vb despre inchiderea la contexte tranzitiva si reflexiva *-->Q , si sa presupunem cunoscuta inchiderea la contexte -->Q )
  4. Corectitudinea regulilor de deducere si a relatiei de intalnire pentru congruenta semantica.
  5. Sa scriem o specificatie Maude/CafeObj pentru operatiile de reniune, intersectie si diferenta pt 2 multimi reprezentate ca liste

de numere naturale. Puteam folosi modulul Nat.