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


. laboratoare +
  l#1 - parser
  l#2 - big-step & small-step
  l#3 - logică Hoare. weakest precondition
  l#4 - programare logică. unificare


. seminare +
  s#1 - semantică operațională
  s#2 - semantică axiomatică
  s#3 - algoritmul de unificare



anunțuri:

Înregistrează-te pe canalul de Teams!


curs seriile 24+25