درباره این پادکست 🔗
Die Vorlesung führt in grundlegende Prinzipien der Programmierung und der Datenmodellierung mit einer funktionalen Programmiersprache ein. Die wesentlichen Themen sind: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Typsysteme und Typinferenz, Polymorphie und Typklassen, Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.
میانگین طول صدا:
86 minutes
پادکست ویدیویی
انگلیسی
آلمان
67 قسمت
از سال 25 آوریل 2019
episodic
آخرین اپیزود 🔗
جستجوی اپیزودهای گذشته
اپیزودهای قبلی LMU Programmierung und Modellierung (SoSe 2019) را جستجو کن.
اپیزود قبلی 🔗
سلب مسئولیت: پادکست و آثار هنری تعبیه شده در این صفحه متعلق به Dr. Steffen Jost است که متعلق به صاحب آن است و به Listen Notes، Inc وابسته یا تایید نشده است.
موتور جستجوی پادکست
می توانید از وب سایت ما برای جستجوی پادکست های3,829,367و قسمت های196,531,005بر اساس افراد، مکان ها یا موضوعات استفاده کنید.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
جستجوی اپیزودهای گذشته
اپیزودهای قبلی LMU Programmierung und Modellierung (SoSe 2019) را جستجو کن.
مدعی این پادکست شوید
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post آگهی‌های طبقه‌بندی‌شده for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
مصاحبه با پادکستر...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
حساب رسمی X ما (که قبلاً Twitter بود) will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
