Theorie der Programmierung 2018 (QHD 1920)
An Education podcast
Theorie der Programmierung 2018 (QHD 1920)
About
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 Temporallogik
Show More
Creators & Guests
Podcast Reviews
Mentioned In These Lists
Host or manage this podcast?
Do you host or manage this podcast?
Claim and edit this page to your liking.
Claim and edit this page to your liking.
Are we missing an episode or update?
Use this to check the RSS feed immediately.
Use this to check the RSS feed immediately.
Podcast Details
Created by
FAU
Podcast Status
Idle
Started
Apr 8th, 2018
Latest Episode
Jul 11th, 2018Episodes
3145
Avg. Episode Length
About 1 hour
Explicit
No
Order
Serial
Language
German
- Podcasts
- Best Podcasts
- New Podcasts
- Podcast Charts
- Best Episodes
- Add a Podcast
- Claim a Podcast
- Podchaser 25
- Features
- Podcast Credits
- Podcast Networks
- Podcast Lists
- Podcast Monitoring
- Podcast Sponsors
- Podcast Contacts
- Community
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Newsletter
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2025 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us