))
Îmbinare între teorie și industrie cu Radu Ometiță
Manage episode 272338128 series 2790670
İçerik Dan Nicolici tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Dan Nicolici veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.
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 bölüm
Paylaş
