Îmbinare între teorie și industrie cu Radu Ometiță
Manage episode 272338128 series 2790670
O incursiune înspre partea mai teoretică a industriei IT, cu Radu Ometiță, programator și asistent la Facultatea de mate-info de la Babeș-Bolyai.
Host: Dan Nicolici (https://www.linkedin.com/in/dannicolici)
Referințe în episod:
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
https://softwarefoundations.cis.upenn.edu
https://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717
14 एपिसोडस