25 - Theorie der Programmierung 2018
Released Wednesday, 11th July 2018
Good episode? Give it some love!
25 - Theorie der Programmierung 2018
25 - Theorie der Programmierung 2018
Wednesday, 11th July 2018
Good episode? Give it some love!
Rate Episode
Rate
From The Podcast
Theorie der Programmierung 2018 (Audio)
Inhalt:Termersetzungssysteme, Normalisierung, KonfluenzGetypter und ungetypter Lambda-KalkülSemantik von Programmiersprachen, Anfänge der BereichstheorieDatentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und KorekursionProgrammverifikation, Floyd-Hoare-KalkülReguläre Sprachen und endliche AutomatenBeschriftete Transitionssysteme, Bisimulation und TemporallogikJoin Podchaser to...
- Rate podcasts and episodes
- Follow podcasts and creators
- Create podcast and episode lists
- & much more
Episode Tags
Do you host or manage this podcast?
Claim and edit this page to your liking.
,Claim and edit this page to your liking.
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2024 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us