Documente Academic
Documente Profesional
Documente Cultură
C01
Denisa Diaconescu
Traian S, erbănut, ă
1
Organizare
Instructori
• Curs
• Seria 23: Traian S, erbănut, ă
• Seria 24: Denisa Diaconescu
• Seria 25: Traian S, erbănut, ă
• Laborator
• 231: Horat, iu Cheval
• 232: Horat, iu Cheval/Bogdan Macovei
• 233: Andrei Văcaru
• 234: Horat, iu Cheval/Bogdan Macovei
• 241: Natalia Ozunu
• 242: Bogdan Macovei
• 243: Bogdan Macovei
• 244: Bogdan Macovei
• 251: Mihai Calancea
• 252: Andrei Burdus, a
2
Resurse
• Moodle
• Teams
https://tinyurl.com/FLP2023-Teams
3
Prezent, ă
4
Evaluare
Notare
• Nota finală: 1 (oficiu) + nota laborator + part, ial + examen
• Restant, ă: 1 (oficiu) + examen
(nota de la laborator si part, ialul nu se iau în calcul la restant, ă)
Condit, ie de promovabilitate
• cel put, in 5 > 4.99
5
Nota laborator
6
Examen part, ial
7
Examen final
8
Imagine de ansamblu asupra materiei
Curs Laborator
• Partea I • Limbajul suport: Haskell
• Lambda calcul
• Parsere
• Deduct, ie naturală
• Corespondent, a Curry-Howard • Type-checking
• Partea II • Implementarea unor semantici de
• Puncte fixe/recursivitate limbaje
• Semantica limbajelor de
programare
• Elemente de programare
logică*
9
Bibliografie
10
La acest curs vom folosi destul de mult literele greces, ti
11
Integritate academică
12
Ce s, i de ce lambda calcul?
Ce este o funct, ie în matematică?
13
Ce este o funct, ie în matematică?
14
Extensional vs. intensional
15
O paranteză: expresii aritmetice
16
Lambda calcul
17
Funct, ii de nivel înalt
18
Lambda calcul fără tipuri vs cu tipuri
Cateva exemple:
19
Lambda calcul fără tipuri vs cu tipuri
20
Lambda calcul fără tipuri vs cu tipuri
20
Lambda calcul
• O definit, ie informală:
ar trebui să existe o "metodă pe foaie" (pen-and-paper)
care să îi permită unei persoane cu experient, ă
să calculeze f (n), pentru orice n.
22
Definit, ii pentru Calculabilitate
23
Teza Church-Turing
24
Lambda calcul în informatică
25
Proofs-as-programs
26
Quiz time!
https://tinyurl.com/C01-Quiz1
27
Pe săptămâna viitoare!
28