Curs FLP 2025/2026 @ FMI, UB
Fundamentele Limbajelor de Programare, seria 23
Informatică, anul II, sem II

lector: Claudia Chiriță 

materiale:

. cursuri +
  c#0 - Aspecte organizatorice. Introducere istorică
  c#1 - Preliminarii matematice
  c#2 - Semantica execuției programelor imperative
  c#2-c - Mulțimi definite de reguli
  c#3 - Verificarea programelor imperative
  c#3-c - Semantica logicii Hoare. Weakest precondition
  c#4 - Programare logică. Algoritmul de unificare
  c#4-c - Corectitudinea algoritmului de unificare
  c#5 - Programare logică. Rezoluție
  c#5-c - Programare logică. Completitudinea rezoluției
  c#6 - Programare funcțională. Lambda calcul
  c#6-c - Lambda calcul. Confluență. Standardizare
  c#7 - Lambda calcul cu tipuri simple
  c#7-c - Lambda calcul cu tipuri. Normalizare


. laboratoare +
  l#1 - parser
  l#2 - big-step & small-step
  l#3 - logică Hoare. weakest precondition
  l#4 - programare logică. unificare
  l#5 - programare logică. rezoluție
  l#6 - lambda calcul fără tipuri
  l#7 - lambda calcul cu tipuri simple


. seminare +
  s#1 - semantică operațională
  s#2 - semantică axiomatică
  s#3 - algoritmul de unificare
  s#4 - rezoluție
  s#5 - lambda calcul
  s#6 - lambda calcul#2



anunțuri:

Înregistrează-te pe canalul de Teams!


curs seriile 24+25